Family Toilet results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ10.555.274.95.2701
aigqbf_s381.38190.69106.06190.6900.5
aigqbf_sr1200600060000
AQME-1NN2.021.010.381.0101
AQME-C4.52.161.080.371.0801
AQME-RIPPER2.281.140.361.1401
EBDDRES55.4327.715.1427.7100
ncQuBE1.01200600060000
ncQuBE1.11200600060000
preQuel_sKizzo-0.101.040.520.320.5201
qSS309.01154.51154.39154.5101
QUANTOR_2.151.40.70.460.701
qZilla10.535.264.915.2601
sKizzo-0.10-qck0.720.360.210.3601
sKizzo-0.10-std0.720.360.210.3601
squolem1200600060000
yQuaffle1200600060000