Experimental Evaluation of Diet-Sugar

Table of Contents

Overview

Note

[2016.06.12] The result here is updated. We recommend you to look the latest results with more benchmark instances and other systems.

(Old) overview

  • This page provides some experimental evaluation of Diet-Sugar.
  • Programs and benchmarks can be downloaded. Moreover, detailed results of experiments are available.

Benchmark Sets

Environment

  • Machine and OS
    • CPU: Intel Xeon E5 @ 3.7GHz
    • Memory: 32GB
    • Mac OS X 10.9.5

Evaluations on Handmade Instances

  • 300 seconds timelimit
n d Order Log Hybrid OE/LE Order Log Hybrid
    (cpu) (cpu) (cpu)   #Clauses #Clauses #Clauses
4 50 6.14 1.61 5.65 8/6 63179 1088 1088
4 100 28.36 2.74 2.71 0/14 246379 1283 1283
4 150 137.43 3.38 3.37 0/14 549579 1482 1482
4 200 T.O. 5.65 5.78 0/14 972779 1470 1470
4 250 T.O. 3.59 3.56 0/14 1515979 1438 1438
4 300 T.O. 9.78 9.39 0/14 2179179 1677 1677
8 10 2.05 1.89 2.00 30/0 12923 1691 12923
8 20 6.41 44.80 5.15 24/6 48283 2118 29774
8 30 57.11 117.76 9.78 24/6 106043 1998 62986
8 40 85.05 T.O. 16.44 16/14 186203 2529 45177
8 50 281.80 T.O. 30.24 16/14 288763 2487 67599
8 60 T.O. T.O. 52.20 16/14 413723 2441 94633

Evaluations on Benchmarks of CSP Solver Competition

  • 900 seconds timelimit

Number of Solved Instances Organized by Domain Product

      \#Ins. Order Log Hybrid
1 \(\le\) dp \(<\) 256 469 367 354 367
256 \(\le\) dp \(<\) 512 52 44 45 44
512 \(\le\) dp \(<\) 1024 92 64 46 64
1024 \(\le\) dp \(<\) 2048 36 29 22 29
2048 \(\le\) dp \(<\) 4096 20 18 14 18
4096 \(\le\) dp \(<\) 8192 16 14 15 15
8192 \(\le\) dp \(<\) 16384 13 12 13 13
16384 \(\le\) dp   304 224 260 265
      1002 772 770 815

CPU Time for Each Instance

