Results for instance gttt_2_1_00102030_4x4_torus_b
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
xb-qsts_bqsts2.08.3UNSAT
xb-qsts_xbqsts1.010.94UNSAT
xb-qsts_xbqsts2.011UNSAT
heretiq37.64UNSAT
prefix-opt-depqbf42.93UNSAT
qbfrelay-limited-depqbf43.8UNSAT
caqe_2017_v146.03UNSAT
caqe_2017_v346.91UNSAT
rareqs73.17UNSAT
qesto110.42UNSAT
caqe_2017_v2151.74UNSAT
CUED1919_NNL259.9FAIL
CUED1919_NL422.75FAIL
Qute_opt500473.35UNSAT
Qute_random522.08UNSAT
qbfrelay891.62FAIL
QELL_unit900FAIL
QELL_default900FAIL
Qute_default900FAIL
rev_qfun0.1900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
ghostq-cegar900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
AIGSolve900FAIL