MiniSat 1.14
22 groups, 251 instances, 1-hour cutoff
Instances solved: 116 (53 SAT + 63 UNSAT)
Time: 532376 seconds / 147.88 hours / 6.16 days
Time on solved instances: 46376 seconds (10783 SAT + 35593 UNSAT)
Instances solved in 10 minutes: 95 (5216 seconds)
Instances solved in 15 minutes: 98 (7659 seconds)
Instances solved in 20 minutes: 98 (7659 seconds)
Instances solved in 30 minutes: 106 (19950 seconds)
Instances solved in 60 minutes: 116 (46376 seconds)
Instances solved and time on solved instances by group:
dlx_iq_unsat_1.0 | 14 | / | 32 | 31369.04 | ||
engine_unsat_1.0 | 7 | / | 10 | 2040.1584 | ||
fvp-sat.3.0 | 10 | / | 20 | 1559.67768 | ||
fvp-unsat.1.0 | 4 | / | 4 | 64.458193 | ||
fvp-unsat.2.0 | 20 | / | 22 | 3223.807045 | ||
fvp-unsat.3.0 | 0 | / | 6 | 0 | ||
liveness_sat_1.0 | 6 | / | 10 | 2486.1859 | ||
liveness_unsat_1.0 | 3 | / | 12 | 309.9589 | ||
liveness_unsat_2.0 | 3 | / | 9 | 139.72576 | ||
npe-1.0 | 3 | / | 6 | 25.161162 | ||
pipe_ooo_unsat_1.0 | 3 | / | 15 | 419.897418 | ||
pipe_ooo_unsat_1.1 | 3 | / | 14 | 242.066793 | ||
pipe_sat_1.0 | 6 | / | 10 | 94.7787 | ||
pipe_sat_1.1 | 8 | / | 10 | 241.91059 | ||
pipe_unsat_1.0 | 4 | / | 13 | 187.385304 | ||
pipe_unsat_1.1 | 4 | / | 14 | 1144.345663 | ||
vliw_sat_2.0 | 6 | / | 9 | 1526.355 | ||
vliw_sat_2.1 | 2 | / | 10 | 920.6993 | ||
vliw_sat_4.0 | 10 | / | 10 | 379.9613 | ||
vliw_unsat_2.0 | 0 | / | 9 | 0 | ||
vliw_unsat_3.0 | 0 | / | 2 | 0 | ||
vliw_unsat_4.0 | 0 | / | 4 | 0 |
dlx_iq_unsat_1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
1dlx_c_iq42_a.cnf | 20 | 550672 | 5149688 | 1648.83 | UNSAT |
1dlx_c_iq43_a.cnf | 21 | 930699 | 8776771 | 3392.45 | UNSAT |
1dlx_c_iq44_a.cnf | 21 | 816481 | 8493561 | 3299.54 | UNSAT |
1dlx_c_iq45_a.cnf | 21 | 836165 | 8858423 | 3276.2 | UNSAT |
1dlx_c_iq46_a.cnf | 21 | 688825 | 7543598 | 3034.86 | UNSAT |
1dlx_c_iq47_a.cnf | |||||
1dlx_c_iq48_a.cnf | |||||
1dlx_c_iq49_a.cnf | |||||
1dlx_c_iq50_a.cnf | |||||
1dlx_c_iq51_a.cnf | |||||
1dlx_c_iq33_a.cnf | 20 | 622493 | 5340078 | 1495.69 | UNSAT |
1dlx_c_iq52_a.cnf | |||||
1dlx_c_iq53_a.cnf | |||||
1dlx_c_iq54_a.cnf | |||||
1dlx_c_iq55_a.cnf | |||||
1dlx_c_iq56_a.cnf | |||||
1dlx_c_iq57_a.cnf | |||||
1dlx_c_iq58_a.cnf | |||||
1dlx_c_iq59_a.cnf | |||||
1dlx_c_iq60_a.cnf | |||||
1dlx_c_iq61_a.cnf | 19 | 326224 | 3516968 | 1866.64 | SAT |
1dlx_c_iq34_a.cnf | 21 | 853518 | 6351597 | 2196.65 | UNSAT |
1dlx_c_iq62_a.cnf | |||||
1dlx_c_iq63_a.cnf | 19 | 308702 | 3637229 | 1698.6 | SAT |
1dlx_c_iq64_a.cnf | |||||
1dlx_c_iq35_a.cnf | 21 | 704596 | 5360912 | 1568.92 | UNSAT |
1dlx_c_iq36_a.cnf | |||||
1dlx_c_iq37_a.cnf | |||||
1dlx_c_iq38_a.cnf | 20 | 546816 | 5846747 | 1432.01 | UNSAT |
1dlx_c_iq39_a.cnf | 20 | 618333 | 5573137 | 1488.17 | UNSAT |
1dlx_c_iq40_a.cnf | 20 | 618149 | 6450380 | 2023.8 | UNSAT |
1dlx_c_iq41_a.cnf | 21 | 788855 | 8229361 | 2946.68 | UNSAT |
Total (14 / 32) | 285 | 9210528 | 89128450 | 31369.04 |
engine_unsat_1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
engine_4.cnf | 13 | 37526 | 70027 | 11.3663 | UNSAT |
engine_4_nd.cnf | 16 | 125968 | 204684 | 63.1084 | UNSAT |
engine_5.cnf | 21 | 832940 | 1274788 | 1649.32 | UNSAT |
engine_5_case1.cnf | 12 | 17149 | 38395 | 6.554 | UNSAT |
engine_5_nd.cnf | |||||
engine_5_nd_case1.cnf | 14 | 43822 | 90170 | 20.8738 | UNSAT |
engine_6.cnf | |||||
engine_6_case1.cnf | 15 | 81846 | 171711 | 73.3189 | UNSAT |
engine_6_nd.cnf | |||||
engine_6_nd_case1.cnf | 17 | 167310 | 345954 | 215.617 | UNSAT |
Total (7 / 10) | 108 | 1306561 | 2195729 | 2040.1584 |
fvp-sat.3.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
pipe_64_4_bug01.cnf | 7 | 3212 | 185395 | 1.71774 | SAT |
pipe_64_4_bug02.cnf | |||||
pipe_64_4_bug03.cnf | 3 | 429 | 164699 | 1.13083 | SAT |
pipe_64_4_bug04.cnf | 14 | 39567 | 291872 | 8.01578 | SAT |
pipe_64_4_bug05.cnf | |||||
pipe_64_4_bug06.cnf | |||||
pipe_64_4_bug07.cnf | |||||
pipe_64_4_bug08.cnf | 20 | 452942 | 1604291 | 247.477 | SAT |
pipe_64_4_bug09.cnf | 16 | 128314 | 594628 | 29.1636 | SAT |
pipe_64_4_bug10.cnf | 21 | 894338 | 2650983 | 760.919 | SAT |
pipe_64_4_bug11.cnf | 19 | 380110 | 1238656 | 162.029 | SAT |
pipe_64_4_bug12.cnf | 13 | 36987 | 269484 | 7.05193 | SAT |
pipe_64_4_bug13.cnf | |||||
pipe_64_4_bug14.cnf | 18 | 211399 | 962912 | 67.3248 | SAT |
pipe_64_4_bug15.cnf | |||||
pipe_64_4_bug16.cnf | |||||
pipe_64_4_bug17.cnf | |||||
pipe_64_4_bug18.cnf | |||||
pipe_64_4_bug19.cnf | 20 | 469968 | 1515042 | 274.848 | SAT |
pipe_64_4_bug20.cnf | |||||
Total (10 / 20) | 151 | 2617266 | 9477962 | 1559.67768 |
fvp-unsat.1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
1dlx_c_mc_ex_bp_f.cnf | 5 | 982 | 3670 | 0.024996 | UNSAT |
2dlx_ca_mc_ex_bp_f.cnf | 9 | 6225 | 28502 | 0.408937 | UNSAT |
2dlx_cc_mc_ex_bp_f.cnf | 11 | 15175 | 52191 | 1.56676 | UNSAT |
9vliw_bp_mc.cnf | 17 | 182994 | 819290 | 62.4575 | UNSAT |
Total (4 / 4) | 42 | 205376 | 903653 | 64.458193 |
fvp-unsat.2.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
2pipe.cnf | 7 | 2192 | 6672 | 0.06399 | UNSAT |
2pipe_1_ooo.cnf | 6 | 1666 | 4858 | 0.042993 | UNSAT |
2pipe_2_ooo.cnf | 6 | 1874 | 6340 | 0.057991 | UNSAT |
3pipe.cnf | 16 | 119104 | 287257 | 22.7035 | UNSAT |
3pipe_1_ooo.cnf | 11 | 15003 | 41460 | 0.939857 | UNSAT |
3pipe_2_ooo.cnf | 12 | 20986 | 58122 | 1.81872 | UNSAT |
3pipe_3_ooo.cnf | 12 | 24274 | 70800 | 2.72059 | UNSAT |
4pipe.cnf | 18 | 250194 | 675009 | 88.5935 | UNSAT |
4pipe_1_ooo.cnf | 14 | 45388 | 138002 | 7.19991 | UNSAT |
4pipe_2_ooo.cnf | 14 | 58141 | 200287 | 11.2013 | UNSAT |
4pipe_3_ooo.cnf | 17 | 160254 | 431679 | 52.559 | UNSAT |
4pipe_4_ooo.cnf | 19 | 329854 | 875063 | 157.214 | UNSAT |
5pipe.cnf | 18 | 280118 | 655436 | 165.498 | UNSAT |
5pipe_1_ooo.cnf | 16 | 87473 | 320769 | 29.1156 | UNSAT |
5pipe_2_ooo.cnf | 17 | 159623 | 469851 | 74.1507 | UNSAT |
5pipe_3_ooo.cnf | 15 | 60142 | 294011 | 16.2435 | UNSAT |
5pipe_4_ooo.cnf | 23 | 1756928 | 4435647 | 2015.81 | UNSAT |
5pipe_5_ooo.cnf | 19 | 299487 | 806858 | 199.608 | UNSAT |
6pipe.cnf | |||||
6pipe_6_ooo.cnf | 18 | 285326 | 1482527 | 377.573 | UNSAT |
7pipe.cnf | |||||
7pipe_bug.cnf | 5 | 861 | 29240 | 0.692894 | SAT |
Total (20 / 22) | 283 | 3958888 | 11289888 | 3223.807045 |
fvp-unsat.3.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
pipe_64_01.cnf | |||||
pipe_64_02.cnf | |||||
pipe_64_04.cnf | |||||
pipe_64_08.cnf | |||||
pipe_64_16.cnf | |||||
pipe_64_32.cnf | |||||
Total (0 / 6) | 0 |
liveness_sat_1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
2dlx_cc_ex_bp_f_bug10_liveness.cnf | |||||
2dlx_cc_ex_bp_f_bug1_liveness.cnf | 10 | 7797 | 181480 | 15.3397 | SAT |
2dlx_cc_ex_bp_f_bug2_liveness.cnf | 9 | 6464 | 194989 | 15.4077 | SAT |
2dlx_cc_ex_bp_f_bug3_liveness.cnf | 8 | 4285 | 140026 | 11.5083 | SAT |
2dlx_cc_ex_bp_f_bug4_liveness.cnf | 12 | 17543 | 407154 | 45.2631 | SAT |
2dlx_cc_ex_bp_f_bug5_liveness.cnf | 10 | 9431 | 279219 | 25.8271 | SAT |
2dlx_cc_ex_bp_f_bug6_liveness.cnf | |||||
2dlx_cc_ex_bp_f_bug7_liveness.cnf | 20 | 493298 | 3499950 | 2372.84 | SAT |
2dlx_cc_ex_bp_f_bug8_liveness.cnf | |||||
2dlx_cc_ex_bp_f_bug9_liveness.cnf | |||||
Total (6 / 10) | 69 | 538818 | 4702818 | 2486.1859 |
liveness_unsat_1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
1dlx_c_bp_f_liveness.cnf | 19 | 309683 | 743820 | 249.863 | UNSAT |
1dlx_c_ex_bp_f_liveness.cnf | |||||
1dlx_c_ex_liveness.cnf | 15 | 83053 | 261877 | 48.0287 | UNSAT |
1dlx_c_liveness.cnf | 14 | 49616 | 137877 | 12.0672 | UNSAT |
2dlx_ca_bp_f_liveness.cnf | |||||
2dlx_ca_ex_bp_f_liveness.cnf | |||||
2dlx_ca_ex_liveness.cnf | |||||
2dlx_ca_liveness.cnf | |||||
2dlx_cc_bp_f_liveness.cnf | |||||
2dlx_cc_ex_bp_f_liveness.cnf | |||||
2dlx_cc_ex_liveness.cnf | |||||
2dlx_cc_liveness.cnf | |||||
Total (3 / 12) | 48 | 442352 | 1143574 | 309.9589 |
liveness_unsat_2.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
1dlx_c_bp_u_f_liveness.cnf | 13 | 37293 | 118665 | 7.49086 | UNSAT |
1dlx_c_ex_bp_u_f_liveness.cnf | 16 | 128657 | 361651 | 73.0819 | UNSAT |
1dlx_c_ex_d_liveness.cnf | 16 | 102409 | 291604 | 59.153 | UNSAT |
2dlx_ca_bp_u_f_liveness.cnf | |||||
2dlx_ca_ex_bp_u_f_liveness.cnf | |||||
2dlx_ca_ex_d_liveness.cnf | |||||
2dlx_cc_bp_u_f_liveness.cnf | |||||
2dlx_cc_ex_bp_u_f_liveness.cnf | |||||
2dlx_cc_ex_d_liveness.cnf | |||||
Total (3 / 9) | 45 | 268359 | 771920 | 139.72576 |
npe-1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
1dlx_c_bug_no_pe.cnf | 3 | 421 | 6868 | 0.049992 | SAT |
1dlx_c_no_pe.cnf | 15 | 75593 | 162752 | 17.7023 | UNSAT |
2dlx_cc_mc_ex_bp_f2_bug044_no_pe.cnf | 9 | 5557 | 280753 | 7.40887 | SAT |
2dlx_cc_mc_ex_bp_f2_no_pe.cnf | |||||
9dlx_vliw_at_bp_mc2_bug071_no_pe.cnf | |||||
9dlx_vliw_at_bp_mc2_no_pe.cnf | |||||
Total (3 / 6) | 27 | 81571 | 450373 | 25.161162 |
pipe_ooo_unsat_1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
10pipe_10_ooo.cnf | |||||
11pipe_11_ooo.cnf | |||||
12pipe_12_ooo.cnf | |||||
13pipe_13_ooo.cnf | |||||
14pipe_14_ooo.cnf | |||||
15pipe_15_ooo.cnf | |||||
16pipe_16_ooo.cnf | |||||
2pipe_2_ooo.cnf | 8 | 3891 | 10053 | 0.141978 | UNSAT |
3pipe_3_ooo.cnf | 13 | 32963 | 93801 | 3.67744 | UNSAT |
4pipe_4_ooo.cnf | 21 | 816084 | 2072731 | 416.078 | UNSAT |
5pipe_5_ooo.cnf | |||||
6pipe_6_ooo.cnf | |||||
7pipe_7_ooo.cnf | |||||
8pipe_8_ooo.cnf | |||||
9pipe_9_ooo.cnf | |||||
Total (3 / 15) | 42 | 852938 | 2176585 | 419.897418 |
pipe_ooo_unsat_1.1
CNF | Restarts | Conflicts | Decisions | Time | Sol |
10pipe_10_ooo_q0_T0.cnf | |||||
11pipe_11_ooo_q0_T0.cnf | |||||
12pipe_12_ooo_q0_T0.cnf | |||||
13pipe_13_ooo_q0_T0.cnf | |||||
14pipe_14_ooo_q0_T0.cnf | |||||
15pipe_15_ooo_q0_T0.cnf | |||||
2pipe_2_ooo_q0_T0.cnf | 6 | 1443 | 5287 | 0.039993 | UNSAT |
3pipe_3_ooo_q0_T0.cnf | 12 | 18567 | 52142 | 1.3028 | UNSAT |
4pipe_4_ooo_q0_T0.cnf | 20 | 615035 | 1450245 | 240.724 | UNSAT |
5pipe_5_ooo_q0_T0.cnf | |||||
6pipe_6_ooo_q0_T0.cnf | |||||
7pipe_7_ooo_q0_T0.cnf | |||||
8pipe_8_ooo_q0_T0.cnf | |||||
9pipe_9_ooo_q0_T0.cnf | |||||
Total (3 / 14) | 38 | 635045 | 1507674 | 242.066793 |
pipe_sat_1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
12pipe_bug1.cnf | 9 | 6342 | 99188 | 16.6395 | SAT |
12pipe_bug10.cnf | 14 | 41230 | 325611 | 36.4645 | SAT |
12pipe_bug2.cnf | 3 | 358 | 60123 | 6.78297 | SAT |
12pipe_bug3.cnf | |||||
12pipe_bug4.cnf | |||||
12pipe_bug5.cnf | 7 | 3123 | 91193 | 12.4161 | SAT |
12pipe_bug6.cnf | |||||
12pipe_bug7.cnf | 10 | 7725 | 124294 | 14.7498 | SAT |
12pipe_bug8.cnf | |||||
12pipe_bug9.cnf | 5 | 966 | 62018 | 7.72583 | SAT |
Total (6 / 10) | 48 | 59744 | 762427 | 94.7787 |
pipe_sat_1.1
CNF | Restarts | Conflicts | Decisions | Time | Sol |
12pipe_bug10_q0.cnf | 4 | 728 | 100855 | 5.66814 | SAT |
12pipe_bug1_q0.cnf | |||||
12pipe_bug2_q0.cnf | 5 | 1109 | 91088 | 5.44717 | SAT |
12pipe_bug3_q0.cnf | 9 | 5116 | 144182 | 7.8878 | SAT |
12pipe_bug4_q0.cnf | 18 | 198045 | 1063753 | 199.76 | SAT |
12pipe_bug5_q0.cnf | 4 | 609 | 96065 | 5.41418 | SAT |
12pipe_bug6_q0.cnf | 8 | 4013 | 133394 | 7.93379 | SAT |
12pipe_bug7_q0.cnf | 4 | 722 | 100618 | 5.61715 | SAT |
12pipe_bug8_q0.cnf | |||||
12pipe_bug9_q0.cnf | 3 | 463 | 75689 | 4.18236 | SAT |
Total (8 / 10) | 55 | 210805 | 1805644 | 241.91059 |
pipe_unsat_1.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
02pipe_k.cnf | 8 | 3382 | 9409 | 0.101984 | UNSAT |
03pipe_k.cnf | 12 | 20012 | 64084 | 1.85472 | UNSAT |
04pipe_k.cnf | 16 | 104840 | 268795 | 28.7026 | UNSAT |
05pipe_k.cnf | |||||
06pipe_k.cnf | 19 | 295993 | 873217 | 156.726 | UNSAT |
07pipe_k.cnf | |||||
08pipe_k.cnf | |||||
09pipe_k.cnf | |||||
10pipe_k.cnf | |||||
11pipe_k.cnf | |||||
12pipe_k.cnf | |||||
13pipe_k.cnf | |||||
14pipe_k.cnf | |||||
Total (4 / 13) | 55 | 424227 | 1215505 | 187.385304 |
pipe_unsat_1.1
CNF | Restarts | Conflicts | Decisions | Time | Sol |
02pipe_q0_k.cnf | 6 | 1660 | 4924 | 0.042993 | UNSAT |
03pipe_q0_k.cnf | 12 | 25403 | 64042 | 2.17167 | UNSAT |
04pipe_q0_k.cnf | 23 | 1737679 | 3541396 | 857.924 | UNSAT |
05pipe_q0_k.cnf | |||||
06pipe_q0_k.cnf | 19 | 362423 | 1110374 | 284.207 | UNSAT |
07pipe_q0_k.cnf | |||||
08pipe_q0_k.cnf | |||||
09pipe_q0_k.cnf | |||||
10pipe_q0_k.cnf | |||||
11pipe_q0_k.cnf | |||||
12pipe_q0_k.cnf | |||||
13pipe_q0_k.cnf | |||||
14pipe_q0_k.cnf | |||||
15pipe_q0_k.cnf | |||||
Total (4 / 14) | 60 | 2127165 | 4720736 | 1144.345663 |
vliw_sat_2.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
9dlx_vliw_at_b_iq6_bug1.cnf | |||||
9dlx_vliw_at_b_iq6_bug2.cnf | 4 | 708 | 389644 | 16.5555 | SAT |
9dlx_vliw_at_b_iq6_bug3.cnf | |||||
9dlx_vliw_at_b_iq6_bug4.cnf | |||||
9dlx_vliw_at_b_iq6_bug5.cnf | 21 | 666530 | 4253898 | 1309.79 | SAT |
9dlx_vliw_at_b_iq6_bug6.cnf | 10 | 7638 | 461317 | 43.5124 | SAT |
9dlx_vliw_at_b_iq6_bug7.cnf | 12 | 25584 | 684765 | 66.9198 | SAT |
9dlx_vliw_at_b_iq6_bug8.cnf | 9 | 5207 | 396811 | 32.0121 | SAT |
9dlx_vliw_at_b_iq6_bug9.cnf | 13 | 28584 | 698669 | 57.5652 | SAT |
Total (6 / 9) | 69 | 734251 | 6885104 | 1526.355 |
vliw_sat_2.1
CNF | Restarts | Conflicts | Decisions | Time | Sol |
9dlx_vliw_at_b_iq8_bug1.cnf | |||||
9dlx_vliw_at_b_iq8_bug10.cnf | |||||
9dlx_vliw_at_b_iq8_bug2.cnf | |||||
9dlx_vliw_at_b_iq8_bug3.cnf | 19 | 304563 | 2985522 | 823.713 | SAT |
9dlx_vliw_at_b_iq8_bug4.cnf | |||||
9dlx_vliw_at_b_iq8_bug5.cnf | |||||
9dlx_vliw_at_b_iq8_bug6.cnf | |||||
9dlx_vliw_at_b_iq8_bug7.cnf | 11 | 13579 | 966976 | 96.9863 | SAT |
9dlx_vliw_at_b_iq8_bug8.cnf | |||||
9dlx_vliw_at_b_iq8_bug9.cnf | |||||
Total (2 / 10) | 30 | 318142 | 3952498 | 920.6993 |
vliw_sat_4.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
9vliw_m_9stages_iq3_C1_bug1.cnf | 11 | 11849 | 1572673 | 41.1937 | SAT |
9vliw_m_9stages_iq3_C1_bug10.cnf | 8 | 3458 | 1445549 | 26.8679 | SAT |
9vliw_m_9stages_iq3_C1_bug2.cnf | 9 | 5267 | 1226865 | 30.9663 | SAT |
9vliw_m_9stages_iq3_C1_bug3.cnf | 8 | 3412 | 1769256 | 24.4513 | SAT |
9vliw_m_9stages_iq3_C1_bug4.cnf | 9 | 7329 | 1396599 | 42.3296 | SAT |
9vliw_m_9stages_iq3_C1_bug5.cnf | 13 | 36652 | 2664512 | 89.5094 | SAT |
9vliw_m_9stages_iq3_C1_bug6.cnf | 7 | 2677 | 1030496 | 21.4557 | SAT |
9vliw_m_9stages_iq3_C1_bug7.cnf | 9 | 7362 | 1103707 | 29.1526 | SAT |
9vliw_m_9stages_iq3_C1_bug8.cnf | 9 | 4972 | 1473338 | 26.534 | SAT |
9vliw_m_9stages_iq3_C1_bug9.cnf | 10 | 9734 | 2054319 | 47.5008 | SAT |
Total (10 / 10) | 93 | 92712 | 15737314 | 379.9613 |
vliw_unsat_2.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
9dlx_vliw_at_b_iq1.cnf | |||||
9dlx_vliw_at_b_iq2.cnf | |||||
9dlx_vliw_at_b_iq3.cnf | |||||
9dlx_vliw_at_b_iq4.cnf | |||||
9dlx_vliw_at_b_iq5.cnf | |||||
9dlx_vliw_at_b_iq6.cnf | |||||
9dlx_vliw_at_b_iq7.cnf | |||||
9dlx_vliw_at_b_iq8.cnf | |||||
9dlx_vliw_at_b_iq9.cnf | |||||
Total (0 / 9) | 0 |
vliw_unsat_3.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
9dlx_vliw_at_b_iq8_I3_C24.cnf | |||||
9dlx_vliw_at_b_iq8_I3_C24_D.cnf | |||||
Total (0 / 2) | 0 |
vliw_unsat_4.0
CNF | Restarts | Conflicts | Decisions | Time | Sol |
9vliw_m_9stages_C1.cnf | |||||
9vliw_m_9stages_iq1_C1.cnf | |||||
9vliw_m_9stages_iq2_C1.cnf | |||||
9vliw_m_9stages_iq3_C1.cnf | |||||
Total (0 / 4) | 0 |