Results for instance ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp
Crafted Instances Track



Solver Time Result
Qute_opt5000FAIL
Rareqs_201848.73UNSAT
Qute_rrs331.08UNSAT
Qute_default334.08UNSAT
nanoqbf_hqspre900FAIL
nanoqbf_bloqqer900FAIL
GhostQ___plain_pcnf_2019900FAIL
GhostQ___cegar_pcnf_2019900FAIL
caqe-pre900FAIL
iprover_bloqqer_single900FAIL
depqbf_prefix_opt_qdo900FAIL
depqbf_pre_QxQBH900FAIL
Caqe-hqspre900FAIL
Caqe-bloqqer-qdo900FAIL
iprover_bloqqer_schedule900FAIL