Results for instance nusmv.reactor^3.C-d4
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
QELL_default0.11SAT
QELL_unit0.11SAT
caqe_2017_v22.02SAT
caqe_2017_v32.04SAT
Qute_random2.16SAT
Qute_opt5002.19SAT
AIGSolve2.23SAT
Qute_default2.47SAT
ghostq-cegar3.19SAT
rev_qfun0.13.2SAT
GhostQ-PG_plain3.25SAT
GhostQ-PG_cegar3.34SAT
HQSpre_solver4.16SAT
CUED1919_NNL9.37FAIL
qbfrelay17.1SAT
CUED1919_NL46.99FAIL
qbfrelay-limited-depqbf79.62SAT
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
prefix-opt-depqbf900FAIL
qesto900FAIL
rareqs900FAIL
dynQBF-bloqqer-hqspre900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
iProver-qbf-2017-07-27-v3900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
caqe_2017_v1900FAIL