Results for instance klieber2017q-088-22-t1
Crafted Instances Track



Solver Time Result
Rareqs_20180UNSAT
Qute_opt5000.7FAIL
Qute_default0.87UNSAT
Caqe-bloqqer-qdo1.82UNSAT
Caqe-hqspre2.02UNSAT
caqe-pre2.06UNSAT
nanoqbf_bloqqer4.94UNSAT
GhostQ___cegar_pcnf_201918.54UNSAT
depqbf_prefix_opt_qdo126.45UNSAT
nanoqbf_hqspre169.51UNSAT
Qute_rrs900FAIL
GhostQ___plain_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_pre_QxQBH900FAIL
iprover_bloqqer_schedule900FAIL