/nfs/mcs-homes62/mccune/otter-3.2/examples/auto


These problems are easy for Otter. All use the autonomous mode.

cn19 : cn19.in : cn19.pIII950 :

comm : comm.in : comm.pIII950 :

ec_yq : ec_yq.in : ec_yq.pIII950 :

group : group.in : group.pIII950 :

lifsch : lifsch.in : lifsch.pIII950 :

mv25 : mv25.in : mv25.pIII950 :

pigeon : pigeon.in : pigeon.pIII950 :

ring_x2 : ring_x2.in : ring_x2.pIII950 :

robbins : robbins.in : robbins.pIII950 :

salt : salt.in : salt.pIII950 :

sam : sam.in : sam.pIII950 :

steam : steam.in : steam.pIII950 :

tba_gg : tba_gg.in : tba_gg.pIII950 :

w_sk : w_sk.in : w_sk.pIII950 :

wang1 : wang1.in : wang1.pIII950 :

x2_quant : x2_quant.in : x2_quant.pIII950 :

z11 : z11.in : z11.pIII950 :


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.