Family Connect4 results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve6267.26783.41296.2890016.40.125
caqe_2017_v16300.05787.51297.6390000.125
caqe_2017_v26300.05787.51297.6390000.125
caqe_2017_v36300.08787.51297.6290000.125
CUED1919_NL3075.14384.39140.56429.6262.580
CUED1919_NNL4346.98543.37324.12540.88624.380
dynQBF-bloqqer-hqspre6300.28787.54297.5590000.125
ghostq-cegar6308.37788.55294.8890000.125
GhostQ-PG_cegar6314.3789.29292.9290000.125
GhostQ-PG_plain6314.16789.27292.9690000.125
heretiq6300.06787.51297.6390000.125
HQSpre_solver6300.06787.51297.6390000.125
ijtihad_v16300.06787.51297.6390000.125
ijtihad_v26300.06787.51297.6390000.125
iProver-qbf-2017-07-27-v36301.53787.69297.1490000.125
iProver-qbf-bloqqer-2017-07-27-v36300.3787.54297.5590000.125
prefix-opt-depqbf6300.29787.54297.5590000.125
qbfrelay6186.09773.26292.14885.7820.190.125
qbfrelay-limited-depqbf6283785.38296.65897.266.030.125
QELL_default6300.24787.53297.5790000.125
QELL_unit6300.24787.53297.5790000.125
qesto4650.51581.31412900824.780.125
Qute_default6290.09786.26297.16898.413.390.125
Qute_opt5006300.07787.51297.6290000.125
Qute_random6300.06787.51297.6390000.125
rareqs6300.05787.51297.6390000.125
rev_qfun0.16300.05787.51297.6390000.125
xb-qsts_bqsts2.06300.27787.53297.5690000.125
xb-qsts_xbqsts1.06300.28787.54297.5590000.125
xb-qsts_xbqsts2.06300.28787.54297.5590000.125