QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Model_instances
Crafted Instances Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp | Qute_rrs | SAT | 2.81 |  |
| ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp | Rareqs_2018 | SAT | 222.98 | |
| ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp | Qute_default | UNSAT | 6.3 | |
| ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp | Qute_default | UNSAT | 3.3 | |
| ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp | Rareqs_2018 | UNSAT | 48.73 | |
| ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp | Qute_default | UNSAT | 41.2 | |