Instance File Name Series Order Log Hybrid
csp/allIntervalSeries/normalized-series-10.xml All Interval Series 1.09 1.11 1.14
csp/allIntervalSeries/normalized-series-11.xml All Interval Series 1.12 1.19 1.23
csp/allIntervalSeries/normalized-series-12.xml All Interval Series 1.37 2.13 1.45
csp/allIntervalSeries/normalized-series-13.xml All Interval Series 1.49 1.87 1.63
csp/allIntervalSeries/normalized-series-14.xml All Interval Series 3.11 3.23 3.24
csp/allIntervalSeries/normalized-series-15.xml All Interval Series 5.52 11.28 5.64
csp/allIntervalSeries/normalized-series-18.xml All Interval Series 40.48 20.05 41.60
csp/allIntervalSeries/normalized-series-20.xml All Interval Series TO TO TO
csp/allIntervalSeries/normalized-series-25.xml All Interval Series TO TO TO
csp/allIntervalSeries/normalized-series-35.xml All Interval Series TO TO TO
csp/allIntervalSeries/normalized-series-45.xml All Interval Series TO TO TO
csp/allIntervalSeries/normalized-series-50.xml All Interval Series TO TO TO
csp/allIntervalSeries/normalized-series-6.xml All Interval Series 0.77 0.81 0.84
csp/allIntervalSeries/normalized-series-70.xml All Interval Series TO TO TO
csp/allIntervalSeries/normalized-series-9.xml All Interval Series 0.93 0.95 1.02
csp/allsquares/normalized-squares-10-10.xml Perfect Square Packing 2.25 2.41 2.45
csp/allsquares/normalized-squares-11-11.xml Perfect Square Packing 2.76 2.72 2.98
csp/allsquares/normalized-squares-12-12.xml Perfect Square Packing 3.48 3.39 3.06
csp/allsquares/normalized-squares-13-13.xml Perfect Square Packing 4.18 3.65 3.53
csp/allsquares/normalized-squares-14-14.xml Perfect Square Packing 4.75 3.99 4.05
csp/allsquares/normalized-squares-15-15.xml Perfect Square Packing 5.37 4.28 4.38
csp/allsquares/normalized-squares-16-16.xml Perfect Square Packing 6.07 4.59 4.83
csp/allsquares/normalized-squares-17-17.xml Perfect Square Packing 7.47 5.13 5.27
csp/allsquares/normalized-squares-18-18.xml Perfect Square Packing 8.47 5.53 5.88
csp/allsquares/normalized-squares-19-19.xml Perfect Square Packing 9.16 7.49 7.27
csp/allsquares/normalized-squares-20-20.xml Perfect Square Packing 11.06 7.90 7.31
csp/allsquares/normalized-squares-21-21.xml Perfect Square Packing 13.20 7.87 8.41
csp/allsquares/normalized-squares-22-22.xml Perfect Square Packing 19.08 39.37 9.47
csp/allsquares/normalized-squares-2-2.xml Perfect Square Packing 0.66 0.74 0.74
csp/allsquares/normalized-squares-23-23.xml Perfect Square Packing 19.94 132.19 70.00
csp/allsquares/normalized-squares-24-24.xml Perfect Square Packing 22.48 10.18 11.77
csp/allsquares/normalized-squares-25-25.xml Perfect Square Packing 47.92 28.67 53.81
csp/allsquares/normalized-squares-26-26.xml Perfect Square Packing 32.02 11.94 13.79
csp/allsquares/normalized-squares-27-27.xml Perfect Square Packing 42.18 47.74 16.31
csp/allsquares/normalized-squares-28-28.xml Perfect Square Packing 50.50 28.13 16.51
csp/allsquares/normalized-squares-29-29.xml Perfect Square Packing TO 591.24 TO
csp/allsquares/normalized-squares-30-30.xml Perfect Square Packing 131.02 553.36 38.78
csp/allsquares/normalized-squares-31-31.xml Perfect Square Packing 92.70 101.94 33.72
csp/allsquares/normalized-squares-32-32.xml Perfect Square Packing 114.07 115.59 33.99
csp/allsquares/normalized-squares-33-33.xml Perfect Square Packing 279.37 369.58 56.43
csp/allsquares/normalized-squares-3-3.xml Perfect Square Packing 0.75 0.89 0.87
csp/allsquares/normalized-squares-34-34.xml Perfect Square Packing 207.86 TO 304.37
csp/allsquares/normalized-squares-35-35.xml Perfect Square Packing TO TO TO
csp/allsquares/normalized-squares-36-36.xml Perfect Square Packing TO TO TO
csp/allsquares/normalized-squares-37-37.xml Perfect Square Packing TO TO TO
csp/allsquares/normalized-squares-38-38.xml Perfect Square Packing TO TO 623.64
csp/allsquares/normalized-squares-4-4.xml Perfect Square Packing 0.95 1.01 1.00
csp/allsquares/normalized-squares-5-5.xml Perfect Square Packing 1.03 1.23 1.13
csp/allsquares/normalized-squares-6-6.xml Perfect Square Packing 1.25 1.51 1.41
csp/allsquares/normalized-squares-7-7.xml Perfect Square Packing 1.49 1.71 1.70
csp/allsquares/normalized-squares-8-8.xml Perfect Square Packing 1.68 1.84 1.83
csp/allsquares/normalized-squares-9-9.xml Perfect Square Packing 1.96 2.21 2.13
csp/allsquaresUnsat/normalized-squaresUnsat-10-10.xml Perfect Square Packing 2.24 2.35 2.42
csp/allsquaresUnsat/normalized-squaresUnsat-11-11.xml Perfect Square Packing 2.62 2.99 2.58
csp/allsquaresUnsat/normalized-squaresUnsat-12-12.xml Perfect Square Packing 3.26 3.22 3.05
csp/allsquaresUnsat/normalized-squaresUnsat-13-13.xml Perfect Square Packing 3.80 3.54 3.49
csp/allsquaresUnsat/normalized-squaresUnsat-14-14.xml Perfect Square Packing 4.70 3.56 3.87
csp/allsquaresUnsat/normalized-squaresUnsat-15-15.xml Perfect Square Packing 5.07 4.13 4.20
csp/allsquaresUnsat/normalized-squaresUnsat-16-16.xml Perfect Square Packing 5.86 4.49 4.55
csp/allsquaresUnsat/normalized-squaresUnsat-17-17.xml Perfect Square Packing 7.11 4.92 5.18
csp/allsquaresUnsat/normalized-squaresUnsat-18-18.xml Perfect Square Packing 9.33 6.40 6.39
csp/allsquaresUnsat/normalized-squaresUnsat-19-19.xml Perfect Square Packing 10.12 6.88 6.72
csp/allsquaresUnsat/normalized-squaresUnsat-20-20.xml Perfect Square Packing 14.38 9.23 10.27
csp/allsquaresUnsat/normalized-squaresUnsat-21-21.xml Perfect Square Packing 22.26 12.36 16.13
csp/allsquaresUnsat/normalized-squaresUnsat-22-22.xml Perfect Square Packing 25.77 13.80 19.20
csp/allsquaresUnsat/normalized-squaresUnsat-2-2.xml Perfect Square Packing 0.43 0.48 0.47
csp/allsquaresUnsat/normalized-squaresUnsat-23-23.xml Perfect Square Packing 32.32 15.20 23.32
csp/allsquaresUnsat/normalized-squaresUnsat-24-24.xml Perfect Square Packing 349.68 149.10 466.02
csp/allsquaresUnsat/normalized-squaresUnsat-25-25.xml Perfect Square Packing 391.22 170.30 548.67
csp/allsquaresUnsat/normalized-squaresUnsat-26-26.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-27-27.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-28-28.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-29-29.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-30-30.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-31-31.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-32-32.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-33-33.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-3-3.xml Perfect Square Packing 0.47 0.50 0.52
csp/allsquaresUnsat/normalized-squaresUnsat-34-34.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-35-35.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-36-36.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-37-37.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-38-38.xml Perfect Square Packing TO TO TO
csp/allsquaresUnsat/normalized-squaresUnsat-4-4.xml Perfect Square Packing 0.56 0.59 0.58
csp/allsquaresUnsat/normalized-squaresUnsat-5-5.xml Perfect Square Packing 0.61 0.66 0.66
csp/allsquaresUnsat/normalized-squaresUnsat-6-6.xml Perfect Square Packing 0.71 0.72 0.74
csp/allsquaresUnsat/normalized-squaresUnsat-7-7.xml Perfect Square Packing 0.85 0.86 0.85
csp/allsquaresUnsat/normalized-squaresUnsat-8-8.xml Perfect Square Packing 0.98 0.97 0.96
csp/allsquaresUnsat/normalized-squaresUnsat-9-9.xml Perfect Square Packing 2.01 2.16 2.00
csp/bmc/normalized-bmc-ibm-01-04.xml BMC 28.60 16.89 17.03
csp/bmc/normalized-bmc-ibm-01-08.xml BMC 28.91 17.28 18.15
csp/bmc/normalized-bmc-ibm-01-16.xml BMC 29.21 16.31 17.43
csp/bmc/normalized-bmc-ibm-02-16.xml BMC 7.12 7.36 6.96
csp/bmc/normalized-bmc-ibm-03-02.xml BMC 27.74 19.11 19.48
csp/bmc/normalized-bmc-ibm-03-04.xml BMC 29.74 20.72 20.44
csp/bmc/normalized-bmc-ibm-03-08.xml BMC 30.16 20.95 21.22
csp/bmc/normalized-bmc-ibm-03-16.xml BMC 34.38 24.28 24.43
csp/bmc/normalized-bmc-ibm-05-02.xml BMC 18.61 15.43 15.03
csp/bmc/normalized-bmc-ibm-05-04.xml BMC 19.45 14.30 14.84
csp/bmc/normalized-bmc-ibm-05-08.xml BMC 19.34 14.12 14.40
csp/bmc/normalized-bmc-ibm-07-02.xml BMC 8.53 8.19 8.04
csp/bmc/normalized-bmc-ibm-07-04.xml BMC 13.71 14.32 14.75
csp/bmc/normalized-bmc-ibm-07-08.xml BMC 14.46 15.03 14.70
csp/bmc/normalized-bmc-ibm-07-16.xml BMC 14.27 14.02 14.91
csp/chessboardColoration/normalized-cc-10-10-2.xml Chessboard Coloration 5.74 6.13 5.99
csp/chessboardColoration/normalized-cc-10-10-3.xml Chessboard Coloration 6.46 9.95 6.60
csp/chessboardColoration/normalized-cc-12-12-2.xml Chessboard Coloration 8.92 9.94 9.82
csp/chessboardColoration/normalized-cc-12-12-3.xml Chessboard Coloration TO TO TO
csp/chessboardColoration/normalized-cc-15-15-2.xml Chessboard Coloration 17.17 19.67 19.58
csp/chessboardColoration/normalized-cc-15-15-3.xml Chessboard Coloration TO TO TO
csp/chessboardColoration/normalized-cc-25-25-2.xml Chessboard Coloration 103.63 109.42 112.59
csp/chessboardColoration/normalized-cc-25-25-3.xml Chessboard Coloration TO TO TO
csp/chessboardColoration/normalized-cc-5-5-3.xml Chessboard Coloration 1.42 1.60 1.51
csp/chessboardColoration/normalized-cc-6-6-2.xml Chessboard Coloration 1.93 1.96 2.00
csp/chessboardColoration/normalized-cc-7-7-2.xml Chessboard Coloration 2.47 2.57 2.81
csp/chessboardColoration/normalized-cc-8-8-2.xml Chessboard Coloration 3.33 3.27 3.43
csp/chessboardColoration/normalized-cc-8-8-3.xml Chessboard Coloration 3.66 3.65 3.69
csp/chessboardColoration/normalized-cc-9-9-2.xml Chessboard Coloration 4.42 4.45 4.57
csp/chessboardColoration/normalized-cc-9-9-3.xml Chessboard Coloration 5.06 5.15 5.39
csp/cjss/normalized-ft06x2-54.xml Cumulative Job-Shop 5.03 5.22 4.60
csp/cjss/normalized-ft06x2-55.xml Cumulative Job-Shop 4.92 5.14 4.54
csp/cjss/normalized-ft06x3-54.xml Cumulative Job-Shop 18.33 103.38 543.78
csp/cjss/normalized-ft06x3-55.xml Cumulative Job-Shop 8.12 6.67 5.53
csp/cjss/normalized-ft10x2-837.xml Cumulative Job-Shop 622.08 TO TO
csp/cjss/normalized-ft10x3-838.xml Cumulative Job-Shop TO TO TO
csp/cjss/normalized-la03x2-593.xml Cumulative Job-Shop TO TO 113.58
csp/cjss/normalized-la03x3-590.xml Cumulative Job-Shop TO TO TO
csp/cjss/normalized-la04x2-572.xml Cumulative Job-Shop TO TO TO
csp/cjss/normalized-la04x3-570.xml Cumulative Job-Shop TO TO TO
csp/domino/normalized-domino-1000-1000.xml Domino 263.97 3.59 264.14
csp/domino/normalized-domino-1000-100.xml Domino 25.47 3.33 25.47
csp/domino/normalized-domino-1000-500.xml Domino 126.96 3.51 127.68
csp/domino/normalized-domino-100-100.xml Domino 1.98 1.05 2.09
csp/domino/normalized-domino-100-200.xml Domino 3.00 1.08 3.07
csp/domino/normalized-domino-100-300.xml Domino 3.79 1.08 3.82
csp/domino/normalized-domino-2000-2000.xml Domino TO 5.45 TO
csp/domino/normalized-domino-300-100.xml Domino 5.28 1.72 5.42
csp/domino/normalized-domino-300-200.xml Domino 8.51 1.73 8.57
csp/domino/normalized-domino-500-300.xml Domino 24.46 2.32 24.50
csp/fischer/normalized-fischer-10-10-fair.xml Fischer TO 236.35 223.04
csp/fischer/normalized-fischer-10-11-fair.xml Fischer TO 386.37 336.39
csp/fischer/normalized-fischer-10-1-fair.xml Fischer 229.49 8.38 12.58
csp/fischer/normalized-fischer-10-2-fair.xml Fischer 309.44 15.27 18.48
csp/fischer/normalized-fischer-10-3-fair.xml Fischer 383.68 29.32 29.16
csp/fischer/normalized-fischer-11-12-fair.xml Fischer TO 711.11 608.18
csp/fischer/normalized-fischer-11-13-fair.xml Fischer TO TO 888.91
csp/fischer/normalized-fischer-11-14-fair.xml Fischer TO TO TO
csp/fischer/normalized-fischer-11-3-fair.xml Fischer 436.13 36.25 33.84
csp/fischer/normalized-fischer-11-9-fair.xml Fischer TO 215.25 225.62
csp/fischer/normalized-fischer-1-2-fair.xml Fischer 33.29 2.74 3.33
csp/fischer/normalized-fischer-1-3-fair.xml Fischer 39.99 3.46 3.77
csp/fischer/normalized-fischer-2-3-fair.xml Fischer 76.25 4.86 5.31
csp/fischer/normalized-fischer-3-8-fair.xml Fischer 229.13 17.93 20.27
csp/fischer/normalized-fischer-4-6-fair.xml Fischer 238.50 16.87 19.55
csp/fischer/normalized-fischer-5-6-fair.xml Fischer 299.91 24.26 26.54
csp/fischer/normalized-fischer-6-1-fair.xml Fischer 138.93 5.98 7.08
csp/fischer/normalized-fischer-7-10-fair.xml Fischer 755.13 118.19 112.98
csp/fischer/normalized-fischer-7-1-fair.xml Fischer 162.43 6.15 8.34
csp/fischer/normalized-fischer-7-4-fair.xml Fischer 316.90 23.95 25.13
csp/fischer/normalized-fischer-8-13-fair.xml Fischer TO 525.76 475.52
csp/fischer/normalized-fischer-8-2-fair.xml Fischer 247.31 13.00 15.52
csp/fischer/normalized-fischer-8-7-fair.xml Fischer 563.66 69.03 70.09
csp/fischer/normalized-fischer-9-10-fair.xml Fischer TO 185.46 182.45
csp/fischer/normalized-fischer-9-6-fair.xml Fischer 558.22 70.34 68.46
csp/golombRulerArity3/normalized-ruler-17-6-a3.xml Golomb Ruler 1.21 1.08 1.33
csp/golombRulerArity3/normalized-ruler-17-7-a3.xml Golomb Ruler 1.57 1.34 1.64
csp/golombRulerArity3/normalized-ruler-25-7-a3.xml Golomb Ruler 1.93 1.49 2.04
csp/golombRulerArity3/normalized-ruler-25-8-a3.xml Golomb Ruler 2.71 2.05 2.72
csp/golombRulerArity3/normalized-ruler-34-8-a3.xml Golomb Ruler 3.39 3.46 3.63
csp/golombRulerArity3/normalized-ruler-34-9-a3.xml Golomb Ruler 4.98 4.15 5.03
csp/golombRulerArity3/normalized-ruler-44-10-a3.xml Golomb Ruler 11.28 48.19 11.16
csp/golombRulerArity3/normalized-ruler-44-9-a3.xml Golomb Ruler 5.97 30.84 5.95
csp/golombRulerArity3/normalized-ruler-55-10-a3.xml Golomb Ruler 21.97 189.41 22.26
csp/golombRulerArity3/normalized-ruler-55-11-a3.xml Golomb Ruler 46.20 TO 46.26
csp/golombRulerArity3/normalized-ruler-67-11-a3.xml Golomb Ruler 855.51 TO 857.67
csp/golombRulerArity3/normalized-ruler-67-12-a3.xml Golomb Ruler 377.97 TO 379.15
csp/golombRulerArity3/normalized-ruler-70-12-a3.xml Golomb Ruler 761.04 TO 761.65
csp/golombRulerArity3/normalized-ruler-70-13-a3.xml Golomb Ruler 323.24 TO 323.77
csp/golombRulerArity4/normalized-ruler-17-6-a4.xml Golomb Ruler 3.07 1.03 3.13
csp/golombRulerArity4/normalized-ruler-17-7-a4.xml Golomb Ruler 4.81 1.40 5.16
csp/golombRulerArity4/normalized-ruler-25-7-a4.xml Golomb Ruler 10.40 1.52 1.52
csp/golombRulerArity4/normalized-ruler-25-8-a4.xml Golomb Ruler 18.66 2.52 2.48
csp/golombRulerArity4/normalized-ruler-34-8-a4.xml Golomb Ruler 37.11 2.95 2.95
csp/golombRulerArity4/normalized-ruler-34-9-a4.xml Golomb Ruler 68.13 10.05 10.10
csp/golombRulerArity4/normalized-ruler-44-10-a4.xml Golomb Ruler 333.37 88.87 88.84
csp/golombRulerArity4/normalized-ruler-44-9-a4.xml Golomb Ruler 150.38 13.75 13.74
csp/golombRulerArity4/normalized-ruler-55-10-a4.xml Golomb Ruler 741.80 265.24 196.98
csp/golombRulerArity4/normalized-ruler-55-11-a4.xml Golomb Ruler TO TO TO
csp/golombRulerArity4/normalized-ruler-67-11-a4.xml Golomb Ruler TO TO TO
csp/golombRulerArity4/normalized-ruler-67-12-a4.xml Golomb Ruler TO TO TO
csp/golombRulerArity4/normalized-ruler-70-12-a4.xml Golomb Ruler TO TO TO
csp/golombRulerArity4/normalized-ruler-70-13-a4.xml Golomb Ruler TO TO TO
csp/graphColoring/hos/normalized-abb313GPIA-7.xml Graph Coloring 40.28 36.77 39.29
csp/graphColoring/hos/normalized-abb313GPIA-8.xml Graph Coloring 65.25 49.62 61.34
csp/graphColoring/hos/normalized-abb313GPIA-9.xml Graph Coloring 45.36 TO 47.48
csp/graphColoring/hos/normalized-ash331GPIA-4.xml Graph Coloring 5.66 5.43 5.79
csp/graphColoring/hos/normalized-ash608GPIA-4.xml Graph Coloring 7.97 8.68 7.95
csp/graphColoring/hos/normalized-ash958GPIA-3.xml Graph Coloring 10.83 10.76 10.05
csp/graphColoring/hos/normalized-ash958GPIA-4.xml Graph Coloring 10.75 12.73 11.21
csp/graphColoring/hos/normalized-will199GPIA-5.xml Graph Coloring 7.42 7.99 7.50
csp/graphColoring/hos/normalized-will199GPIA-6.xml Graph Coloring 7.93 7.60 8.17
csp/graphColoring/hos/normalized-will199GPIA-7.xml Graph Coloring 8.44 8.12 8.59
csp/graphColoring/insertion/full-insertion/normalized-1-fullins-5-4.xml Graph Coloring 4.43 4.45 4.67
csp/graphColoring/insertion/full-insertion/normalized-1-fullins-5-5.xml Graph Coloring 6.10 6.47 6.05
csp/graphColoring/insertion/full-insertion/normalized-2-fullins-3-4.xml Graph Coloring 1.11 1.20 1.21
csp/graphColoring/insertion/full-insertion/normalized-2-fullins-3-5.xml Graph Coloring 1.19 1.25 1.25
csp/graphColoring/insertion/full-insertion/normalized-3-fullins-3-6.xml Graph Coloring 1.49 1.58 1.58
csp/graphColoring/insertion/full-insertion/normalized-3-fullins-4-6.xml Graph Coloring 5.62 5.58 5.59
csp/graphColoring/insertion/full-insertion/normalized-3-fullins-4-7.xml Graph Coloring 5.60 5.10 5.68
csp/graphColoring/insertion/full-insertion/normalized-3-fullins-5-6.xml Graph Coloring 25.39 31.70 27.96
csp/graphColoring/insertion/full-insertion/normalized-4-fullins-3-6.xml Graph Coloring 1.88 1.99 1.96
csp/graphColoring/insertion/full-insertion/normalized-4-fullins-4-7.xml Graph Coloring 9.86 11.64 10.44
csp/graphColoring/insertion/full-insertion/normalized-4-fullins-4-8.xml Graph Coloring 8.65 7.53 8.79
csp/graphColoring/insertion/full-insertion/normalized-4-fullins-5-6.xml Graph Coloring 48.22 46.42 46.02
csp/graphColoring/insertion/full-insertion/normalized-5-fullins-3-8.xml Graph Coloring 2.74 2.51 2.78
csp/graphColoring/insertion/full-insertion/normalized-5-fullins-4-6.xml Graph Coloring 11.29 10.81 11.36
csp/graphColoring/insertion/full-insertion/normalized-5-fullins-4-7.xml Graph Coloring 11.71 11.36 12.35
csp/graphColoring/insertion/k-insertion/normalized-1-insertions-6-6.xml Graph Coloring TO TO TO
csp/graphColoring/insertion/k-insertion/normalized-2-insertions-3-3.xml Graph Coloring 0.83 0.90 0.91
csp/graphColoring/insertion/k-insertion/normalized-2-insertions-3-4.xml Graph Coloring 0.84 0.90 0.91
csp/graphColoring/insertion/k-insertion/normalized-3-insertions-4-3.xml Graph Coloring 2.74 2.88 2.84
csp/graphColoring/insertion/k-insertion/normalized-3-insertions-4-4.xml Graph Coloring TO TO TO
csp/graphColoring/insertion/k-insertion/normalized-3-insertions-5-3.xml Graph Coloring 8.56 9.09 8.68
csp/graphColoring/insertion/k-insertion/normalized-3-insertions-5-4.xml Graph Coloring TO TO TO
csp/graphColoring/insertion/k-insertion/normalized-4-insertions-3-3.xml Graph Coloring 1.40 1.44 1.49
csp/graphColoring/insertion/k-insertion/normalized-4-insertions-3-4.xml Graph Coloring 1.11 1.14 1.16
csp/graphColoring/insertion/k-insertion/normalized-4-insertions-4-4.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-15/normalized-lei450-15a-12.xml Graph Coloring 69.55 24.04 70.30
csp/graphColoring/leighton/leighton-15/normalized-lei450-15a-15.xml Graph Coloring 13.28 181.47 14.35
csp/graphColoring/leighton/leighton-15/normalized-lei450-15b-13.xml Graph Coloring 101.09 54.45 100.05
csp/graphColoring/leighton/leighton-15/normalized-lei450-15c-05.xml Graph Coloring 13.50 14.08 13.64
csp/graphColoring/leighton/leighton-15/normalized-lei450-15c-08.xml Graph Coloring 17.68 14.53 17.08
csp/graphColoring/leighton/leighton-15/normalized-lei450-15c-13.xml Graph Coloring 149.18 361.66 149.34
csp/graphColoring/leighton/leighton-15/normalized-lei450-15c-14.xml Graph Coloring 565.43 552.15 569.84
csp/graphColoring/leighton/leighton-15/normalized-lei450-15c-15.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-15/normalized-lei450-15d-05.xml Graph Coloring 13.83 14.16 13.93
csp/graphColoring/leighton/leighton-15/normalized-lei450-15d-12.xml Graph Coloring 50.83 56.92 51.39
csp/graphColoring/leighton/leighton-15/normalized-lei450-15d-14.xml Graph Coloring 485.55 466.15 487.10
csp/graphColoring/leighton/leighton-25/normalized-lei450-25a-10.xml Graph Coloring 11.24 10.66 12.10
csp/graphColoring/leighton/leighton-25/normalized-lei450-25a-15.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-25/normalized-lei450-25a-20.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-25/normalized-lei450-25a-23.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-25/normalized-lei450-25b-10.xml Graph Coloring 11.20 10.21 12.42
csp/graphColoring/leighton/leighton-25/normalized-lei450-25b-25.xml Graph Coloring 18.44 10.83 17.74
csp/graphColoring/leighton/leighton-25/normalized-lei450-25c-20.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-25/normalized-lei450-25c-25.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-25/normalized-lei450-25d-15.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-25/normalized-lei450-25d-23.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-25/normalized-lei450-25d-25.xml Graph Coloring TO TO TO
csp/graphColoring/leighton/leighton-5/normalized-lei450-05a-04.xml Graph Coloring 6.14 6.08 6.09
csp/graphColoring/leighton/leighton-5/normalized-lei450-05c-04.xml Graph Coloring 8.27 8.71 8.87
csp/graphColoring/leighton/leighton-5/normalized-lei450-05c-05.xml Graph Coloring 9.12 18.22 9.87
csp/graphColoring/mug/normalized-mug100-1-3.xml Graph Coloring 1.10 1.17 1.17
csp/graphColoring/mug/normalized-mug100-1-4.xml Graph Coloring 1.13 1.18 1.20
csp/graphColoring/mug/normalized-mug100-25-3.xml Graph Coloring 1.09 1.18 1.16
csp/graphColoring/mug/normalized-mug100-25-4.xml Graph Coloring 1.14 1.18 1.21
csp/graphColoring/mug/normalized-mug88-1-3.xml Graph Coloring 1.05 1.14 1.12
csp/graphColoring/mug/normalized-mug88-1-4.xml Graph Coloring 1.09 1.14 1.16
csp/graphColoring/mug/normalized-mug88-25-3.xml Graph Coloring 1.02 1.12 1.11
csp/graphColoring/mug/normalized-mug88-25-4.xml Graph Coloring 1.06 1.13 1.17
csp/graphColoring/myciel/normalized-myciel3-3.xml Graph Coloring 0.69 0.75 0.75
csp/graphColoring/myciel/normalized-myciel3-4.xml Graph Coloring 0.70 0.75 0.77
csp/graphColoring/myciel/normalized-myciel4-4.xml Graph Coloring 0.84 0.90 0.94
csp/graphColoring/myciel/normalized-myciel4-5.xml Graph Coloring 0.85 0.90 0.92
csp/graphColoring/myciel/normalized-myciel5-4.xml Graph Coloring 1.21 1.26 1.28
csp/graphColoring/myciel/normalized-myciel5-5.xml Graph Coloring 23.68 97.96 23.74
csp/graphColoring/myciel/normalized-myciel5-6.xml Graph Coloring 1.26 1.30 1.32
csp/graphColoring/myciel/normalized-myciel6-5.xml Graph Coloring 40.89 97.25 41.06
csp/graphColoring/myciel/normalized-myciel6-6.xml Graph Coloring TO TO TO
csp/graphColoring/myciel/normalized-myciel6-7.xml Graph Coloring 2.33 2.28 2.48
csp/graphColoring/myciel/normalized-myciel7-4.xml Graph Coloring 3.83 3.71 3.96
csp/graphColoring/myciel/normalized-myciel7-5.xml Graph Coloring 70.70 273.88 71.10
csp/graphColoring/myciel/normalized-myciel7-6.xml Graph Coloring TO TO TO
csp/graphColoring/myciel/normalized-myciel7-7.xml Graph Coloring TO TO TO
csp/graphColoring/myciel/normalized-myciel7-8.xml Graph Coloring 4.55 4.10 5.09
csp/graphColoring/register/fpsol/normalized-fpsol2-i-1-61.xml Graph Coloring TO TO TO
csp/graphColoring/register/fpsol/normalized-fpsol2-i-1-63.xml Graph Coloring TO TO TO
csp/graphColoring/register/fpsol/normalized-fpsol2-i-2-10.xml Graph Coloring 11.87 10.89 12.01
csp/graphColoring/register/fpsol/normalized-fpsol2-i-2-27.xml Graph Coloring TO TO TO
csp/graphColoring/register/fpsol/normalized-fpsol2-i-3-05.xml Graph Coloring 8.40 9.01 8.67
csp/graphColoring/register/inithx/normalized-inithx-i-1-20.xml Graph Coloring TO TO TO
csp/graphColoring/register/inithx/normalized-inithx-i-2-10.xml Graph Coloring 17.11 15.24 17.68
csp/graphColoring/register/inithx/normalized-inithx-i-2-29.xml Graph Coloring TO TO TO
csp/graphColoring/register/inithx/normalized-inithx-i-3-31.xml Graph Coloring 34.29 16.55 37.22
csp/graphColoring/register/mulsol/normalized-mulsol-i-1-10.xml Graph Coloring 7.09 10.72 7.36
csp/graphColoring/register/mulsol/normalized-mulsol-i-1-25.xml Graph Coloring TO TO TO
csp/graphColoring/register/mulsol/normalized-mulsol-i-1-46.xml Graph Coloring TO TO TO
csp/graphColoring/register/mulsol/normalized-mulsol-i-4-15.xml Graph Coloring TO TO TO
csp/graphColoring/register/mulsol/normalized-mulsol-i-4-30.xml Graph Coloring TO TO TO
csp/graphColoring/register/mulsol/normalized-mulsol-i-5-05.xml Graph Coloring 5.25 5.30 5.41
csp/graphColoring/register/mulsol/normalized-mulsol-i-5-20.xml Graph Coloring TO TO TO
csp/graphColoring/register/zeroin/normalized-zeroin-i-1-10.xml Graph Coloring 8.06 6.73 8.17
csp/graphColoring/register/zeroin/normalized-zeroin-i-1-20.xml Graph Coloring TO TO TO
csp/graphColoring/register/zeroin/normalized-zeroin-i-1-35.xml Graph Coloring TO TO TO
csp/graphColoring/register/zeroin/normalized-zeroin-i-1-46.xml Graph Coloring TO TO TO
csp/graphColoring/register/zeroin/normalized-zeroin-i-2-30.xml Graph Coloring 10.73 5.95 11.20
csp/graphColoring/register/zeroin/normalized-zeroin-i-3-05.xml Graph Coloring 4.83 4.71 5.03
csp/graphColoring/register/zeroin/normalized-zeroin-i-3-10.xml Graph Coloring 7.59 5.85 7.64
csp/graphColoring/register/zeroin/normalized-zeroin-i-3-20.xml Graph Coloring TO TO TO
csp/graphColoring/register/zeroin/normalized-zeroin-i-3-25.xml Graph Coloring TO TO TO
csp/graphColoring/school/normalized-school1-13.xml Graph Coloring 116.41 TO 119.53
csp/graphColoring/school/normalized-school1-14.xml Graph Coloring 26.23 109.45 26.09
csp/graphColoring/school/normalized-school1-15.xml Graph Coloring 25.57 93.88 27.94
csp/graphColoring/school/normalized-school1-16.xml Graph Coloring 26.89 28.99 27.15
csp/graphColoring/school/normalized-school1-nsh-12.xml Graph Coloring 52.29 29.60 54.49
csp/graphColoring/school/normalized-school1-nsh-13.xml Graph Coloring 106.39 70.64 106.91
csp/graphColoring/school/normalized-school1-nsh-14.xml Graph Coloring 20.02 38.34 19.29
csp/graphColoring/school/normalized-school1-nsh-15.xml Graph Coloring 21.17 210.54 21.59
csp/graphColoring/sgb/book/normalized-anna-5.xml Graph Coloring 1.73 1.84 1.83
csp/graphColoring/sgb/book/normalized-david-5.xml Graph Coloring 1.55 1.64 1.66
csp/graphColoring/sgb/book/normalized-homer-11.xml Graph Coloring 7.60 5.71 7.67
csp/graphColoring/sgb/book/normalized-jean-8.xml Graph Coloring 1.40 1.37 1.46
csp/graphColoring/sgb/games/normalized-games120-8.xml Graph Coloring 2.31 2.10 2.34
csp/graphColoring/sgb/games/normalized-games120-9.xml Graph Coloring 2.28 2.15 2.42
csp/graphColoring/sgb/miles/normalized-miles1000-42.xml Graph Coloring 12.24 5.85 12.15
csp/graphColoring/sgb/miles/normalized-miles1500-20.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/miles/normalized-miles1500-50.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/miles/normalized-miles1500-55.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/miles/normalized-miles1500-72.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/miles/normalized-miles500-19.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/miles/normalized-miles750-10.xml Graph Coloring 5.95 4.82 6.30
csp/graphColoring/sgb/miles/normalized-miles750-28.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/miles/normalized-miles750-31.xml Graph Coloring 7.41 4.16 7.63
csp/graphColoring/sgb/queen/normalized-queen10-10-11.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/queen/normalized-queen10-10-9.xml Graph Coloring 3.70 3.55 4.05
csp/graphColoring/sgb/queen/normalized-queen11-11-8.xml Graph Coloring 4.46 3.68 4.65
csp/graphColoring/sgb/queen/normalized-queen13-13-14.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/queen/normalized-queen14-14-15.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/queen/normalized-queen15-15-17.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/queen/normalized-queen16-16-14.xml Graph Coloring TO 303.68 TO
csp/graphColoring/sgb/queen/normalized-queen16-16-15.xml Graph Coloring TO TO TO
csp/graphColoring/sgb/queen/normalized-queen7-7-7.xml Graph Coloring 1.82 1.78 1.95
csp/graphColoring/sgb/queen/normalized-queen9-9-8.xml Graph Coloring 3.16 2.80 3.18
csp/haystacks/normalized-haystacks-10.xml Haystacks 2.85 8.14 2.95
csp/haystacks/normalized-haystacks-12.xml Haystacks 22.40 TO 22.46
csp/haystacks/normalized-haystacks-13.xml Haystacks 82.69 TO 82.82
csp/haystacks/normalized-haystacks-15.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-20.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-26.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-33.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-34.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-35.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-38.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-39.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-45.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-46.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-47.xml Haystacks TO TO TO
csp/haystacks/normalized-haystacks-53.xml Haystacks TO TO TO
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-10.xml Job-Shop 3.15 1.55 3.25
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-1.xml Job-Shop 3.09 1.53 3.24
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-2.xml Job-Shop 3.08 1.57 3.23
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-3.xml Job-Shop 3.14 1.60 3.24
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-4.xml Job-Shop 3.09 1.59 3.14
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-5.xml Job-Shop 3.09 1.55 3.17
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-6.xml Job-Shop 3.21 1.56 3.14
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-7.xml Job-Shop 3.07 1.53 3.24
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-8.xml Job-Shop 3.25 1.53 3.08
csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-9.xml Job-Shop 3.18 1.54 3.26
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-10.xml Job-Shop 3.47 1.57 3.48
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-1.xml Job-Shop 3.33 1.57 3.35
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-2.xml Job-Shop 3.39 1.61 3.39
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-3.xml Job-Shop 3.39 1.54 3.42
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-4.xml Job-Shop 3.41 1.54 3.50
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-5.xml Job-Shop 3.51 1.56 3.57
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-6.xml Job-Shop 3.47 1.51 3.55
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-7.xml Job-Shop 3.44 1.55 3.44
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-8.xml Job-Shop 3.39 1.60 3.44
csp/jobShop-e0ddr2/normalized-e0ddr2-10-by-5-9.xml Job-Shop 3.37 1.57 3.52
csp/jobShop-enddr1/normalized-enddr1-10-by-5-10.xml Job-Shop 3.20 1.54 3.16
csp/jobShop-enddr1/normalized-enddr1-10-by-5-1.xml Job-Shop 3.17 1.57 3.11
csp/jobShop-enddr1/normalized-enddr1-10-by-5-2.xml Job-Shop 3.21 1.53 3.26
csp/jobShop-enddr1/normalized-enddr1-10-by-5-3.xml Job-Shop 3.19 1.56 3.14
csp/jobShop-enddr1/normalized-enddr1-10-by-5-4.xml Job-Shop 3.08 1.58 3.07
csp/jobShop-enddr1/normalized-enddr1-10-by-5-5.xml Job-Shop 3.22 1.56 3.16
csp/jobShop-enddr1/normalized-enddr1-10-by-5-6.xml Job-Shop 3.30 1.56 3.30
csp/jobShop-enddr1/normalized-enddr1-10-by-5-7.xml Job-Shop 3.16 1.54 3.25
csp/jobShop-enddr1/normalized-enddr1-10-by-5-8.xml Job-Shop 3.23 1.55 3.19
csp/jobShop-enddr1/normalized-enddr1-10-by-5-9.xml Job-Shop 3.34 1.53 3.36
csp/jobShop-enddr2/normalized-enddr2-10-by-5-10.xml Job-Shop 3.49 1.56 3.59
csp/jobShop-enddr2/normalized-enddr2-10-by-5-1.xml Job-Shop 3.48 1.56 3.65
csp/jobShop-enddr2/normalized-enddr2-10-by-5-2.xml Job-Shop 3.46 1.55 3.47
csp/jobShop-enddr2/normalized-enddr2-10-by-5-3.xml Job-Shop 3.52 1.57 3.57
csp/jobShop-enddr2/normalized-enddr2-10-by-5-4.xml Job-Shop 3.62 1.56 3.68
csp/jobShop-enddr2/normalized-enddr2-10-by-5-5.xml Job-Shop 3.53 1.58 3.68
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-10.xml Job-Shop 3.64 1.57 3.67
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-1.xml Job-Shop 3.52 1.57 3.62
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-2.xml Job-Shop 3.39 1.55 3.44
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-3.xml Job-Shop 3.50 1.57 3.52
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-4.xml Job-Shop 3.55 1.55 3.51
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-5.xml Job-Shop 3.70 1.61 3.60
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-6.xml Job-Shop 3.60 1.54 3.67
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-7.xml Job-Shop 3.58 1.54 3.54
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-8.xml Job-Shop 3.54 1.56 3.53
csp/jobShop-ewddr2/normalized-ewddr2-10-by-5-9.xml Job-Shop 3.42 1.57 3.67
csp/js-taillard-15/normalized-js-taillard-15-100-1.xml Job-Shop 37.54 103.37 37.62
csp/js-taillard-15/normalized-js-taillard-15-100-4.xml Job-Shop 39.60 335.63 40.01
csp/js-taillard-15/normalized-js-taillard-15-100-5.xml Job-Shop 288.64 TO 290.36
csp/js-taillard-15/normalized-js-taillard-15-100-6.xml Job-Shop 37.79 115.29 37.87
csp/js-taillard-15/normalized-js-taillard-15-100-7.xml Job-Shop 116.92 120.89 116.97
csp/js-taillard-15/normalized-js-taillard-15-105-0.xml Job-Shop 34.39 8.07 34.45
csp/js-taillard-15/normalized-js-taillard-15-105-4.xml Job-Shop 36.44 17.46 36.78
csp/js-taillard-15/normalized-js-taillard-15-105-8.xml Job-Shop 37.98 13.25 38.79
csp/js-taillard-15/normalized-js-taillard-15-95-5.xml Job-Shop 83.13 TO 82.54
csp/js-taillard-15/normalized-js-taillard-15-95-8.xml Job-Shop 27.40 23.19 27.80
csp/js-taillard-20-15/normalized-js-taillard-20-15-100-0.xml Job-Shop TO TO TO
csp/js-taillard-20-15/normalized-js-taillard-20-15-100-6.xml Job-Shop 181.59 TO 179.74
csp/js-taillard-20-15/normalized-js-taillard-20-15-100-8.xml Job-Shop TO TO TO
csp/js-taillard-20-15/normalized-js-taillard-20-15-100-9.xml Job-Shop 276.35 TO 275.41
csp/js-taillard-20-15/normalized-js-taillard-20-15-105-0.xml Job-Shop 95.67 878.56 95.52
csp/js-taillard-20-15/normalized-js-taillard-20-15-105-1.xml Job-Shop 101.38 474.67 99.64
csp/js-taillard-20-15/normalized-js-taillard-20-15-105-2.xml Job-Shop 91.38 37.40 91.31
csp/js-taillard-20-15/normalized-js-taillard-20-15-95-3.xml Job-Shop TO TO TO
csp/js-taillard-20-15/normalized-js-taillard-20-15-95-4.xml Job-Shop TO TO TO
csp/js-taillard-20-15/normalized-js-taillard-20-15-95-7.xml Job-Shop TO TO TO
csp/js-taillard-20/normalized-js-taillard-20-100-0.xml Job-Shop TO TO TO
csp/js-taillard-20/normalized-js-taillard-20-100-5.xml Job-Shop TO TO TO
csp/js-taillard-20/normalized-js-taillard-20-100-8.xml Job-Shop TO TO TO
csp/js-taillard-20/normalized-js-taillard-20-105-3.xml Job-Shop 106.43 90.93 107.22
csp/js-taillard-20/normalized-js-taillard-20-105-7.xml Job-Shop 100.63 407.87 100.47
csp/js-taillard-20/normalized-js-taillard-20-105-8.xml Job-Shop 94.19 249.69 95.48
csp/js-taillard-20/normalized-js-taillard-20-105-9.xml Job-Shop 99.76 241.88 100.10
csp/js-taillard-20/normalized-js-taillard-20-95-3.xml Job-Shop 407.69 TO 408.81
csp/js-taillard-20/normalized-js-taillard-20-95-4.xml Job-Shop 179.13 TO 177.44
csp/js-taillard-20/normalized-js-taillard-20-95-5.xml Job-Shop TO TO TO
csp/knights/normalized-knights-100-9.xml Knights TO 11.80 10.98
csp/knights/normalized-knights-12-5.xml Knights 1.09 0.85 1.05
csp/knights/normalized-knights-12-9.xml Knights 23.50 1.12 23.53
csp/knights/normalized-knights-15-5.xml Knights 1.22 0.87 1.20
csp/knights/normalized-knights-20-5.xml Knights 1.50 0.92 1.49
csp/knights/normalized-knights-25-9.xml Knights 237.34 1.75 236.80
csp/knights/normalized-knights-50-25.xml Knights TO 67.98 TO
csp/knights/normalized-knights-50-5.xml Knights 4.00 1.18 4.06
csp/knights/normalized-knights-50-9.xml Knights 248.98 3.55 250.24
csp/knights/normalized-knights-80-9.xml Knights TO 7.18 6.81
csp/langford2/normalized-langford-2-10.xml Langford 3.98 34.01 3.95
csp/langford2/normalized-langford-2-12.xml Langford 1.52 1.44 1.49
csp/langford2/normalized-langford-2-13.xml Langford TO TO TO
csp/langford2/normalized-langford-2-14.xml Langford TO TO TO
csp/langford2/normalized-langford-2-15.xml Langford 2.10 2.01 2.11
csp/langford2/normalized-langford-2-18.xml Langford TO TO TO
csp/langford2/normalized-langford-2-20.xml Langford 3.41 2.55 3.39
csp/langford2/normalized-langford-2-21.xml Langford TO TO TO
csp/langford2/normalized-langford-2-30.xml Langford TO TO TO
csp/langford2/normalized-langford-2-3.xml Langford 0.69 0.74 0.68
csp/langford2/normalized-langford-2-40.xml Langford 12.59 6.84 12.87
csp/langford2/normalized-langford-2-5.xml Langford 0.77 0.83 0.79
csp/langford2/normalized-langford-2-7.xml Langford 0.88 0.97 0.91
csp/langford2/normalized-langford-2-8.xml Langford 1.05 1.07 1.04
csp/langford2/normalized-langford-2-9.xml Langford 1.45 4.27 1.43
csp/langford3/normalized-langford-3-11.xml Langford 3.95 56.17 3.89
csp/langford3/normalized-langford-3-12.xml Langford 18.37 252.17 18.29
csp/langford3/normalized-langford-3-13.xml Langford 193.27 TO 193.96
csp/langford3/normalized-langford-3-16.xml Langford TO TO TO
csp/langford3/normalized-langford-3-17.xml Langford 6.98 38.00 7.27
csp/langford3/normalized-langford-3-19.xml Langford 6.59 82.71 6.53
csp/langford3/normalized-langford-3-20.xml Langford TO TO TO
csp/langford3/normalized-langford-3-21.xml Langford TO TO TO
csp/langford3/normalized-langford-3-25.xml Langford TO TO TO
csp/langford3/normalized-langford-3-40.xml Langford TO TO TO
csp/langford3/normalized-langford-3-4.xml Langford 0.81 0.86 0.81
csp/langford3/normalized-langford-3-5.xml Langford 0.90 0.97 0.91
csp/langford3/normalized-langford-3-9.xml Langford 1.58 1.63 1.61
csp/langford4/normalized-langford-4-11.xml Langford 3.80 7.31 3.95
csp/langford4/normalized-langford-4-12.xml Langford 5.59 24.62 5.73
csp/langford4/normalized-langford-4-13.xml Langford 11.91 97.92 12.06
csp/langford4/normalized-langford-4-14.xml Langford 50.29 TO 50.11
csp/langford4/normalized-langford-4-15.xml Langford 463.96 TO 465.28
csp/langford4/normalized-langford-4-16.xml Langford TO TO TO
csp/langford4/normalized-langford-4-17.xml Langford TO TO TO
csp/langford4/normalized-langford-4-20.xml Langford TO TO TO
csp/langford4/normalized-langford-4-21.xml Langford TO TO TO
csp/langford4/normalized-langford-4-25.xml Langford TO TO TO
csp/langford4/normalized-langford-4-30.xml Langford TO TO TO
csp/langford4/normalized-langford-4-3.xml Langford 0.50 0.53 0.51
csp/langford4/normalized-langford-4-4.xml Langford 0.91 0.96 0.91
csp/langford4/normalized-langford-4-6.xml Langford 1.30 1.32 1.30
csp/langford4/normalized-langford-4-8.xml Langford 1.96 1.99 1.96
csp/largeQueens/normalized-queens-1000.xml Queens UNK TO UNK
csp/largeQueens/normalized-queens-300.xml Queens TO 395.79 TO
csp/largeQueens/normalized-queens-400.xml Queens UNK TO UNK
csp/largeQueens/normalized-queens-500.xml Queens UNK TO UNK
csp/largeQueens/normalized-queens-800.xml Queens UNK TO UNK
csp/latinSquare/normalized-latinSquare-dg-10_all.xml Latin Square 3.66 TO 3.82
csp/latinSquare/normalized-latinSquare-dg-11_all.xml Latin Square TO TO TO
csp/latinSquare/normalized-latinSquare-dg-12_all.xml Latin Square 5.74 TO 5.76
csp/latinSquare/normalized-latinSquare-dg-3_all.xml Latin Square 0.74 0.83 0.76
csp/latinSquare/normalized-latinSquare-dg-4_all.xml Latin Square 0.87 0.93 0.87
csp/latinSquare/normalized-latinSquare-dg-5_all.xml Latin Square 1.13 1.23 1.16
csp/latinSquare/normalized-latinSquare-dg-6_all.xml Latin Square 1.43 1.53 1.41
csp/latinSquare/normalized-latinSquare-dg-7_all.xml Latin Square 1.90 1.89 1.91
csp/latinSquare/normalized-latinSquare-dg-8_all.xml Latin Square 2.41 TO 2.35
csp/latinSquare/normalized-latinSquare-dg-9_all.xml Latin Square 2.92 TO 3.06
csp/magicSquare/normalized-magicSquare-10_glb.xml Magic Square 436.98 75.41 75.31
csp/magicSquare/normalized-magicSquare-11_glb.xml Magic Square 932.91 106.51 96.22
csp/magicSquare/normalized-magicSquare-12_glb.xml Magic Square TO 73.05 61.38
csp/magicSquare/normalized-magicSquare-13_glb.xml Magic Square UNK 107.32 107.64
csp/magicSquare/normalized-magicSquare-14_glb.xml Magic Square UNK 127.13 124.77
csp/magicSquare/normalized-magicSquare-15_glb.xml Magic Square UNK TO TO
csp/magicSquare/normalized-magicSquare-16_glb.xml Magic Square UNK 896.27 730.28
csp/magicSquare/normalized-magicSquare-17_glb.xml Magic Square UNK TO TO
csp/magicSquare/normalized-magicSquare-18_glb.xml Magic Square UNK TO TO
csp/magicSquare/normalized-magicSquare-19_glb.xml Magic Square UNK TO TO
csp/magicSquare/normalized-magicSquare-20_glb.xml Magic Square UNK TO TO
csp/magicSquare/normalized-magicSquare-3_glb.xml Magic Square 0.82 0.85 0.87
csp/magicSquare/normalized-magicSquare-4_glb.xml Magic Square 1.69 1.05 1.76
csp/magicSquare/normalized-magicSquare-5_glb.xml Magic Square 4.63 1.51 1.46
csp/magicSquare/normalized-magicSquare-6_glb.xml Magic Square 12.84 2.35 2.16
csp/magicSquare/normalized-magicSquare-7_glb.xml Magic Square 36.08 3.40 3.32
csp/magicSquare/normalized-magicSquare-8_glb.xml Magic Square 89.11 10.57 10.39
csp/magicSquare/normalized-magicSquare-9_glb.xml Magic Square 224.83 68.09 67.42
csp/mknap/normalized-mknap-1-0.xml Multi Knapsack 0.66 0.74 0.67
csp/mknap/normalized-mknap-1-2.xml Multi Knapsack 3.06 0.82 0.75
csp/mknap/normalized-mknap-1-3.xml Multi Knapsack 6.41 0.88 0.83
csp/mknap/normalized-mknap-1-4.xml Multi Knapsack 21.40 1.03 0.92
csp/mknap/normalized-mknap-1-5.xml Multi Knapsack TO 1.42 1.32
csp/mknap/normalized-mknap-1-6.xml Multi Knapsack UNK 92.94 92.34
csp/nengfa/normalized-color.xml NengFa 13.79 TO 12.91
csp/nengfa/normalized-protein.xml NengFa 19.64 4.94 20.14
csp/nengfa/normalized-queens1.xml NengFa 66.12 33.68 66.27
csp/nengfa/normalized-queens2.xml NengFa 84.42 75.68 82.67
csp/nengfa/normalized-radi.xml NengFa 3.18 1.97 2.02
csp/nengfa/normalized-route.xml NengFa 8.88 9.22 8.95
csp/nengfa/normalized-schur.xml NengFa 7.33 15.57 7.68
csp/os-gp/normalized-gp10-01-1092.xml Open-Shop 53.63 4.60 54.15
csp/os-gp/normalized-gp10-01-1093.xml Open-Shop 53.79 4.24 53.82
csp/os-gp/normalized-gp10-02-1097.xml Open-Shop 53.10 3.89 54.17
csp/os-gp/normalized-gp10-03-1081.xml Open-Shop 53.34 5.46 53.31
csp/os-gp/normalized-gp10-04-1076.xml Open-Shop 52.60 4.03 52.09
csp/os-gp/normalized-gp10-05-1070.xml Open-Shop 55.75 5.99 55.15
csp/os-gp/normalized-gp10-05-1071.xml Open-Shop 52.28 5.77 52.03
csp/os-gp/normalized-gp10-06-1070.xml Open-Shop 52.07 3.99 52.10
csp/os-gp/normalized-gp10-06-1071.xml Open-Shop 52.00 3.87 51.97
csp/os-gp/normalized-gp10-07-1078.xml Open-Shop 52.08 4.17 52.34
csp/os-gp/normalized-gp10-07-1079.xml Open-Shop 52.47 4.19 52.44
csp/os-gp/normalized-gp10-08-1092.xml Open-Shop 53.32 3.98 52.99
csp/os-gp/normalized-gp10-08-1093.xml Open-Shop 53.25 3.89 53.36
csp/os-gp/normalized-gp10-09-1111.xml Open-Shop 54.34 3.72 54.23
csp/os-gp/normalized-gp10-10-1091.xml Open-Shop 52.97 3.76 52.93
csp/os-taillard-10/normalized-os-taillard-10-100-1.xml Open-Shop 30.38 37.03 30.52
csp/os-taillard-10/normalized-os-taillard-10-100-5.xml Open-Shop 28.19 16.37 28.18
csp/os-taillard-10/normalized-os-taillard-10-100-7.xml Open-Shop 30.83 26.97 31.12
csp/os-taillard-10/normalized-os-taillard-10-105-0.xml Open-Shop 35.46 9.54 34.78
csp/os-taillard-10/normalized-os-taillard-10-105-2.xml Open-Shop 32.86 7.07 32.73
csp/os-taillard-10/normalized-os-taillard-10-105-5.xml Open-Shop 30.12 5.61 29.63
csp/os-taillard-10/normalized-os-taillard-10-95-0.xml Open-Shop 86.36 TO 86.27
csp/os-taillard-10/normalized-os-taillard-10-95-1.xml Open-Shop 33.88 21.80 34.13
csp/os-taillard-10/normalized-os-taillard-10-95-4.xml Open-Shop 87.07 395.23 87.03
csp/os-taillard-10/normalized-os-taillard-10-95-7.xml Open-Shop 33.77 37.37 33.58
csp/os-taillard-15/normalized-os-taillard-15-100-2.xml Open-Shop 156.31 TO 154.85
csp/os-taillard-15/normalized-os-taillard-15-100-3.xml Open-Shop 167.76 TO 168.39
csp/os-taillard-15/normalized-os-taillard-15-100-7.xml Open-Shop 159.71 666.13 160.09
csp/os-taillard-15/normalized-os-taillard-15-105-0.xml Open-Shop 183.22 21.87 182.90
csp/os-taillard-15/normalized-os-taillard-15-105-3.xml Open-Shop 179.69 41.20 179.94
csp/os-taillard-15/normalized-os-taillard-15-105-6.xml Open-Shop 176.46 23.06 176.47
csp/os-taillard-15/normalized-os-taillard-15-105-8.xml Open-Shop 182.06 55.07 181.13
csp/os-taillard-15/normalized-os-taillard-15-105-9.xml Open-Shop 176.14 44.40 178.14
csp/os-taillard-15/normalized-os-taillard-15-95-2.xml Open-Shop TO TO TO
csp/os-taillard-15/normalized-os-taillard-15-95-3.xml Open-Shop TO TO TO
csp/os-taillard-20/normalized-os-taillard-20-100-3.xml Open-Shop 534.63 TO 535.85
csp/os-taillard-20/normalized-os-taillard-20-100-6.xml Open-Shop 553.99 TO 561.66
csp/os-taillard-20/normalized-os-taillard-20-100-9.xml Open-Shop 523.28 TO 525.08
csp/os-taillard-20/normalized-os-taillard-20-105-0.xml Open-Shop 523.21 TO 523.95
csp/os-taillard-20/normalized-os-taillard-20-105-2.xml Open-Shop 561.63 TO 557.16
csp/os-taillard-20/normalized-os-taillard-20-105-3.xml Open-Shop 564.78 TO 572.52
csp/os-taillard-20/normalized-os-taillard-20-105-8.xml Open-Shop 570.14 TO 572.67
csp/os-taillard-20/normalized-os-taillard-20-105-9.xml Open-Shop 551.65 TO 552.50
csp/os-taillard-20/normalized-os-taillard-20-95-2.xml Open-Shop TO TO TO
csp/os-taillard-20/normalized-os-taillard-20-95-4.xml Open-Shop TO TO TO
csp/os-taillard-4/normalized-os-taillard-4-100-1.xml Open-Shop 1.73 0.91 1.54
csp/os-taillard-4/normalized-os-taillard-4-100-4.xml Open-Shop 1.66 0.91 1.63
csp/os-taillard-4/normalized-os-taillard-4-100-5.xml Open-Shop 1.37 0.91 1.36
csp/os-taillard-4/normalized-os-taillard-4-100-9.xml Open-Shop 1.48 0.93 1.45
csp/os-taillard-4/normalized-os-taillard-4-105-0.xml Open-Shop 1.45 0.91 1.39
csp/os-taillard-4/normalized-os-taillard-4-105-7.xml Open-Shop 1.47 0.91 1.43
csp/os-taillard-4/normalized-os-taillard-4-105-8.xml Open-Shop 1.61 0.91 1.58
csp/os-taillard-4/normalized-os-taillard-4-95-0.xml Open-Shop 1.31 0.91 1.32
csp/os-taillard-4/normalized-os-taillard-4-95-4.xml Open-Shop 1.58 0.90 1.56
csp/os-taillard-4/normalized-os-taillard-4-95-5.xml Open-Shop 1.30 0.89 1.29
csp/os-taillard-5/normalized-os-taillard-5-100-1.xml Open-Shop 2.51 1.11 2.43
csp/os-taillard-5/normalized-os-taillard-5-100-4.xml Open-Shop 2.81 1.19 2.76
csp/os-taillard-5/normalized-os-taillard-5-100-8.xml Open-Shop 2.98 1.17 2.96
csp/os-taillard-5/normalized-os-taillard-5-100-9.xml Open-Shop 2.81 1.15 2.84
csp/os-taillard-5/normalized-os-taillard-5-105-8.xml Open-Shop 2.98 1.14 2.97
csp/os-taillard-5/normalized-os-taillard-5-95-1.xml Open-Shop 2.36 1.08 2.39
csp/os-taillard-5/normalized-os-taillard-5-95-2.xml Open-Shop 2.54 1.11 2.59
csp/os-taillard-5/normalized-os-taillard-5-95-3.xml Open-Shop 2.49 1.08 2.54
csp/os-taillard-5/normalized-os-taillard-5-95-5.xml Open-Shop 2.60 1.10 2.65
csp/os-taillard-5/normalized-os-taillard-5-95-8.xml Open-Shop 2.74 1.11 2.80
csp/os-taillard-7/normalized-os-taillard-7-100-7.xml Open-Shop 7.67 2.35 7.70
csp/os-taillard-7/normalized-os-taillard-7-100-9.xml Open-Shop 7.23 1.92 7.21
csp/os-taillard-7/normalized-os-taillard-7-105-1.xml Open-Shop 8.69 1.91 8.32
csp/os-taillard-7/normalized-os-taillard-7-105-2.xml Open-Shop 8.60 2.88 8.61
csp/os-taillard-7/normalized-os-taillard-7-105-4.xml Open-Shop 7.85 1.99 7.88
csp/os-taillard-7/normalized-os-taillard-7-105-7.xml Open-Shop 8.01 1.86 8.03
csp/os-taillard-7/normalized-os-taillard-7-95-1.xml Open-Shop 7.43 1.92 7.34
csp/os-taillard-7/normalized-os-taillard-7-95-2.xml Open-Shop 7.73 1.89 7.74
csp/os-taillard-7/normalized-os-taillard-7-95-6.xml Open-Shop 7.09 4.37 7.12
csp/os-taillard-7/normalized-os-taillard-7-95-8.xml Open-Shop 7.61 2.13 7.78
csp/pigeons_glb/normalized-pigeons-10_ext.xml Pigeons 0.43 0.48 0.44
csp/pigeons_glb/normalized-pigeons-11_ext.xml Pigeons 0.45 0.48 0.44
csp/pigeons_glb/normalized-pigeons-12_ext.xml Pigeons 0.44 0.49 0.45
csp/pigeons_glb/normalized-pigeons-13_ext.xml Pigeons 0.46 0.50 0.46
csp/pigeons_glb/normalized-pigeons-14_ext.xml Pigeons 0.46 0.49 0.46
csp/pigeons_glb/normalized-pigeons-15_ext.xml Pigeons 0.46 0.51 0.47
csp/pigeons_glb/normalized-pigeons-18_ext.xml Pigeons 0.49 0.53 0.49
csp/pigeons_glb/normalized-pigeons-20_ext.xml Pigeons 0.51 0.54 0.51
csp/pigeons_glb/normalized-pigeons-25_ext.xml Pigeons 0.55 0.57 0.58
csp/pigeons_glb/normalized-pigeons-30_ext.xml Pigeons 0.61 0.64 0.61
csp/pigeons_glb/normalized-pigeons-35_ext.xml Pigeons 0.71 0.70 0.70
csp/pigeons_glb/normalized-pigeons-40_ext.xml Pigeons 0.79 0.82 0.75
csp/pigeons_glb/normalized-pigeons-45_ext.xml Pigeons 0.87 0.85 0.85
csp/pigeons_glb/normalized-pigeons-50_ext.xml Pigeons 0.87 0.89 0.91
csp/pigeons_glb/normalized-pigeons-5_ext.xml Pigeons 0.42 0.45 0.42
csp/pigeons_glb/normalized-pigeons-6_ext.xml Pigeons 0.42 0.45 0.42
csp/pigeons_glb/normalized-pigeons-7_ext.xml Pigeons 0.43 0.46 0.42
csp/pigeons_glb/normalized-pigeons-8_ext.xml Pigeons 0.43 0.47 0.42
csp/pigeons_glb/normalized-pigeons-9_ext.xml Pigeons 0.43 0.47 0.43
csp/pigeons/normalized-pigeons-11.xml Pigeons 1.92 4.39 1.87
csp/pigeons/normalized-pigeons-16.xml Pigeons TO TO TO
csp/pigeons/normalized-pigeons-18.xml Pigeons TO TO TO
csp/pigeons/normalized-pigeons-20-ord.xml Pigeons 1.68 1.47 1.60
csp/pigeons/normalized-pigeons-25.xml Pigeons TO TO TO
csp/pigeons/normalized-pigeons-30.xml Pigeons TO TO TO
csp/pigeons/normalized-pigeons-35.xml Pigeons TO TO TO
csp/pigeons/normalized-pigeons-45.xml Pigeons TO TO TO
csp/pigeons/normalized-pigeons-8.xml Pigeons 0.75 0.80 0.74
csp/pigeons/normalized-pigeons-9.xml Pigeons 0.89 0.89 0.82
csp/primes-10/normalized-primes-10-20-2-3.xml Primes 5.27 0.96 1.58
csp/primes-10/normalized-primes-10-20-2-5.xml Primes 155.40 1.12 1.18
csp/primes-10/normalized-primes-10-20-2-7.xml Primes 672.48 1.53 1.54
csp/primes-10/normalized-primes-10-20-3-1.xml Primes 2.53 0.94 1.97
csp/primes-10/normalized-primes-10-20-3-3.xml Primes 56.93 1.05 1.09
csp/primes-10/normalized-primes-10-20-3-7.xml Primes 896.71 1.74 1.65
csp/primes-10/normalized-primes-10-40-2-3.xml Primes 4.51 1.06 3.54
csp/primes-10/normalized-primes-10-40-2-5.xml Primes 141.03 1.23 1.36
csp/primes-10/normalized-primes-10-40-2-7.xml Primes TO 7.42 10.44
csp/primes-10/normalized-primes-10-60-2-1.xml Primes 1.06 0.93 0.96
csp/primes-10/normalized-primes-10-60-3-1.xml Primes 2.54 1.13 5.58
csp/primes-10/normalized-primes-10-60-3-3.xml Primes 156.24 1.67 1.92
csp/primes-10/normalized-primes-10-80-2-3.xml Primes 0.95 0.99 0.96
csp/primes-10/normalized-primes-10-80-3-1.xml Primes 0.94 1.02 0.97
csp/primes-10/normalized-primes-10-80-3-3.xml Primes 151.91 1.75 1.90
csp/primes-15/normalized-primes-15-20-2-1.xml Primes 1.02 0.88 1.04
csp/primes-15/normalized-primes-15-20-2-3.xml Primes 23.40 1.07 2.27
csp/primes-15/normalized-primes-15-20-2-7.xml Primes UNK 2.19 2.32
csp/primes-15/normalized-primes-15-20-3-3.xml Primes TO 1.28 1.34
csp/primes-15/normalized-primes-15-20-3-7.xml Primes UNK 2.56 2.58
csp/primes-15/normalized-primes-15-40-2-1.xml Primes 0.97 0.93 0.98
csp/primes-15/normalized-primes-15-40-2-3.xml Primes 10.34 1.17 3.25
csp/primes-15/normalized-primes-15-40-2-5.xml Primes 416.92 1.24 4.05
csp/primes-15/normalized-primes-15-40-2-7.xml Primes UNK TO 256.49
csp/primes-15/normalized-primes-15-60-2-3.xml Primes 0.97 0.99 1.00
csp/primes-15/normalized-primes-15-60-3-1.xml Primes 1.04 0.97 1.05
csp/primes-15/normalized-primes-15-60-3-3.xml Primes TO 2.16 2.13
csp/primes-15/normalized-primes-15-60-3-7.xml Primes UNK TO TO
csp/primes-15/normalized-primes-15-80-2-1.xml Primes 0.97 0.97 0.93
csp/primes-15/normalized-primes-15-80-2-7.xml Primes 342.49 1.74 2.26
csp/primes-15/normalized-primes-15-80-3-7.xml Primes UNK 6.86 7.37
csp/primes-20/normalized-primes-20-20-2-1.xml Primes 1.41 0.88 1.30
csp/primes-20/normalized-primes-20-20-2-5.xml Primes UNK 1.87 2.06
csp/primes-20/normalized-primes-20-20-2-7.xml Primes UNK 3.53 3.42
csp/primes-20/normalized-primes-20-20-3-1.xml Primes 8.43 1.14 4.57
csp/primes-20/normalized-primes-20-20-3-7.xml Primes UNK 4.24 4.42
csp/primes-20/normalized-primes-20-40-2-1.xml Primes 1.20 0.95 1.19
csp/primes-20/normalized-primes-20-40-2-5.xml Primes UNK 1.94 4.10
csp/primes-20/normalized-primes-20-40-2-7.xml Primes UNK 514.59 867.70
csp/primes-20/normalized-primes-20-40-3-7.xml Primes UNK TO TO
csp/primes-20/normalized-primes-20-60-2-1.xml Primes 0.99 0.94 0.98
csp/primes-20/normalized-primes-20-80-2-1.xml Primes 0.96 0.96 0.96
csp/primes-20/normalized-primes-20-80-2-5.xml Primes 1.03 1.07 1.02
csp/primes-20/normalized-primes-20-80-2-7.xml Primes 1.16 1.30 1.20
csp/primes-20/normalized-primes-20-80-3-5.xml Primes UNK 54.53 54.02
csp/primes-20/normalized-primes-20-80-3-7.xml Primes UNK 13.55 20.18
csp/primes-25/normalized-primes-25-20-2-5.xml Primes UNK 2.21 2.42
csp/primes-25/normalized-primes-25-20-3-5.xml Primes UNK 2.85 5.59
csp/primes-25/normalized-primes-25-20-3-7.xml Primes UNK 5.11 5.01
csp/primes-25/normalized-primes-25-40-2-1.xml Primes 1.34 0.97 1.32
csp/primes-25/normalized-primes-25-40-2-3.xml Primes 214.15 1.75 3.10
csp/primes-25/normalized-primes-25-40-2-7.xml Primes UNK 140.62 121.54
csp/primes-25/normalized-primes-25-40-3-1.xml Primes 21.07 1.55 7.86
csp/primes-25/normalized-primes-25-40-3-3.xml Primes UNK 573.22 670.86
csp/primes-25/normalized-primes-25-40-3-5.xml Primes UNK TO TO
csp/primes-25/normalized-primes-25-40-3-7.xml Primes UNK TO TO
csp/primes-25/normalized-primes-25-60-2-7.xml Primes UNK 9.32 11.08
csp/primes-25/normalized-primes-25-80-2-1.xml Primes 0.98 0.96 0.98
csp/primes-25/normalized-primes-25-80-2-5.xml Primes 1.12 1.16 1.10
csp/primes-25/normalized-primes-25-80-3-5.xml Primes UNK 37.77 37.52
csp/primes-25/normalized-primes-25-80-3-7.xml Primes UNK 44.35 178.94
csp/primes-30/normalized-primes-30-20-2-3.xml Primes 175.82 1.47 2.35
csp/primes-30/normalized-primes-30-20-2-5.xml Primes UNK 2.35 2.51
csp/primes-30/normalized-primes-30-40-2-3.xml Primes 106.35 2.66 7.88
csp/primes-30/normalized-primes-30-40-3-5.xml Primes UNK TO TO
csp/primes-30/normalized-primes-30-60-2-3.xml Primes 1.17 1.16 1.18
csp/primes-30/normalized-primes-30-60-2-5.xml Primes 1.14 1.12 1.15
csp/primes-30/normalized-primes-30-60-2-7.xml Primes UNK 9.31 11.61
csp/primes-30/normalized-primes-30-60-3-1.xml Primes 17.42 1.74 5.52
csp/primes-30/normalized-primes-30-60-3-5.xml Primes UNK TO TO
csp/primes-30/normalized-primes-30-80-2-3.xml Primes 0.98 1.01 0.97
csp/primes-30/normalized-primes-30-80-2-5.xml Primes 1.02 1.05 1.03
csp/primes-30/normalized-primes-30-80-2-7.xml Primes 1.21 1.23 1.21
csp/primes-30/normalized-primes-30-80-3-1.xml Primes 1.06 1.05 1.05
csp/primes-30/normalized-primes-30-80-3-3.xml Primes UNK 5.89 5.98
csp/primes-30/normalized-primes-30-80-3-7.xml Primes UNK 27.41 44.51
csp/queensKnights/normalized-queensKnights-100-5-add.xml Queens 83.51 21.38 73.67
csp/queensKnights/normalized-queensKnights-100-5-mul.xml Queens 88.84 21.97 88.92
csp/queensKnights/normalized-queensKnights-10-5-add.xml Queens 1.33 1.22 1.33
csp/queensKnights/normalized-queensKnights-10-5-mul.xml Queens 1.43 1.37 1.53
csp/queensKnights/normalized-queensKnights-15-5-add.xml Queens 1.92 1.62 1.89
csp/queensKnights/normalized-queensKnights-20-5-mul.xml Queens 3.21 2.29 3.28
csp/queensKnights/normalized-queensKnights-50-5-add.xml Queens 15.24 7.26 15.05
csp/queensKnights/normalized-queensKnights-50-5-mul.xml Queens 16.20 6.99 16.60
csp/queensKnights/normalized-queensKnights-80-5-mul.xml Queens 47.78 15.23 49.72
csp/queensKnights/normalized-queensKnights-8-5-add.xml Queens 1.06 0.99 1.05
csp/queens/normalized-queens-10.xml Queens 1.04 1.01 1.00
csp/queens/normalized-queens-12.xml Queens 1.17 1.19 1.20
csp/queens/normalized-queens-150.xml Queens 253.71 136.05 251.06
csp/queens/normalized-queens-15.xml Queens 1.46 1.40 1.47
csp/queens/normalized-queens-180.xml Queens 399.54 245.03 402.03
csp/queens/normalized-queens-200.xml Queens 548.52 219.08 551.27
csp/queens/normalized-queens-20.xml Queens 2.25 1.95 2.24
csp/queens/normalized-queens-30.xml Queens 4.57 2.99 4.46
csp/queens/normalized-queens-4.xml Queens 0.67 0.72 0.67
csp/queens/normalized-queens-80.xml Queens 39.13 23.31 40.50
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-0.xml Rader Surveillance 2.34 2.01 1.90
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-10.xml Rader Surveillance 2.39 2.03 1.83
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-11.xml Rader Surveillance 2.38 2.09 1.85
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-13.xml Rader Surveillance 2.40 1.94 1.79
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-14.xml Rader Surveillance 2.26 1.93 1.70
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-15.xml Rader Surveillance 2.24 2.02 1.89
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-16.xml Rader Surveillance 2.39 1.97 1.83
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-17.xml Rader Surveillance 2.34 1.99 1.85
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-20.xml Rader Surveillance 2.41 2.07 1.85
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-21.xml Rader Surveillance 2.41 2.10 1.83
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-27.xml Rader Surveillance 2.51 2.10 1.89
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-35.xml Rader Surveillance 2.44 2.04 1.89
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-36.xml Rader Surveillance 2.36 1.99 1.78
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-38.xml Rader Surveillance 2.50 2.14 1.93
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-39.xml Rader Surveillance 2.34 1.93 1.79
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-40.xml Rader Surveillance 2.40 2.05 1.85
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-42.xml Rader Surveillance 2.28 2.05 1.76
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-43.xml Rader Surveillance 2.41 2.04 1.85
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-47.xml Rader Surveillance 2.46 1.98 1.73
csp/radar-8-24-3-2/normalized-radar-8-24-3-2-9.xml Rader Surveillance 2.33 2.03 1.83
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-13.xml Rader Surveillance 2.93 2.24 1.99
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-15.xml Rader Surveillance 2.92 2.25 1.99
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-16.xml Rader Surveillance 3.07 2.31 1.99
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-17.xml Rader Surveillance 3.19 2.29 1.99
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-18.xml Rader Surveillance 2.98 2.27 2.06
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-19.xml Rader Surveillance 2.92 2.26 2.01
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-20.xml Rader Surveillance 3.38 2.30 2.11
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-21.xml Rader Surveillance 3.16 2.24 2.05
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-23.xml Rader Surveillance 3.08 2.21 2.06
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-26.xml Rader Surveillance 3.31 2.28 2.00
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-27.xml Rader Surveillance 3.22 2.28 2.03
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-28.xml Rader Surveillance 2.88 2.22 2.01
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-29.xml Rader Surveillance 3.16 2.21 2.01
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-2.xml Rader Surveillance 3.06 2.26 2.01
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-31.xml Rader Surveillance 3.33 2.32 2.07
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-35.xml Rader Surveillance 2.81 2.21 1.99
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-36.xml Rader Surveillance 3.12 2.26 2.00
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-40.xml Rader Surveillance 3.10 2.36 2.02
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-41.xml Rader Surveillance 2.97 2.24 2.03
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-42.xml Rader Surveillance 2.92 2.33 2.05
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-44.xml Rader Surveillance 3.17 2.19 1.98
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-46.xml Rader Surveillance 3.41 2.34 2.05
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-49.xml Rader Surveillance 3.12 2.28 2.09
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-5.xml Rader Surveillance 3.19 2.27 2.08
csp/radar-8-30-3-0/normalized-radar-8-30-3-0-6.xml Rader Surveillance 3.16 2.29 2.11
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-11.xml Rader Surveillance 4.41 2.56 2.23
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-12.xml Rader Surveillance 4.55 2.44 2.26
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-15.xml Rader Surveillance 4.01 2.33 2.07
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-16.xml Rader Surveillance 4.17 2.49 2.23
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-17.xml Rader Surveillance 4.05 2.52 2.32
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-20.xml Rader Surveillance 4.36 2.39 2.15
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-21.xml Rader Surveillance 3.91 2.36 2.16
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-22.xml Rader Surveillance 2.98 1.8 2.03
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-25.xml Rader Surveillance 4.01 2.33 2.17
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-28.xml Rader Surveillance 4.04 2.40 2.12
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-29.xml Rader Surveillance 4.46 2.41 2.19
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-32.xml Rader Surveillance 4.01 2.56 2.26
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-35.xml Rader Surveillance 4.38 2.55 2.31
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-37.xml Rader Surveillance 4.31 2.38 2.10
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-40.xml Rader Surveillance 1.38 1.48 1.44
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-43.xml Rader Surveillance 4.34 2.40 2.05
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-44.xml Rader Surveillance 4.59 2.53 2.23
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-4.xml Rader Surveillance 4.45 2.60 2.31
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-7.xml Rader Surveillance 3.89 2.31 2.14
csp/radar-9-28-4-2/normalized-radar-9-28-4-2-8.xml Rader Surveillance 3.98 2.35 2.09
csp/ramsey3/normalized-ramsey-10-3.xml Ramsey 1.28 1.43 1.27
csp/ramsey3/normalized-ramsey-13-3.xml Ramsey 1.98 2.06 1.95
csp/ramsey3/normalized-ramsey-15-3.xml Ramsey 2.59 2.55 2.55
csp/ramsey3/normalized-ramsey-16-3.xml Ramsey 2.80 2.97 2.73
csp/ramsey3/normalized-ramsey-17-3.xml Ramsey TO TO TO
csp/ramsey3/normalized-ramsey-18-3.xml Ramsey TO TO TO
csp/ramsey3/normalized-ramsey-20-3.xml Ramsey TO TO TO
csp/ramsey3/normalized-ramsey-25-3.xml Ramsey TO TO TO
csp/ramsey4/normalized-ramsey-25-4.xml Ramsey 6.97 6.27 6.89
csp/ramsey4/normalized-ramsey-30-4.xml Ramsey 14.34 9.74 14.54
csp/ramsey4/normalized-ramsey-32-4.xml Ramsey 15.83 18.88 16.17
csp/ramsey4/normalized-ramsey-33-4.xml Ramsey 20.53 31.34 20.38
csp/ramsey4/normalized-ramsey-34-4.xml Ramsey 54.60 22.72 55.65
csp/ramsey4/normalized-ramsey-35-4.xml Ramsey 193.73 372.74 193.53
csp/ramsey4/normalized-ramsey-38-4.xml Ramsey TO TO TO
csp/ramsey4/normalized-ramsey-45-4.xml Ramsey TO TO TO
csp/rcpsp/normalized-rcpsp20-02.xml RCPSP 1.80 1.72 1.49
csp/rcpsp/normalized-rcpsp20-03.xml RCPSP 1.76 1.73 1.49
csp/rcpsp/normalized-rcpsp20-04.xml RCPSP 1.88 1.69 1.51
csp/rcpsp/normalized-rcpsp20-05.xml RCPSP 1.93 1.93 1.78
csp/rcpsp/normalized-rcpsp20-06.xml RCPSP 1.67 1.63 1.42
csp/rcpsp/normalized-rcpsp20-07.xml RCPSP 2.00 1.91 1.57
csp/rcpsp/normalized-rcpsp20-08.xml RCPSP 1.98 1.84 1.54
csp/rcpsp/normalized-rcpsp20-09.xml RCPSP 1.70 1.62 1.41
csp/rcpsp/normalized-rcpsp20-10.xml RCPSP 1.69 1.65 1.44
csp/rcpsp/normalized-rcpsp20-11.xml RCPSP 1.54 1.68 1.44
csp/rcpsp/normalized-rcpsp20-12.xml RCPSP 1.90 1.80 1.55
csp/rcpsp/normalized-rcpsp20-13.xml RCPSP 1.87 1.70 1.51
csp/rcpsp/normalized-rcpsp20-14.xml RCPSP 2.13 1.85 1.53
csp/rcpsp/normalized-rcpsp20-15.xml RCPSP 1.51 1.58 1.35
csp/rcpsp/normalized-rcpsp20-16.xml RCPSP 1.98 1.73 1.59
csp/rcpsp/normalized-rcpsp20-17.xml RCPSP 1.71 1.66 1.45
csp/rcpsp/normalized-rcpsp20-18.xml RCPSP 1.91 1.85 1.55
csp/rcpsp/normalized-rcpsp20-19.xml RCPSP 1.59 1.67 1.40
csp/rcpsp/normalized-rcpsp20-20.xml RCPSP 1.70 1.64 1.44
csp/rcpsp/normalized-rcpsp25-21.xml RCPSP 2.95 2.21 2.03
csp/rcpsp/normalized-rcpsp25-22.xml RCPSP 2.56 2.54 1.95
csp/rcpsp/normalized-rcpsp25-23.xml RCPSP 2.48 2.13 1.82
csp/rcpsp/normalized-rcpsp25-24.xml RCPSP 2.27 1.99 1.80
csp/rcpsp/normalized-rcpsp25-25.xml RCPSP 2.43 2.21 2.01
csp/rcpsp/normalized-rcpsp25-26.xml RCPSP 2.58 2.35 2.16
csp/rcpsp/normalized-rcpsp25-27.xml RCPSP 2.74 2.48 2.13
csp/rcpsp/normalized-rcpsp25-28.xml RCPSP 2.43 2.11 1.83
csp/rcpsp/normalized-rcpsp25-29.xml RCPSP 2.71 2.23 2.05
csp/rcpsp/normalized-rcpsp25-30.xml RCPSP 2.20 2.01 1.74
csp/rcpsp/normalized-rcpsp25-31.xml RCPSP 2.18 2.04 1.89
csp/rcpsp/normalized-rcpsp25-32.xml RCPSP 2.81 2.38 2.33
csp/rcpsp/normalized-rcpsp25-33.xml RCPSP 1.83 1.79 1.68
csp/rcpsp/normalized-rcpsp25-34.xml RCPSP 2.63 2.34 2.15
csp/rcpsp/normalized-rcpsp25-35.xml RCPSP 2.06 1.93 1.81
csp/rcpsp/normalized-rcpsp25-36.xml RCPSP 2.17 1.85 1.73
csp/rcpsp/normalized-rcpsp25-37.xml RCPSP 2.63 2.34 2.02
csp/rcpsp/normalized-rcpsp25-38.xml RCPSP 2.40 2.08 1.83
csp/rcpsp/normalized-rcpsp25-39.xml RCPSP 2.56 2.11 1.87
csp/rcpsp/normalized-rcpsp25-40.xml RCPSP 2.71 2.34 2.15
csp/rcpspTighter/normalized-rcpsptight20-02.xml RCPSP 1.81 1.67 1.48
csp/rcpspTighter/normalized-rcpsptight20-03.xml RCPSP 1.74 1.65 1.45
csp/rcpspTighter/normalized-rcpsptight20-04.xml RCPSP 1.78 1.68 1.43
csp/rcpspTighter/normalized-rcpsptight20-05.xml RCPSP 1.85 1.80 1.57
csp/rcpspTighter/normalized-rcpsptight20-06.xml RCPSP 1.58 1.60 1.40
csp/rcpspTighter/normalized-rcpsptight20-07.xml RCPSP 1.97 1.79 1.52
csp/rcpspTighter/normalized-rcpsptight20-08.xml RCPSP 1.83 1.67 1.48
csp/rcpspTighter/normalized-rcpsptight20-09.xml RCPSP 1.66 1.59 1.41
csp/rcpspTighter/normalized-rcpsptight20-10.xml RCPSP 1.60 1.59 1.46
csp/rcpspTighter/normalized-rcpsptight20-11.xml RCPSP 0.93 0.94 0.92
csp/rcpspTighter/normalized-rcpsptight20-12.xml RCPSP 1.89 1.75 1.53
csp/rcpspTighter/normalized-rcpsptight20-13.xml RCPSP 1.82 1.64 1.49
csp/rcpspTighter/normalized-rcpsptight20-14.xml RCPSP 1.96 1.85 1.59
csp/rcpspTighter/normalized-rcpsptight20-15.xml RCPSP 1.42 1.48 1.30
csp/rcpspTighter/normalized-rcpsptight20-16.xml RCPSP 1.83 1.75 1.57
csp/rcpspTighter/normalized-rcpsptight20-17.xml RCPSP 1.75 1.71 1.48
csp/rcpspTighter/normalized-rcpsptight20-18.xml RCPSP 1.83 1.71 1.54
csp/rcpspTighter/normalized-rcpsptight20-19.xml RCPSP 1.53 1.59 1.39
csp/rcpspTighter/normalized-rcpsptight20-20.xml RCPSP 1.61 1.60 1.38
csp/rcpspTighter/normalized-rcpsptight25-21.xml RCPSP 2.60 2.25 1.93
csp/rcpspTighter/normalized-rcpsptight25-22.xml RCPSP 2.43 2.22 1.97
csp/rcpspTighter/normalized-rcpsptight25-23.xml RCPSP 2.30 2.08 1.79
csp/rcpspTighter/normalized-rcpsptight25-24.xml RCPSP 2.08 2.02 1.75
csp/rcpspTighter/normalized-rcpsptight25-25.xml RCPSP 2.39 2.21 1.96
csp/rcpspTighter/normalized-rcpsptight25-26.xml RCPSP 2.36 2.29 2.05
csp/rcpspTighter/normalized-rcpsptight25-27.xml RCPSP 2.69 2.34 2.11
csp/rcpspTighter/normalized-rcpsptight25-28.xml RCPSP 2.29 2.07 1.84
csp/rcpspTighter/normalized-rcpsptight25-29.xml RCPSP 2.53 2.07 1.91
csp/rcpspTighter/normalized-rcpsptight25-30.xml RCPSP 2.12 2.10 1.72
csp/rcpspTighter/normalized-rcpsptight25-31.xml RCPSP 2.19 2.08 1.80
csp/rcpspTighter/normalized-rcpsptight25-32.xml RCPSP 3.08 2.81 2.40
csp/rcpspTighter/normalized-rcpsptight25-33.xml RCPSP 1.80 1.67 1.60
csp/rcpspTighter/normalized-rcpsptight25-34.xml RCPSP 2.55 2.24 1.98
csp/rcpspTighter/normalized-rcpsptight25-35.xml RCPSP 2.06 1.88 1.76
csp/rcpspTighter/normalized-rcpsptight25-36.xml RCPSP 2.04 1.89 1.71
csp/rcpspTighter/normalized-rcpsptight25-37.xml RCPSP 2.59 2.27 1.82
csp/rcpspTighter/normalized-rcpsptight25-38.xml RCPSP 2.47 2.06 1.89
csp/rcpspTighter/normalized-rcpsptight25-39.xml RCPSP 2.45 2.17 1.88
csp/rcpspTighter/normalized-rcpsptight25-40.xml RCPSP 2.82 2.28 2.14
csp/schurrLemma/normalized-lemma-100-9-mod.xml Schurr's Lemma 8.40 7.09 8.77
csp/schurrLemma/normalized-lemma-12-9-mod.xml Schurr's Lemma 1.02 1.49 1.04
csp/schurrLemma/normalized-lemma-15-9-mod.xml Schurr's Lemma 1.27 1.40 1.23
csp/schurrLemma/normalized-lemma-20-9-mod.xml Schurr's Lemma 1.36 1.50 1.38
csp/schurrLemma/normalized-lemma-23-3.xml Schurr's Lemma 1.16 1.35 1.17
csp/schurrLemma/normalized-lemma-24-3.xml Schurr's Lemma 1.25 1.36 1.25
csp/schurrLemma/normalized-lemma-30-9-mod.xml Schurr's Lemma 1.98 1.88 1.97
csp/schurrLemma/normalized-lemma-50-9-mod.xml Schurr's Lemma 3.78 3.36 3.91
csp/schurrLemma/normalized-lemma-66-4.xml Schurr's Lemma 323.82 TO 324.14
csp/schurrLemma/normalized-lemma-67-4.xml Schurr's Lemma TO TO TO
csp/super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-10.xml Super-solutions 7.43 2.96 7.33
csp/super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-5.xml Super-solutions 7.10 3.17 7.09
csp/super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-7.xml Super-solutions 7.35 2.97 7.28
csp/super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-8.xml Super-solutions 7.24 3.03 7.14
csp/super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-9.xml Super-solutions 52.98 327.97 53.12
csp/super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-1.xml Super-solutions 8.26 3.44 7.80
csp/super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-2.xml Super-solutions 8.35 3.10 8.14
csp/super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-3.xml Super-solutions 9.89 10.21 9.70
csp/super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-5.xml Super-solutions 8.47 3.12 8.39
csp/super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-6.xml Super-solutions 8.67 2.96 8.06
csp/super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-10.xml Super-solutions 7.54 2.97 7.54
csp/super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-2.xml Super-solutions 7.39 3.06 7.62
csp/super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-4.xml Super-solutions 7.33 3.19 7.32
csp/super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-5.xml Super-solutions 7.25 3.11 7.28
csp/super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-7.xml Super-solutions 7.73 2.93 7.33
csp/super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-8.xml Super-solutions 7.79 2.90 7.73
csp/super-jobShop/super-jobShop-enddr2/normalized-super-jobShop-enddr2-3.xml Super-solutions 8.61 4.17 8.33
csp/super-jobShop/super-jobShop-enddr2/normalized-super-jobShop-enddr2-5.xml Super-solutions 8.70 3.02 8.31
csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-10.xml Super-solutions 8.68 3.19 8.62
csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-2.xml Super-solutions 8.65 3.04 8.40
csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-3.xml Super-solutions 8.43 3.22 8.08
csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-5.xml Super-solutions 8.60 3.06 8.56
csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-6.xml Super-solutions 8.52 3.04 8.73
csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-7.xml Super-solutions 9.22 3.10 8.46
csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-8.xml Super-solutions 8.62 2.99 8.59
csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-11.xml Super-solutions 106.25 29.92 105.85
csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-14.xml Super-solutions 136.92 115.81 137.00
csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-17.xml Super-solutions 106.86 57.27 107.04
csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-21.xml Super-solutions 68.06 17.84 68.12
csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-24.xml Super-solutions 66.34 15.32 66.52
csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-27.xml Super-solutions 73.06 14.61 73.74
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-10.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-14.xml Super-solutions 333.80 TO 335.35
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-17.xml Super-solutions 419.11 TO 419.27
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-1.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-21.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-24.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-28.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-2.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-7.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-10.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-12.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-1.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-20.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-21.xml Super-solutions 439.66 350.16 418.52
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-22.xml Super-solutions TO TO TO
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-25.xml Super-solutions 447.20 TO 444.31
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-28.xml Super-solutions 327.48 TO 327.36
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-29.xml Super-solutions 648.05 TO 650.27
csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-5.xml Super-solutions TO TO TO
csp/super-os/super-os-taillard-10/normalized-super-os-taillard-10-8.xml Super-solutions 224.39 TO 224.85
csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-18.xml Super-solutions 495.45 TO 495.92
csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-19.xml Super-solutions 519.68 TO 520.55
csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-22.xml Super-solutions TO TO TO
csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-8.xml Super-solutions 468.55 TO 472.24
csp/super-os/super-os-taillard-20/normalized-super-os-taillard-20-15.xml Super-solutions TO TO TO
csp/super-os/super-os-taillard-20/normalized-super-os-taillard-20-9.xml Super-solutions TO TO TO
csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-13.xml Super-solutions 3.55 1.35 3.36
csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-29.xml Super-solutions 2.85 1.30 2.93
csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-3.xml Super-solutions 3.13 1.30 3.20
csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-4.xml Super-solutions 3.01 1.36 3.00
csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-6.xml Super-solutions 2.54 1.33 2.62
csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-7.xml Super-solutions 2.72 1.33 2.71
csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-13.xml Super-solutions 6.31 2.13 6.22
csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-16.xml Super-solutions 6.19 1.88 6.07
csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-19.xml Super-solutions 6.73 1.85 6.63
csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-23.xml Super-solutions 5.55 1.78 5.56
csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-28.xml Super-solutions 5.36 1.77 5.32
csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-3.xml Super-solutions 6.15 2.05 6.13
csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-1.xml Super-solutions 22.49 4.96 22.51
csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-20.xml Super-solutions 20.74 6.21 20.81
csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-4.xml Super-solutions 22.73 12.33 23.23
csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-6.xml Super-solutions 22.10 5.06 22.05
csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-7.xml Super-solutions 20.98 6.52 21.09
csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-8.xml Super-solutions 21.23 4.61 21.53
csp/super-queens/normalized-super-queens-11.xml Super-solutions 0.74 0.81 0.75
csp/super-queens/normalized-super-queens-12.xml Super-solutions TO TO TO
csp/super-queens/normalized-super-queens-13.xml Super-solutions 1.22 1.31 1.29
csp/super-queens/normalized-super-queens-14.xml Super-solutions TO TO TO
csp/super-queens/normalized-super-queens-1.xml Super-solutions 1.68 2.38 1.66
csp/super-queens/normalized-super-queens-3.xml Super-solutions 6.21 32.15 6.27
csp/super-queens/normalized-super-queens-4.xml Super-solutions TO TO TO
csp/super-queens/normalized-super-queens-7.xml Super-solutions TO TO TO
csp/super-queens/normalized-super-queens-8.xml Super-solutions TO TO TO
csp/super-queens/normalized-super-queens-9.xml Super-solutions TO TO TO
csp/tdsp/normalized-C1-1-21.xml 2D Strip Packing 2.23 1.67 1.95
csp/tdsp/normalized-C1-3-21.xml 2D Strip Packing 1.85 1.65 1.91
csp/tdsp/normalized-C2-3-15.xml 2D Strip Packing 4.60 10.86 4.41
csp/tdsp/normalized-C2-3-16.xml 2D Strip Packing 4.18 2.57 4.37
csp/tdsp/normalized-C3-2-30.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C3-2-31.xml 2D Strip Packing 6.67 3.55 6.87
csp/tdsp/normalized-C3-3-30.xml 2D Strip Packing 142.22 TO 142.34
csp/tdsp/normalized-C4-1-60.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C4-1-61.xml 2D Strip Packing 36.19 168.45 61.29
csp/tdsp/normalized-C4-2-61.xml 2D Strip Packing 18.65 10.06 20.88
csp/tdsp/normalized-C5-1-90.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C5-3-90.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C5-3-91.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C6-1-120.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C6-2-120.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C6-3-121.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C7-1-240.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C7-1-241.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C7-2-241.xml 2D Strip Packing TO TO TO
csp/tdsp/normalized-C7-3-240.xml 2D Strip Packing TO TO TO
csp/QG3/normalized-quasigroup3-4.xml Quasigroup Existence 1.08 1.18 1.02
csp/QG4/normalized-quasigroup4-4.xml Quasigroup Existence 1.03 1.13 1.00
csp/QG5/normalized-quasigroup5-4.xml Quasigroup Existence 0.91 1.02 0.88
csp/QG6/normalized-quasigroup6-4.xml Quasigroup Existence 1.39 1.60 1.38
csp/QG7/normalized-quasigroup7-4.xml Quasigroup Existence 1.31 1.51 1.27
Solved (1002)   773 770 815

Other Evaluations

  • Other Comparison Results are available here.

Author: Takehide Soh

Validate