| Label | Meaning |
|---|---|
| S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
| O | Best solution found |
| T | CPU time (TO for Time Out) |
| (out)(err) | Standard output and standard error for each solver |
| Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
|---|---|---|
| Text | Best solver column | Best solver column |
| Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
| Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
| Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
| Text | Time Out | Time Out |
| Text | Buggy solution | Buggy solution |
| Instance file name | Best solver | ISAC+-2016-in |
|---|---|---|
| CSG140-140-46.wcnf | O = 16960 T = 10.75 |
O = 16960 T = 10.75 |
| CSG140-140-6.wcnf | O = 54029 T = 31.11 |
O = 54029 T = 31.11 |
| CSG150-150-55.wcnf | O = 27533 T = 58.14 |
O = 27533 T = 58.14 |
| CSG40-40-95.wcnf | O = 8847 T = 7.56 |
O = 8847 T = 7.56 |
| CSG60-60-88.wcnf | O = 7714 T = 8.07 |
O = 7714 T = 8.07 |
| CSGNaive140-140-0.wcnf | O = 18185 T = 12.26 |
O = 18185 T = 12.26 |
| CSGNaive140-140-6.wcnf | O = 57892 T = 266.48 |
O = 57892 T = 266.48 |
| CSGNaive150-150-55.wcnf | O = N/A T = TO |
O = N/A T = TO |
| CSGNaive60-60-53.wcnf | O = 9829 T = 7.75 |
O = 9829 T = 7.75 |
| CSGNaive70-70-91.wcnf | O = 11177 T = 7.82 |
O = 11177 T = 7.82 |
| cat_paths_60_130_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_130_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_130_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_130_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_140_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_140_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_140_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_140_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_150_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_150_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_150_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_150_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_160_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_160_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_160_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_160_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_170_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_170_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_170_0004.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_paths_60_170_0005.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_160_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_160_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_160_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_160_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_170_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_170_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_170_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_170_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_180_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_180_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_180_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_180_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_190_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_190_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_190_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_190_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_200_0000.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_200_0001.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_200_0002.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cat_sched_60_200_0003.txt.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n5_i10_N1000_uai13_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n5_i10_N500_uai13_log_int.wcnf | O = 75755143 T = 8.67 |
O = 75755143 T = 8.67 |
| causal_n5_i5_N10000_uai13_log_int.wcnf | O = 46030289 T = 16.43 |
O = 46030289 T = 16.43 |
| causal_n5_i5_N1000_uai13_log_int.wcnf | O = 46619974 T = 14.16 |
O = 46619974 T = 14.16 |
| causal_n5_i5_N500_uai13_log_int.wcnf | O = 47887161 T = 9.21 |
O = 47887161 T = 9.21 |
| causal_n5_i9_N10000_uai13_log_int.wcnf | O = 127884075 T = 10.30 |
O = 127884075 T = 10.30 |
| causal_n5_i9_N1000_uai13_log_int.wcnf | O = 127884075 T = 13.17 |
O = 127884075 T = 13.17 |
| causal_n6_i10_N500_uai13_log_int.wcnf | O = 2035732059 T = 21.32 |
O = 2035732059 T = 21.32 |
| causal_n6_i10_N500_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i1_N10000_uai14_log_int.wcnf | O = 1818379680 T = 17.77 |
O = 1818379680 T = 17.77 |
| causal_n6_i2_N1000_uai13_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i2_N500_uai13_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i3_N10000_uai13_log_int.wcnf | O = 259239651182 T = 50.23 |
O = 259239651182 T = 50.23 |
| causal_n6_i5_N10000_uai13_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i5_N1000_uai13_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i5_N500_uai13_log_int.wcnf | O = 355929820 T = 14.37 |
O = 355929820 T = 14.37 |
| causal_n6_i6_N1000_uai14_log_int.wcnf | O = 253469417700 T = 144.18 |
O = 253469417700 T = 144.18 |
| causal_n6_i7_N1000_uai14_log_int.wcnf | O = 2145196059 T = 8.13 |
O = 2145196059 T = 8.13 |
| causal_n6_i8_N1000_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i9_N10000_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i10_N10000_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i10_N1000_uai14_log_int.wcnf | O = 3680168204 T = 25.02 |
O = 3680168204 T = 25.02 |
| causal_n7_i10_N500_uai14_log_int.wcnf | O = 20754645784 T = 19.01 |
O = 20754645784 T = 19.01 |
| causal_n7_i4_N10000_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i4_N1000_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i4_N500_uai14_log_int.wcnf | O = 74517977124 T = 283.92 |
O = 74517977124 T = 283.92 |
| causal_n7_i5_N10000_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i5_N1000_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i5_N500_uai14_log_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i8_N10000_uai14_log_int.wcnf | O = 11486104693 T = 14.42 |
O = 11486104693 T = 14.42 |
| causal_n7_i8_N1000_uai14_log_int.wcnf | O = 11486104693 T = 12.76 |
O = 11486104693 T = 12.76 |
| causal_n7_i8_N500_uai14_log_int.wcnf | O = 11486104693 T = 31.54 |
O = 11486104693 T = 31.54 |
| causal_n7_i9_N10000_uai14_log_int.wcnf | O = 77725684079 T = 18.21 |
O = 77725684079 T = 18.21 |
| causal_n7_i9_N1000_uai14_log_int.wcnf | O = 1138904789740 T = 27.43 |
O = 1138904789740 T = 27.43 |
| causal_n7_i9_N500_uai14_log_int.wcnf | O = 77725684079 T = 23.12 |
O = 77725684079 T = 23.12 |
| frb10-6-1.wcnf | O = 50 T = 7.92 |
O = 50 T = 7.92 |
| frb10-6-2.wcnf | O = 50 T = 7.96 |
O = 50 T = 7.96 |
| frb10-6-3.wcnf | O = 50 T = 7.97 |
O = 50 T = 7.97 |
| frb10-6-4.wcnf | O = 50 T = 7.93 |
O = 50 T = 7.93 |
| frb15-9-1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb15-9-2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb15-9-3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb15-9-4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb15-9-5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| driverlog02bc.wcsp.wcnf | O = 2085 T = 8.54 |
O = 2085 T = 8.54 |
| driverlog02c.wcsp.wcnf | O = 2010 T = 8.05 |
O = 2010 T = 8.05 |
| driverlog02cc.wcsp.wcnf | O = 2428 T = 9.85 |
O = 2428 T = 9.85 |
| driverlog04ac.wcsp.wcnf | O = 1790 T = 7.99 |
O = 1790 T = 7.99 |
| driverlog04bc.wcsp.wcnf | O = 1921 T = 7.97 |
O = 1921 T = 7.97 |
| driverlog04cc.wcsp.wcnf | O = 2932 T = 10.65 |
O = 2932 T = 10.65 |
| driverlog05ac.wcsp.wcnf | O = 1350 T = 8.15 |
O = 1350 T = 8.15 |
| driverlog05bc.wcsp.wcnf | O = 1344 T = 7.84 |
O = 1344 T = 7.84 |
| driverlog05c.wcsp.wcnf | O = 1350 T = 8.10 |
O = 1350 T = 8.10 |
| driverlog08ac.wcsp.wcnf | O = 2220 T = 8.38 |
O = 2220 T = 8.38 |
| driverlog08c.wcsp.wcnf | O = 2220 T = 8.34 |
O = 2220 T = 8.34 |
| driverlog08cc.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| driverlog09.wcsp.wcnf | O = 960 T = 8.13 |
O = 960 T = 8.13 |
| driverlogs03.wcsp.wcnf | O = 1225 T = 7.85 |
O = 1225 T = 7.85 |
| driverlogs06.wcsp.wcnf | O = 1055 T = 7.90 |
O = 1055 T = 7.90 |
| logistics01bc.wcsp.wcnf | O = 8035 T = 7.85 |
O = 8035 T = 7.85 |
| logistics01c.wcsp.wcnf | O = 8865 T = 7.92 |
O = 8865 T = 7.92 |
| logistics01cc.wcsp.wcnf | O = 4282 T = 7.98 |
O = 4282 T = 7.98 |
| satellite01ac.wcsp.wcnf | O = 1530 T = 7.99 |
O = 1530 T = 7.99 |
| satellite01bc.wcsp.wcnf | O = 1827 T = 7.99 |
O = 1827 T = 7.99 |
| satellite01cc.wcsp.wcnf | O = 1530 T = 7.99 |
O = 1530 T = 7.99 |
| satellite02ac.wcsp.wcnf | O = 1611 T = 8.51 |
O = 1611 T = 8.51 |
| satellite02bc.wcsp.wcnf | O = 2289 T = 8.46 |
O = 2289 T = 8.46 |
| zenotravel02ac.wcsp.wcnf | O = 2485 T = 7.88 |
O = 2485 T = 7.88 |
| zenotravel02bc.wcsp.wcnf | O = 2335 T = 7.85 |
O = 2335 T = 7.85 |
| zenotravel02c.wcsp.wcnf | O = 2485 T = 7.87 |
O = 2485 T = 7.87 |
| zenotravel02cc.wcsp.wcnf | O = 742 T = 7.90 |
O = 742 T = 7.90 |
| zenotravel04bc.wcsp.wcnf | O = 4110 T = 7.88 |
O = 4110 T = 7.88 |
| zenotravel04c.wcsp.wcnf | O = 4270 T = 7.56 |
O = 4270 T = 7.56 |
| zenotravel04cc.wcsp.wcnf | O = 1599 T = 7.59 |
O = 1599 T = 7.59 |
| cap101.wcsp.wcnf | O = 12865793 T = 9.70 |
O = 12865793 T = 9.70 |
| cap102.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap111.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap112.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap121.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap122.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap131.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap132.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap61.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap62.wcsp.wcnf | O = 9809081 T = 129.71 |
O = 9809081 T = 129.71 |
| cap71.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap72.wcsp.wcnf | O = 10934965 T = 19.90 |
O = 10934965 T = 19.90 |
| cap81.wcsp.wcnf | O = 12865793 T = 13.58 |
O = 12865793 T = 13.58 |
| cap82.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cap91.wcsp.wcnf | O = 12865793 T = 12.00 |
O = 12865793 T = 12.00 |
| cap92.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| warehouse0.wcsp.wcnf | O = 328 T = 7.86 |
O = 328 T = 7.86 |
| warehouse1.wcsp.wcnf | O = 730567 T = 21.79 |
O = 730567 T = 21.79 |
| normalized-mps-v2-20-10-bm23.opb.msat.wcnf | O = 34 T = 9.04 |
O = 34 T = 9.04 |
| normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-l152lav.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-lp4l.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-lseu.opb.msat.wcnf | O = 1120 T = 28.94 |
O = 1120 T = 28.94 |
| normalized-mps-v2-20-10-mod008.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-mod010.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-p0033.opb.msat.wcnf | O = 3089 T = 7.87 |
O = 3089 T = 7.87 |
| normalized-mps-v2-20-10-p0040.opb.msat.wcnf | O = 62027 T = 7.85 |
O = 62027 T = 7.85 |
| normalized-mps-v2-20-10-p0201.opb.msat.wcnf | O = 1523 T = 20.69 |
O = 1523 T = 20.69 |
| normalized-mps-v2-20-10-p0548.opb.msat.wcnf | O = 44703 T = 27.43 |
O = 44703 T = 27.43 |
| normalized-mps-v2-20-10-sentoy.opb.msat.wcnf | O = 5820 T = 10.69 |
O = 5820 T = 10.69 |
| ram_k3_n10.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n11.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n12.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n13.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n14.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n15.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n16.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n17.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n18.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n19.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n20.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k3_n9.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k4_n18.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k4_n19.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ram_k4_n20.ra1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-200-1_network-1.net.wcnf | O = 172132 T = 21.85 |
O = 172132 T = 21.85 |
| random-net-200-1_network-3.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-200-1_network-4.net.wcnf | O = 202191 T = 31.75 |
O = 202191 T = 31.75 |
| random-net-240-1_network-1.net.wcnf | O = 224300 T = 46.45 |
O = 224300 T = 46.45 |
| random-net-240-1_network-2.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-240-1_network-3.net.wcnf | O = 213755 T = 14.80 |
O = 213755 T = 14.80 |
| random-net-240-1_network-4.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-240-1_network-5.net.wcnf | O = 227363 T = 37.69 |
O = 227363 T = 37.69 |
| random-net-280-1_network-2.net.wcnf | O = 263706 T = 45.33 |
O = 263706 T = 45.33 |
| random-net-280-1_network-3.net.wcnf | O = 257943 T = 95.64 |
O = 257943 T = 95.64 |
| random-net-280-1_network-4.net.wcnf | O = 251789 T = 18.02 |
O = 251789 T = 18.02 |
| random-net-280-1_network-5.net.wcnf | O = 254206 T = 21.09 |
O = 254206 T = 21.09 |
| random-net-300-1_network-1.net.wcnf | O = 285555 T = 60.99 |
O = 285555 T = 60.99 |
| random-net-300-1_network-2.net.wcnf | O = 293088 T = 47.47 |
O = 293088 T = 47.47 |
| random-net-300-1_network-3.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-300-1_network-4.net.wcnf | O = 284120 T = 23.32 |
O = 284120 T = 23.32 |
| random-net-300-1_network-5.net.wcnf | O = 267307 T = 63.01 |
O = 267307 T = 63.01 |
| random-net-50-2_network-1.net.wcnf | O = 48636 T = 8.63 |
O = 48636 T = 8.63 |
| random-net-50-2_network-2.net.wcnf | O = 43675 T = 33.20 |
O = 43675 T = 33.20 |
| random-net-50-2_network-3.net.wcnf | O = 46924 T = 47.47 |
O = 46924 T = 47.47 |
| random-net-50-2_network-4.net.wcnf | O = 45279 T = 85.37 |
O = 45279 T = 85.37 |
| random-net-50-2_network-5.net.wcnf | O = 50309 T = 128.16 |
O = 50309 T = 128.16 |
| random-net-60-2_network-1.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-60-2_network-2.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-60-2_network-3.net.wcnf | O = 57932 T = 135.06 |
O = 57932 T = 135.06 |
| random-net-60-2_network-4.net.wcnf | O = 54951 T = 33.39 |
O = 54951 T = 33.39 |
| random-net-60-2_network-5.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-80-2_network-1.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-80-2_network-2.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-80-2_network-3.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-80-2_network-4.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| random-net-80-2_network-5.net.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp410_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp41_weighted.wcnf | O = 429 T = 22.42 |
O = 429 T = 22.42 |
| scp42_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp43_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp44_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp45_weighted.wcnf | O = 512 T = 13.62 |
O = 512 T = 13.62 |
| scp46_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp47_weighted.wcnf | O = 430 T = 10.85 |
O = 430 T = 10.85 |
| scp48_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp49_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp510_weighted.wcnf | O = 265 T = 70.93 |
O = 265 T = 70.93 |
| scp51_weighted.wcnf | O = 253 T = 264.43 |
O = 253 T = 264.43 |
| scp52_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp53_weighted.wcnf | O = 226 T = 8.61 |
O = 226 T = 8.61 |
| scp54_weighted.wcnf | O = 242 T = 22.01 |
O = 242 T = 22.01 |
| scp55_weighted.wcnf | O = 211 T = 22.05 |
O = 211 T = 22.05 |
| scp56_weighted.wcnf | O = 213 T = 56.23 |
O = 213 T = 56.23 |
| scp57_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp58_weighted.wcnf | O = 324 T = 8.12 |
O = 324 T = 8.12 |
| scp59_weighted.wcnf | O = 279 T = 61.72 |
O = 279 T = 61.72 |
| scp61_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp62_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp63_weighted.wcnf | O = 148 T = 130.76 |
O = 148 T = 130.76 |
| scp64_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scp65_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnre1_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnre2_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnre3_weighted.wcnf | O = 28 T = 80.56 |
O = 28 T = 80.56 |
| scpnre4_weighted.wcnf | O = 29 T = 112.36 |
O = 29 T = 112.36 |
| scpnre5_weighted.wcnf | O = 28 T = 172.99 |
O = 28 T = 172.99 |
| scpnrf1_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrf2_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrf3_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrf4_weighted.wcnf | O = 14 T = 196.24 |
O = 14 T = 196.24 |
| scpnrf5_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrg1_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrg2_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrg3_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrg4_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrg5_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrh1_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrh2_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrh3_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrh4_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| scpnrh5_weighted.wcnf | O = N/A T = TO |
O = N/A T = TO |
| instance1.wcnf | O = 607 T = 8.01 |
O = 607 T = 8.01 |
| instance10.wcnf | O = N/A T = TO |
O = N/A T = TO |
| instance11.wcnf | O = N/A T = TO |
O = N/A T = TO |
| instance12.wcnf | O = N/A T = TO |
O = N/A T = TO |
| instance2.wcnf | O = 1955 T = 8.23 |
O = 1955 T = 8.23 |
| instance3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| instance4.wcnf | O = 3922 T = 13.57 |
O = 3922 T = 13.57 |
| instance5.wcnf | O = 4326 T = 8.97 |
O = 4326 T = 8.97 |
| instance6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| instance7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| instance8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| instance9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| MANN_a27.clq.wcnf | O = 2049 T = 8.41 |
O = 2049 T = 8.41 |
| MANN_a45.clq.wcnf | O = 2057 T = 8.12 |
O = 2057 T = 8.12 |
| MANN_a81.clq.wcnf | O = 1995 T = 8.77 |
O = 1995 T = 8.77 |
| MANN_a9.clq.wcnf | O = 2179 T = 8.11 |
O = 2179 T = 8.11 |
| hamming10-2.clq.wcnf | O = 1929 T = 8.29 |
O = 1929 T = 8.29 |
| hamming10-4.clq.wcnf | O = 1683 T = 8.10 |
O = 1683 T = 8.10 |
| hamming6-2.clq.wcnf | O = 4391 T = 8.28 |
O = 4391 T = 8.28 |
| hamming6-4.clq.wcnf | O = 1035 T = 8.34 |
O = 1035 T = 8.34 |
| hamming8-2.clq.wcnf | O = 2213 T = 8.83 |
O = 2213 T = 8.83 |
| hamming8-4.clq.wcnf | O = 917 T = 8.25 |
O = 917 T = 8.25 |
| johnson16-2-4.clq.wcnf | O = 1170 T = 8.40 |
O = 1170 T = 8.40 |
| johnson32-2-4.clq.wcnf | O = 1788 T = 7.70 |
O = 1788 T = 7.70 |
| johnson8-2-4.clq.wcnf | O = 392 T = 7.71 |
O = 392 T = 7.71 |
| johnson8-4-4.clq.wcnf | O = 4154 T = 7.72 |
O = 4154 T = 7.72 |
| keller4.clq.wcnf | O = 1133 T = 8.04 |
O = 1133 T = 8.04 |
| keller5.clq.wcnf | O = 1383 T = 8.29 |
O = 1383 T = 8.29 |
| p_hat1000-1.clq.wcnf | O = 248 T = 8.33 |
O = 248 T = 8.33 |
| p_hat1000-2.clq.wcnf | O = 752 T = 8.34 |
O = 752 T = 8.34 |
| p_hat1000-3.clq.wcnf | O = 1251 T = 8.33 |
O = 1251 T = 8.33 |
| p_hat300-1.clq.wcnf | O = 243 T = 8.52 |
O = 243 T = 8.52 |
| p_hat300-2.clq.wcnf | O = 711 T = 8.14 |
O = 711 T = 8.14 |
| p_hat300-3.clq.wcnf | O = 1439 T = 8.51 |
O = 1439 T = 8.51 |
| p_hat500-1.clq.wcnf | O = 395 T = 7.92 |
O = 395 T = 7.92 |
| p_hat500-2.clq.wcnf | O = 931 T = 7.91 |
O = 931 T = 7.91 |
| p_hat500-3.clq.wcnf | O = 1501 T = 8.52 |
O = 1501 T = 8.52 |
| p_hat700-1.clq.wcnf | O = 329 T = 8.57 |
O = 329 T = 8.57 |
| p_hat700-2.clq.wcnf | O = 834 T = 8.25 |
O = 834 T = 8.25 |
| p_hat700-3.clq.wcnf | O = 1432 T = 8.24 |
O = 1432 T = 8.24 |
| san1000.clq.wcnf | O = 744 T = 8.12 |
O = 744 T = 8.12 |
| san200_0.7_1.clq.wcnf | O = 1256 T = 8.08 |
O = 1256 T = 8.08 |
| san200_0.7_2.clq.wcnf | O = 1243 T = 8.24 |
O = 1243 T = 8.24 |
| san200_0.9_1.clq.wcnf | O = 1672 T = 8.21 |
O = 1672 T = 8.21 |
| san200_0.9_2.clq.wcnf | O = 1647 T = 8.70 |
O = 1647 T = 8.70 |
| san200_0.9_3.clq.wcnf | O = 1670 T = 8.15 |
O = 1670 T = 8.15 |
| san400_0.5_1.clq.wcnf | O = 718 T = 8.11 |
O = 718 T = 8.11 |
| san400_0.7_1.clq.wcnf | O = 1258 T = 8.55 |
O = 1258 T = 8.55 |
| san400_0.7_2.clq.wcnf | O = 1237 T = 8.12 |
O = 1237 T = 8.12 |
| san400_0.7_3.clq.wcnf | O = 1201 T = 8.08 |
O = 1201 T = 8.08 |
| san400_0.9_1.clq.wcnf | O = 1604 T = 8.18 |
O = 1604 T = 8.18 |
| sanr200_0.7.clq.wcnf | O = 1171 T = 8.70 |
O = 1171 T = 8.70 |
| sanr200_0.9.clq.wcnf | O = 1610 T = 8.21 |
O = 1610 T = 8.21 |
| sanr400_0.5.clq.wcnf | O = 763 T = 8.25 |
O = 763 T = 8.25 |
| sanr400_0.7.clq.wcnf | O = 1198 T = 7.78 |
O = 1198 T = 7.78 |
| t3g3-5555.spn.wcnf | O = 1100610 T = 8.21 |
O = 1100610 T = 8.21 |
| t4g3-6666.spn.wcnf | O = 2275606 T = 9.06 |
O = 2275606 T = 9.06 |
| t5g3-7777.spn.wcnf | O = 4241951 T = 8.33 |
O = 4241951 T = 8.33 |
| t6g3-8888.spn.wcnf | O = N/A T = TO |
O = N/A T = TO |
| t7g3-9999.spn.wcnf | O = 11954769 T = 11.11 |
O = 11954769 T = 11.11 |