QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ltl2aig-comp
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| load_2c_comp_comp7_REAL.sat | Qute_random | SAT | 3.63 |  |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| load_2c_comp_comp7_REAL.sat | Qute_random | SAT | 3.63 | |