Results for instance klieber2017q-074-18-t1
Crafted Instances Track



Solver Time Result
Rareqs_20180UNSAT
caqe-pre1.66UNSAT
Caqe-hqspre1.67UNSAT
Qute_opt5002.11FAIL
nanoqbf_bloqqer2.13UNSAT
Caqe-bloqqer-qdo2.88UNSAT
nanoqbf_hqspre4.77UNSAT
GhostQ___cegar_pcnf_201919.31UNSAT
depqbf_pre_QxQBH177.01UNSAT
Qute_rrs900FAIL
GhostQ___plain_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_prefix_opt_qdo900FAIL
Qute_default900FAIL
iprover_bloqqer_schedule900FAIL