Skip to content

Commit bfeb074

Browse files
gdragottogdragotto
authored
Results, updated
1 parent a545056 commit bfeb074

File tree

76 files changed

+1212951
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

76 files changed

+1212951
-0
lines changed

‎Results/Polynomials Proofs < 40/Solutions_15.csv‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
OP_Name,Instance,Status,ColorTime,LabellingTime,UsingMIP,UsingPolyColors,Notes,TotalTime,Solution
2+
OP(15),0,Solved,0.0001,0.0200,false,true,OP(3),0.4858,"(\infty, (3,1), (1,2), (4,2), (5,1), (1,1), (5,2), (3,2), (2,1), (4,1), (0,2), (6,2), (6,1), (0,1), (2,2)) "
3+
"OP(3,12)",0,Solved,0.0001,0.0100,false,true,OP(3),0.0472,"(\infty, (0,2), (1,1)) ((2,2), (3,2), (2,1), (4,1), (4,2), (6,2), (3,1), (0,1), (5,2), (1,2), (6,1), (5,1)) "
4+
"OP(11,4)",0,Solved,0.0001,0.0200,false,true,OP(3),0.0217,"(\infty, (1,1), (1,2), (6,2), (4,1), (3,1), (4,2), (0,2), (2,1), (6,1), (5,2)) ((3,2), (2,2), (5,1), (0,1)) "
5+
"OP(5,10)",0,Solved,0.0000,0.0100,false,true,"OP(5,6)",0.0153,"(\infty, (3,1), (6,1), (5,1), (1,2)) ((4,2), (5,2), (4,1), (2,1), (2,2), (0,2), (3,2), (1,1), (6,2), (0,1)) "
6+
"OP(9,6)",0,Solved,0.0001,0.0100,false,true,"OP(5,6)",0.0182,"(\infty, (1,1), (5,1), (6,1), (4,2), (2,2), (0,1), (2,1), (1,2)) ((4,1), (5,2), (6,2), (3,2), (3,1), (0,2)) "
7+
"OP(3,3,9)",0,Solved,0.0001,0.0200,false,true,OP(3),0.0248,"(\infty, (3,2), (5,1)) ((2,1), (2,2), (1,2)) ((4,2), (0,2), (5,2), (4,1), (6,2), (3,1), (6,1), (1,1), (0,1)) "
8+
"OP(7,8)",0,Solved,0.0000,0.0100,false,true,OP(3),0.0143,"(\infty, (4,1), (6,2), (3,2), (2,1), (1,1), (5,2)) ((2,2), (4,2), (5,1), (0,1), (0,2), (1,2), (3,1), (6,1)) "
9+
"OP(3,4,8)",0,Solved,0.0001,0.0100,false,true,OP(3),0.0166,"(\infty, (5,2), (2,1)) ((3,2), (2,2), (0,1), (3,1)) ((6,2), (1,2), (4,1), (5,1), (4,2), (0,2), (6,1), (1,1)) "
10+
"OP(3,5,7)",0,Solved,0.0001,0.0300,false,true,OP(3),0.0261,"(\infty, (4,1), (5,2), (6,2), (1,2), (6,1), (4,2)) ((1,1), (2,1), (5,1), (2,2), (3,1)) ((0,1), (0,2), (3,2)) "
11+
"OP(7,4,4)",0,Solved,0.0000,0.0200,false,true,OP(3),0.0203,"(\infty, (1,1), (3,2), (5,2), (0,1), (3,1), (4,2)) ((2,2), (6,2), (6,1), (5,1)) ((0,2), (1,2), (2,1), (4,1)) "
12+
"OP(3,6,6)",0,Solved,0.0001,0.0300,false,true,OP(3),0.0311,"(\infty, (2,2), (2,1)) ((4,1), (0,1), (4,2), (5,2), (3,2), (6,2)) ((0,2), (1,1), (3,1), (1,2), (5,1), (6,1)) "
13+
"OP(5,6,4)",0,Solved,0.0001,0.0100,false,true,"OP(5,6)",0.0145,"(\infty, (1,1), (5,1), (0,1), (5,2)) ((6,1), (3,2), (2,2), (0,2), (4,1), (6,2)) ((1,2), (4,2), (3,1), (2,1)) "
14+
"OP(3,3,3,6)",0,Solved,0.0000,0.0300,false,true,OP(3),0.0370,"(\infty, (1,2), (0,1)) ((1,1), (6,1), (4,2)) ((5,1), (2,1), (2,2)) ((3,1), (4,1), (3,2), (6,2), (0,2), (5,2)) "
15+
"OP(5,5,5)",0,Solved,0.0000,0.0100,false,true,"OP(5,5,5)",0.0226,"(\infty, (5,1), (3,2), (1,2), (4,2)) ((2,2), (1,1), (0,1), (0,2), (3,1)) ((6,2), (5,2), (2,1), (6,1), (4,1)) "
16+
"OP(3,4,3,5)",0,Solved,0.0001,0.0300,false,true,OP(3),0.0347,"(\infty, (4,2), (2,1)) ((5,2), (6,2), (1,2), (5,1)) ((6,1), (0,2), (3,2)) ((0,1), (1,1), (3,1), (2,2), (4,1)) "
17+
"OP(3,4,4,4)",0,Solved,0.0000,0.0100,false,true,OP(3),0.0122,"(\infty, (0,2), (2,1)) ((3,2), (2,2), (3,1), (0,1)) ((6,2), (4,2), (4,1), (5,1)) ((5,2), (1,2), (6,1), (1,1)) "
18+
"OP(3,3,3,3,3)",0,Solved,0.0000,0.0100,false,true,"OP(3,3,3,3,3)",0.0132,"(\infty, (5,2), (5,1)) ((2,1), (6,1), (0,1)) ((1,1), (0,2), (3,2)) ((4,1), (1,2), (2,2)) ((3,1), (4,2), (6,2)) "

