Results for instance ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp
Crafted Instances Track



Solver Time Result
Qute_opt5000.75FAIL
Qute_default18.01SAT
Qute_rrs18.2SAT
Caqe-bloqqer-qdo151.96SAT
Rareqs_2018332.5SAT
caqe-pre519.12SAT
nanoqbf_hqspre900FAIL
nanoqbf_bloqqer900FAIL
GhostQ___plain_pcnf_2019900FAIL
GhostQ___cegar_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_prefix_opt_qdo900FAIL
depqbf_pre_QxQBH900FAIL
Caqe-hqspre900FAIL
iprover_bloqqer_schedule900FAIL