QBF Solver Evaluation Portal
qbflib.orgUnique instances for AQME-RIPPER
QBFEVAL'07
| Instance | Time | Result |
|---|---|---|
| nusmv.tcas^1.B-f4 | 17.47 | SAT |
| c1_Debug_s3_f1_e1_v1 | 581.65 | UNSAT |
| cube_c11_par---13_ | 428.02 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| nusmv.tcas^1.B-f4 | 17.47 | SAT |
| c1_Debug_s3_f1_e1_v1 | 581.65 | UNSAT |
| cube_c11_par---13_ | 428.02 | UNSAT |