Family CounterFactual results for solvers
QBFEVAL'17 - Random QBFs Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve27900900090000
caqe_2017_v127216.46877.95120.7790000.032
caqe_2017_v227900900090000
caqe_2017_v327216.31877.95120.890000.032
CUED1919_NL2295.4974.0553.17103.45117.430
CUED1919_NNL345.0111.137.9315.5217.440
dynQBF-bloqqer-hqspre27900900090000
ghostq-cegar27900900090000
GhostQ-PG_cegar27900900090000
GhostQ-PG_plain27046.46872.47150.8190000.032
heretiq26486.75854.41143.9190000.129
HQSpre_solver27900900090000
ijtihad_v127900900090000
ijtihad_v224492.88790.09158.54900313.510
iProver-qbf-2017-07-27-v327900900090000
iProver-qbf-bloqqer-2017-07-27-v327900900090000
prefix-opt-depqbf27703.87893.6734.6590000.032
qbfrelay4096.66132.1573.33170.72152.360
qbfrelay-limited-depqbf25893.85835.29194.13888.392.470.097
QELL_default27085.48873.73143.9190000.032
QELL_unit27004.15871.1158.2890000.032
qesto27303.17880.75105.4590000.032
Qute_default27900900090000
Qute_opt50024312.99784.29300.6290000.129
Qute_random24313.02784.29300.6290000.129
rareqs27058.07872.84148.7690000.032
rev_qfun0.127900900090000
xb-qsts_bqsts2.027004.69871.12158.1990000.032
xb-qsts_xbqsts1.027005.51871.15158.0490000.032
xb-qsts_xbqsts2.027005.46871.14158.0590000.032