‎Results/Polynomials Proofs < 40/Solutions_19.csv‎

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
OP_Name,Instance,Status,ColorTime,LabellingTime,UsingMIP,UsingPolyColors,Notes,TotalTime,Solution
2+
OP(19),0,Solved,0.0001,0.0200,false,true,OP(3),0.4077,"(\infty, (0,1), (8,2), (1,2), (8,1), (2,1), (7,2), (6,2), (3,1), (4,1), (4,2), (0,2), (5,1), (7,1), (5,2), (2,2), (1,1), (6,1), (3,2)) "
3+
"OP(3,16)",0,Solved,0.0000,0.0400,false,true,OP(3),0.0412,"(\infty, (2,2), (2,1)) ((6,2), (4,2), (5,1), (4,1), (7,2), (3,2), (7,1), (3,1), (5,2), (8,2), (1,1), (8,1), (0,2), (1,2), (6,1), (0,1)) "
4+
"OP(15,4)",0,Solved,0.0000,0.0300,false,true,OP(3),0.0441,"(\infty, (0,1), (3,2), (1,2), (3,1), (8,1), (7,2), (4,2), (7,1), (1,1), (6,2), (2,2), (2,1), (4,1), (5,2)) ((0,2), (8,2), (6,1), (5,1)) "
5+
"OP(5,14)",0,Solved,0.0000,0.0400,false,true,"OP(5,6)",0.0762,"(\infty, (0,1), (6,1), (8,1), (7,2)) ((4,2), (0,2), (2,1), (7,1), (1,2), (8,2), (4,1), (5,1), (2,2), (5,2), (6,2), (1,1), (3,2), (3,1)) "
6+
"OP(13,6)",0,Solved,0.0000,0.0400,false,true,"OP(5,6)",0.0470,"(\infty, (8,1), (0,1), (6,1), (3,2), (7,2), (2,1), (7,1), (2,2), (0,2), (1,1), (3,1), (1,2)) ((5,1), (8,2), (5,2), (4,2), (4,1), (6,2)) "
7+
"OP(3,3,13)",0,Solved,0.0002,0.0600,false,true,OP(3),0.0741,"(\infty, (2,2), (7,1)) ((2,1), (3,2), (0,2)) ((7,2), (6,2), (4,2), (8,1), (5,2), (1,2), (1,1), (6,1), (8,2), (0,1), (3,1), (5,1), (4,1)) "
8+
"OP(7,12)",0,Solved,0.0003,0.0400,false,true,OP(3),0.0489,"(\infty, (6,1), (6,2), (4,2), (0,1), (1,1), (7,2)) ((0,2), (1,2), (2,1), (4,1), (2,2), (5,2), (3,1), (7,1), (3,2), (8,2), (5,1), (8,1)) "
9+
"OP(3,4,12)",0,Solved,0.0000,0.0100,false,true,OP(3),0.0185,"(\infty, (6,2), (6,1)) ((2,2), (3,2), (7,1), (5,1)) ((5,2), (0,2), (2,1), (1,1), (4,2), (7,2), (8,1), (4,1), (8,2), (1,2), (0,1), (3,1)) "
10+
"OP(11,8)",0,Solved,0.0000,0.0300,false,true,OP(3),0.0326,"(\infty, (7,1), (7,2), (3,2), (0,1), (3,1), (4,2), (6,2), (1,1), (8,1), (1,2)) ((2,2), (5,2), (6,1), (2,1), (0,2), (8,2), (4,1), (5,1)) "
11+
"OP(3,5,11)",0,Solved,0.0001,0.0500,false,true,OP(3),0.0475,"(\infty, (3,1), (3,2), (0,2), (1,2), (8,1), (2,2), (7,2), (2,1), (6,1), (4,2)) ((7,1), (5,1), (4,1), (5,2), (1,1)) ((0,1), (8,2), (6,2)) "
12+
"OP(11,4,4)",0,Solved,0.0000,0.0300,false,true,OP(3),0.0333,"(\infty, (6,1), (6,2), (4,2), (0,1), (1,1), (3,2), (7,2), (2,1), (4,1), (1,2)) ((5,2), (2,2), (3,1), (7,1)) ((0,2), (8,2), (5,1), (8,1)) "
13+
"OP(9,10)",0,Solved,0.0000,0.0400,false,true,"OP(5,6)",0.0450,"(\infty, (1,1), (2,1), (8,1), (7,2), (1,2), (7,1), (5,1), (0,2)) ((4,2), (5,2), (0,1), (4,1), (2,2), (6,2), (8,2), (6,1), (3,2), (3,1)) "
14+
"OP(3,6,10)",0,Solved,0.0000,0.0400,false,true,OP(3),0.0436,"(\infty, (0,2), (1,1)) ((2,1), (5,1), (1,2), (4,2), (6,2), (5,2)) ((7,2), (3,2), (6,1), (4,1), (2,2), (0,1), (8,1), (8,2), (7,1), (3,1)) "
15+
"OP(5,10,4)",0,Solved,0.0000,0.0500,false,true,"OP(5,6)",0.0467,"(\infty, (2,1), (5,1), (3,1), (1,2)) ((6,2), (4,2), (7,1), (6,1), (5,2), (8,2), (0,2), (0,1), (2,2), (1,1)) ((7,2), (3,2), (8,1), (4,1)) "
16+
"OP(3,3,3,10)",0,Solved,0.0000,0.0500,false,true,OP(3),0.0524,"(\infty, (6,2), (6,1)) ((0,1), (1,1), (4,2)) ((2,1), (4,1), (1,2)) ((7,2), (5,2), (3,1), (7,1), (3,2), (5,1), (8,1), (0,2), (8,2), (2,2)) "
17+
"OP(3,7,9)",0,Solved,0.0001,0.0500,false,true,OP(3),0.0485,"(\infty, (8,1), (5,2), (8,2), (4,2), (4,1), (3,2)) ((2,1), (0,2), (7,2)) ((1,2), (2,2), (0,1), (5,1), (6,2), (3,1), (1,1), (7,1), (6,1)) "
18+
"OP(9,6,4)",0,Solved,0.0000,0.0400,false,true,"OP(5,6)",0.0444,"(\infty, (5,1), (0,1), (6,1), (6,2), (4,2), (3,1), (2,1), (1,2)) ((4,1), (7,2), (3,2), (2,2), (7,1), (0,2)) ((5,2), (8,2), (1,1), (8,1)) "
19+
"OP(9,5,5)",0,Solved,0.0000,0.0300,false,true,"OP(5,5,5)",0.0521,"(\infty, (7,1), (6,2), (1,2), (2,2), (0,2), (0,1), (6,1), (7,2)) ((4,2), (1,1), (5,1), (3,2), (8,1)) ((8,2), (5,2), (3,1), (4,1), (2,1)) "
20+
"OP(3,4,3,9)",0,Solved,0.0002,0.0400,false,true,OP(3),0.0444,"(\infty, (6,2), (3,1)) ((8,2), (5,2), (1,2), (8,1)) ((2,1), (0,2), (7,2)) ((3,2), (4,2), (0,1), (5,1), (2,2), (1,1), (7,1), (6,1), (4,1)) "
21+
"OP(3,8,8)",0,Solved,0.0000,0.0100,false,true,OP(3),0.0209,"(\infty, (2,2), (6,1)) ((7,2), (3,2), (1,1), (5,1), (4,2), (5,2), (8,1), (7,1)) ((6,2), (0,2), (2,1), (4,1), (8,2), (1,2), (0,1), (3,1)) "
22+
"OP(7,8,4)",0,Solved,0.0000,0.0300,false,true,OP(3),0.0378,"(\infty, (5,1), (2,2), (1,2), (1,1), (6,1), (8,2)) ((0,2), (4,2), (3,1), (0,1), (7,2), (5,2), (2,1), (4,1)) ((6,2), (3,2), (8,1), (7,1)) "
23+
"OP(5,6,8)",0,Solved,0.0000,0.0500,false,true,"OP(5,6)",0.0586,"(\infty, (3,1), (5,1), (1,1), (7,2)) ((4,1), (8,2), (5,2), (0,2), (2,1), (3,2)) ((1,2), (2,2), (0,1), (6,1), (6,2), (4,2), (8,1), (7,1)) "
24+
"OP(3,5,3,8)",0,Solved,0.0001,0.0400,false,true,OP(3),0.0422,"(\infty, (1,2), (5,1)) ((6,1), (8,1), (7,1), (4,2), (3,1)) ((1,1), (3,2), (0,2)) ((8,2), (6,2), (5,2), (2,1), (2,2), (7,2), (0,1), (4,1)) "
25+
"OP(3,4,4,8)",0,Solved,0.0000,0.0200,false,true,OP(3),0.0204,"(\infty, (5,2), (8,1)) ((4,2), (3,2), (1,1), (5,1)) ((7,2), (2,2), (6,1), (7,1)) ((6,2), (0,2), (2,1), (4,1), (8,2), (1,2), (0,1), (3,1)) "
26+
"OP(7,7,5)",0,Solved,0.0004,0.0500,false,true,OP(3),0.0564,"(\infty, (1,1), (6,2), (3,2), (4,1), (3,1), (5,2)) ((4,2), (0,2), (7,2), (0,1), (1,2), (2,2), (7,1)) ((2,1), (6,1), (8,1), (8,2), (5,1)) "
27+
"OP(7,6,6)",0,Solved,0.0000,0.0400,false,true,OP(3),0.0439,"(\infty, (0,1), (8,2), (6,2), (5,1), (2,1), (5,2)) ((8,1), (4,1), (2,2), (3,2), (7,2), (4,2)) ((1,2), (6,1), (7,1), (0,2), (3,1), (1,1)) "
28+
"OP(3,6,3,7)",0,Solved,0.0000,0.0400,false,true,OP(3),0.0502,"(\infty, (1,1), (5,2), (8,2), (2,1), (5,1), (4,2)) ((4,1), (6,1), (0,2), (7,2), (6,2), (2,2)) ((0,1), (8,1), (1,2)) ((7,1), (3,1), (3,2)) "
29+
"OP(3,5,4,7)",0,Solved,0.0001,0.0400,false,true,OP(3),0.0492,"(\infty, (7,1), (5,2), (1,2), (6,1), (0,1), (0,2)) ((4,1), (3,1), (8,1), (7,2), (2,1)) ((2,2), (8,2), (6,2), (5,1)) ((1,1), (4,2), (3,2)) "
30+
"OP(7,4,4,4)",0,Solved,0.0000,0.0300,false,true,OP(3),0.0414,"(\infty, (0,1), (5,2), (1,2), (1,1), (5,1), (6,2)) ((2,2), (4,2), (6,1), (3,1)) ((7,2), (8,2), (2,1), (4,1)) ((0,2), (3,2), (8,1), (7,1)) "
31+
"OP(7,3,3,3,3)",0,Solved,0.0001,0.0600,false,true,"OP(3,3,3,3,3)",0.0679,"(\infty, (5,1), (6,2), (5,2), (1,1), (8,1), (1,2)) ((2,1), (3,1), (6,1)) ((7,1), (4,2), (7,2)) ((4,1), (0,2), (2,2)) ((0,1), (8,2), (3,2)) "
32+
"OP(3,6,4,6)",0,Solved,0.0000,0.0300,false,true,OP(3),0.0406,"(\infty, (1,2), (3,1)) ((4,1), (0,1), (6,2), (7,2), (4,2), (8,2)) ((3,2), (5,2), (5,1), (2,1)) ((0,2), (7,1), (6,1), (2,2), (8,1), (1,1)) "
33+
"OP(5,5,6,3)",0,Solved,0.0001,0.0400,false,true,"OP(5,6)",0.0479,"(\infty, (5,1), (0,1), (6,1), (6,2)) ((3,1), (2,1), (4,2), (5,2), (7,2)) ((4,1), (2,2), (8,2), (3,2), (7,1), (1,2)) ((1,1), (8,1), (0,2)) "
34+
"OP(5,6,4,4)",0,Solved,0.0000,0.0400,false,true,"OP(5,6)",0.0413,"(\infty, (5,1), (4,1), (1,1), (6,2)) ((6,1), (3,2), (2,2), (5,2), (2,1), (1,2)) ((7,2), (0,2), (7,1), (0,1)) ((8,2), (4,2), (3,1), (8,1)) "
35+
"OP(3,4,3,3,6)",0,Solved,0.0001,0.0400,false,true,OP(3),0.0448,"(\infty, (6,2), (6,1)) ((4,2), (1,2), (0,1), (1,1)) ((2,1), (4,1), (0,2)) ((3,1), (7,1), (2,2)) ((5,1), (8,1), (5,2), (3,2), (8,2), (7,2)) "
36+
"OP(5,5,5,4)",0,Solved,0.0000,0.0600,false,true,"OP(5,5,5)",0.0684,"(\infty, (1,1), (6,2), (3,2), (8,2)) ((5,2), (2,1), (4,1), (4,2), (7,1)) ((0,2), (7,2), (5,1), (0,1), (8,1)) ((2,2), (1,2), (6,1), (3,1)) "
37+
"OP(3,5,3,3,5)",0,Solved,0.0001,0.0400,false,true,OP(3),0.0506,"(\infty, (5,2), (1,1)) ((2,1), (5,1), (4,2), (3,2), (8,2)) ((4,1), (6,1), (2,2)) ((0,1), (8,1), (1,2)) ((7,1), (3,1), (6,2), (0,2), (7,2)) "
38+
"OP(3,4,4,3,5)",0,Solved,0.0000,0.0600,false,true,OP(3),0.0544,"(\infty, (6,2), (3,1)) ((7,2), (0,2), (4,2), (2,1)) ((8,2), (5,2), (4,1), (0,1)) ((5,1), (2,2), (3,2)) ((8,1), (7,1), (1,1), (1,2), (6,1)) "
39+
"OP(3,4,4,4,4)",0,Solved,0.0000,0.0200,false,true,OP(3),0.0234,"(\infty, (6,2), (2,1)) ((5,2), (0,2), (7,1), (5,1)) ((4,2), (7,2), (4,1), (8,1)) ((1,2), (8,2), (1,1), (0,1)) ((3,2), (2,2), (3,1), (6,1)) "
40+
"OP(3,4,3,3,3,3)",0,Solved,0.0000,0.0500,false,true,"OP(3,3,3,3,3)",0.0486,"(\infty, (3,2), (3,1)) ((2,2), (7,2), (5,1), (6,1)) ((4,1), (0,1), (7,1)) ((8,1), (6,2), (0,2)) ((2,1), (1,2), (8,2)) ((1,1), (4,2), (5,2)) "

0 commit comments

Comments
 (0)