Instance | Solver | Result | Time | |
---|---|---|---|---|
blocks_enc_2_b3_ser--opt-9_ | sKizzo-0.10-qck | SAT | 0.16 | |
cube_c11_par---13_ | AQME-RIPPER | UNSAT | 428.02 | |
cube_c3_ser--opt-6_ | yQuaffle | SAT | 0.04 | |
cube_c5_ser---14_ | aigqbf_s | UNSAT | 119.12 | |
cube_c5_ser--opt-15_ | QUANTOR_2.15 | SAT | 4.54 | |
cube_c7_ser--opt-24_ | qZilla | SAT | 271.76 | |
cube_c9_par---10_ | sKizzo-0.10-qck | UNSAT | 6.87 | |
cube_c9_par--opt-11_ | QUANTOR_2.15 | SAT | 35.25 | |
emptyroom_e3_par--opt-10_ | Adaptive2clsQ | SAT | 0.62 | |
emptyroom_e3_ser---19_ | QUANTOR_2.15 | UNSAT | 143 | |
emptyroom_e3_ser--opt-20_ | sKizzo-0.10-std | SAT | 9.95 | |
emptyroom_e4_par---21_ | sKizzo-0.10-qck | UNSAT | 75.75 | |
emptyroom_e4_par--opt-22_ | preQuel_sKizzo-0.10 | SAT | 240.19 | |
ring_r3_ser--opt-8_ | preQuel_sKizzo-0.10 | SAT | 0.14 | |
ring_r4_ser--opt-11_ | yQuaffle | UNSAT | 0.08 |