Family jmc_quant results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ1800600060000
aigqbf_s1800600060000
aigqbf_sr1800600060000
AQME-1NN1800600060000
AQME-C4.51800600060000
AQME-RIPPER1034.44344.81180.54224.2314.020
EBDDRES75.6725.221.724.050.060
ncQuBE1.050.5716.8614.4870.761
ncQuBE1.129.639.884.577.221.131
preQuel_sKizzo-0.101800600060000
qSS1800600060000
QUANTOR_2.15635.09211.7274.5718.852.60
qZilla1792.1597.373.736007.90.333
sKizzo-0.10-qck1800600060000
sKizzo-0.10-std1489.53496.51146.36600310.470.333
squolem1800600060000
yQuaffle1800600060000