KeyMeaning
S SC: Optimal solution found and proved
S: Satisfiable, solution found
UNK: No solution returned
OBest objective value found
T Time in seconds
mem: over the memory limit
MZN: error during MiniZinc flattening
ARITY: maximum arity too large
32-bit: maximum sum of costs too large
N/A: result non available

TextOptimal solution with the best CPU time
TextOptimal solution within time limit
TextNon-optimal solutions are shaded by ratio to the best.
TextTime out
TextError

Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
MRF/DBN/rus2_100_200_0_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:991064
T:3600
S:S
O:993971
T:3600
S:S
O:994791
T:3600
S:S
O:991064
T:3600
S:S
O:1012769
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043271
T:3600
MRF/DBN/rus2_100_200_1_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:985648
T:3600
S:S
O:990043
T:3600
S:S
O:991135
T:3600
S:S
O:985648
T:3600
S:S
O:1012498
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043271
T:3600
MRF/DBN/rus2_100_200_3_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:991557
T:3600
S:S
O:991823
T:3600
S:S
O:993952
T:3600
S:S
O:991557
T:3600
S:S
O:1007173
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043271
T:3600
MRF/DBN/rus2_100_200_3_3 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:985126
T:3600
S:S
O:989850
T:3600
S:S
O:989644
T:3600
S:S
O:985126
T:3600
S:S
O:991037
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043271
T:3600
MRF/DBN/rus2_100_200_5_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:994515
T:3600
S:S
O:996669
T:3600
S:S
O:999554
T:3600
S:S
O:994515
T:3600
S:S
O:1004431
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043271
T:3600
MRF/DBN/rus2_100_200_5_2 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:987259
T:3600
S:S
O:991933
T:3600
S:S
O:991004
T:3600
S:S
O:987259
T:3600
S:S
O:1011664
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043271
T:3600
MRF/DBN/rus2_100_200_6_3 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:991138
T:3600
S:S
O:994362
T:3600
S:S
O:995965
T:3600
S:S
O:991138
T:3600
S:S
O:1005204
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043600
T:3600
MRF/DBN/rus2_100_200_7_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:985356
T:3600
S:S
O:989177
T:3600
S:S
O:991339
T:3600
S:S
O:985356
T:3600
S:S
O:1008615
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043588
T:3600
MRF/DBN/rus2_100_200_8_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:989861
T:3600
S:S
O:990554
T:3600
S:S
O:992547
T:3600
S:S
O:989861
T:3600
S:S
O:1002994
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043600
T:3600
MRF/DBN/rus2_100_200_9_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 22793
max_arity: 2
S:S
O:989145
T:3600
S:S
O:993263
T:3600
S:S
O:998201
T:3600
S:S
O:989145
T:3600
S:S
O:1014276
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1043600
T:3600
MRF/DBN/rus2_20_40_0_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:332399
T:0
S:SC
O:332399
T:628
S:SC
O:332399
T:0
S:SC
O:332399
T:27
S:SC
O:332399
T:3
S:S
O:332532
T:3600
S:S
O:334147
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_0_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:329177
T:0
S:SC
O:329177
T:631
S:SC
O:329177
T:0
S:SC
O:329177
T:21
S:SC
O:329177
T:3
S:SC
O:329177
T:1337
S:SC
O:329177
T:1281
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_0_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:336578
T:0
S:SC
O:336578
T:627
S:SC
O:336578
T:0
S:SC
O:336578
T:22
S:SC
O:336578
T:3
S:S
O:336905
T:3600
S:S
O:337549
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_1_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:332068
T:0
S:SC
O:332068
T:630
S:SC
O:332068
T:0
S:SC
O:332068
T:27
S:SC
O:332068
T:7
S:SC
O:332068
T:1893
S:S
O:355196
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_1_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:332753
T:0
S:SC
O:332753
T:628
S:SC
O:332753
T:0
S:SC
O:332753
T:28
S:SC
O:332753
T:4
S:S
O:332753
T:3600
S:S
O:354869
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_1_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:333645
T:1
S:SC
O:333645
T:634
S:SC
O:333645
T:1
S:SC
O:333645
T:42
S:SC
O:333645
T:10
S:S
O:333735
T:3600
S:UNK
O:?
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_2_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:329423
T:0
S:SC
O:329423
T:629
S:SC
O:329423
T:0
S:SC
O:329423
T:17
S:SC
O:329423
T:3
S:SC
O:329423
T:826
S:S
O:349772
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_2_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:329606
T:0
S:SC
O:329606
T:631
S:SC
O:329606
T:0
S:SC
O:329606
T:19
S:SC
O:329606
T:3
S:SC
O:329606
T:1556
S:SC
O:329606
T:2216
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_2_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:330996
T:0
S:SC
O:330996
T:629
S:SC
O:330996
T:0
S:SC
O:330996
T:29
S:SC
O:330996
T:6
S:S
O:330996
T:3600
S:S
O:349251
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_3_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:331575
T:0
S:SC
O:331575
T:628
S:SC
O:331575
T:0
S:SC
O:331575
T:32
S:SC
O:331575
T:4
S:S
O:331575
T:3600
S:S
O:350680
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_3_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:324523
T:0
S:SC
O:324523
T:636
S:SC
O:324523
T:0
S:SC
O:324523
T:29
S:SC
O:324523
T:6
S:S
O:324523
T:3600
S:S
O:349117
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_3_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:328502
T:0
S:SC
O:328502
T:635
S:SC
O:328502
T:0
S:SC
O:328502
T:34
S:SC
O:328502
T:10
S:S
O:328502
T:3600
S:S
O:350235
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_4_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:333856
T:0
S:SC
O:333856
T:634
S:SC
O:333856
T:0
S:SC
O:333856
T:29
S:SC
O:333856
T:4
S:SC
O:333856
T:1418
S:S
O:354844
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_4_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:332217
T:0
S:SC
O:332217
T:629
S:SC
O:332217
T:0
S:SC
O:332217
T:22
S:SC
O:332217
T:3
S:S
O:332217
T:3600
S:S
O:333092
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_4_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:334842
T:0
S:SC
O:334842
T:634
S:SC
O:334842
T:0
S:SC
O:334842
T:37
S:SC
O:334842
T:8
S:S
O:334842
T:3600
S:S
O:355399
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_5_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:334855
T:0
S:SC
O:334855
T:628
S:SC
O:334855
T:0
S:SC
O:334855
T:24
S:SC
O:334855
T:3
S:S
O:334855
T:3600
S:S
O:335184
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_5_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:336650
T:1
S:SC
O:336650
T:632
S:SC
O:336650
T:1
S:SC
O:336650
T:57
S:SC
O:336650
T:17
S:S
O:336903
T:3600
S:S
O:354907
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_5_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:317928
T:0
S:SC
O:317928
T:629
S:SC
O:317928
T:0
S:SC
O:317928
T:18
S:SC
O:317928
T:3
S:S
O:317928
T:3600
S:S
O:347994
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_6_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:329584
T:0
S:SC
O:329584
T:631
S:SC
O:329584
T:0
S:SC
O:329584
T:32
S:SC
O:329584
T:4
S:S
O:329791
T:3600
S:S
O:354716
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_6_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:341025
T:0
S:SC
O:341025
T:631
S:SC
O:341025
T:0
S:SC
O:341025
T:34
S:SC
O:341025
T:7
S:S
O:341026
T:3600
S:S
O:354842
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_6_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:325987
T:0
S:SC
O:325987
T:626
S:SC
O:325987
T:0
S:SC
O:325987
T:25
S:SC
O:325987
T:4
S:SC
O:325987
T:357
S:S
O:352718
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_7_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:336597
T:0
S:SC
O:336597
T:628
S:SC
O:336597
T:0
S:SC
O:336597
T:36
S:SC
O:336597
T:5
S:S
O:336597
T:3600
S:S
O:350891
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_7_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:331190
T:0
S:SC
O:331190
T:626
S:SC
O:331190
T:0
S:SC
O:331190
T:23
S:SC
O:331190
T:4
S:SC
O:331190
T:539
S:S
O:354420
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_7_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:338046
T:0
S:SC
O:338046
T:638
S:SC
O:338046
T:0
S:SC
O:338046
T:32
S:SC
O:338046
T:5
S:S
O:338046
T:3600
S:S
O:354890
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_8_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:332222
T:0
S:SC
O:332222
T:629
S:SC
O:332222
T:0
S:SC
O:332222
T:34
S:SC
O:332222
T:7
S:S
O:332222
T:3600
S:UNK
O:?
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_8_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:333788
T:0
S:SC
O:333788
T:633
S:SC
O:333788
T:0
S:SC
O:333788
T:37
S:SC
O:333788
T:6
S:SC
O:333788
T:3071
S:S
O:350090
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_8_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:333773
T:0
S:SC
O:333773
T:630
S:SC
O:333773
T:0
S:SC
O:333773
T:63
S:SC
O:333773
T:8
S:S
O:333793
T:3600
S:S
O:348706
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_9_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:335056
T:1
S:SC
O:335056
T:637
S:SC
O:335056
T:1
S:SC
O:335056
T:53
S:SC
O:335056
T:10
S:S
O:335074
T:3600
S:UNK
O:?
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_9_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:335103
T:1
S:SC
O:335103
T:634
S:SC
O:335103
T:1
S:SC
O:335103
T:73
S:SC
O:335103
T:11
S:S
O:335103
T:3600
S:UNK
O:?
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_20_40_9_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1993
max_arity: 2
S:SC
O:342231
T:1
S:SC
O:342231
T:628
S:SC
O:342231
T:1
S:SC
O:342231
T:152
S:SC
O:342231
T:19
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:353503
T:3600
MRF/DBN/rus2_50_100_0_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:657928
T:103
S:S
O:659396
T:3600
S:SC
O:657928
T:103
S:S
O:658703
T:3600
S:SC
O:657928
T:1070
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_0_3 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:652447
T:19
S:S
O:653145
T:3600
S:SC
O:652447
T:19
S:S
O:652673
T:3600
S:SC
O:652447
T:713
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_1_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:652854
T:3600
S:S
O:654508
T:3600
S:S
O:652854
T:3600
S:S
O:654077
T:3600
S:S
O:653056
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_1_3 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:652737
T:3600
S:S
O:654866
T:3600
S:S
O:653013
T:3600
S:S
O:653021
T:3600
S:S
O:652737
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_2_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:645013
T:84
S:S
O:647614
T:3600
S:SC
O:645013
T:84
S:S
O:645844
T:3600
S:SC
O:645013
T:686
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_3_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:649473
T:213
S:S
O:651104
T:3600
S:SC
O:649473
T:213
S:S
O:650513
T:3600
S:S
O:649473
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_3_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:657548
T:1315
S:S
O:658136
T:3600
S:SC
O:657548
T:1315
S:S
O:657676
T:3600
S:S
O:657548
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_4_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:658364
T:3600
S:S
O:659801
T:3600
S:S
O:658364
T:3600
S:S
O:658780
T:3600
S:S
O:658769
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_4_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:659845
T:2207
S:S
O:661316
T:3600
S:SC
O:659845
T:2207
S:S
O:660350
T:3600
S:S
O:659846
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_5_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:657040
T:3519
S:S
O:658165
T:3600
S:SC
O:657040
T:3519
S:S
O:657151
T:3600
S:S
O:657040
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
MRF/DBN/rus2_50_100_5_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:658057
T:3600
S:S
O:658286
T:3600
S:S
O:658057
T:3600
S:S
O:658740
T:3600
S:S
O:658501
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_6_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:655057
T:226
S:S
O:656126
T:3600
S:SC
O:655057
T:226
S:S
O:655329
T:3600
S:SC
O:655057
T:1175
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_6_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:662579
T:3600
S:S
O:664314
T:3600
S:S
O:662579
T:3600
S:S
O:663343
T:3600
S:S
O:662737
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_6_3 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:660518
T:1750
S:S
O:661066
T:3600
S:SC
O:660518
T:1750
S:S
O:661785
T:3600
S:S
O:661025
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_7_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:647639
T:3600
S:S
O:649223
T:3600
S:S
O:647639
T:3600
S:S
O:648074
T:3600
S:S
O:648178
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_7_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:658629
T:3600
S:S
O:659805
T:3600
S:S
O:658629
T:3600
S:S
O:658871
T:3600
S:S
O:658695
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_7_3 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:643896
T:3600
S:S
O:645619
T:3600
S:S
O:643896
T:3600
S:S
O:644871
T:3600
S:S
O:644269
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_8_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:SC
O:651013
T:2501
S:S
O:652000
T:3600
S:SC
O:651013
T:2501
S:S
O:651846
T:3600
S:S
O:651013
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus2_50_100_9_3 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6793
max_arity: 2
S:S
O:649661
T:3600
S:S
O:650954
T:3600
S:S
O:649661
T:3600
S:S
O:650055
T:3600
S:S
O:649724
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:695855
T:3600
MRF/DBN/rus_100_200_1_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 20984
max_arity: 2
S:S
O:2005807
T:3600
S:S
O:2005807
T:3600
S:S
O:2016605
T:3600
S:S
O:2015490
T:3600
S:S
O:2018328
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2872289
T:3600
MRF/DBN/rus_100_200_2_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 20984
max_arity: 2
S:S
O:2014398
T:3600
S:S
O:2015438
T:3600
S:S
O:2017782
T:3600
S:S
O:2017930
T:3600
S:S
O:2014398
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2872978
T:3600
MRF/DBN/rus_100_200_3_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 20984
max_arity: 2
S:S
O:2039476
T:3600
S:S
O:2039476
T:3600
S:S
O:2043805
T:3600
S:S
O:2050423
T:3600
S:S
O:2067629
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2863774
T:3600
MRF/DBN/rus_100_200_3_3 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 20984
max_arity: 2
S:S
O:2058762
T:3600
S:S
O:2058762
T:3600
S:S
O:2067241
T:3600
S:S
O:2059048
T:3600
S:S
O:2082321
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2822815
T:3600
MRF/DBN/rus_100_200_4_3 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 20984
max_arity: 2
S:S
O:2053731
T:3600
S:S
O:2053731
T:3600
S:S
O:2061274
T:3600
S:S
O:2065257
T:3600
S:S
O:2056439
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2846608
T:3600
MRF/DBN/rus_100_200_5_3 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 20984
max_arity: 2
S:S
O:2032059
T:3600
S:S
O:2032059
T:3600
S:S
O:2035192
T:3600
S:S
O:2033797
T:3600
S:S
O:2039265
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2862351
T:3600
MRF/DBN/rus_100_200_6_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 20984
max_arity: 2
S:S
O:2103188
T:3600
S:S
O:2103188
T:3600
S:S
O:2110972
T:3600
S:S
O:2107118
T:3600
S:S
O:2115809
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2810463
T:3600
MRF/DBN/rus_100_200_7_1 : fig1
nbvar: 1094
max_dom: 2
nbconstr: 20984
max_arity: 2
S:S
O:2048454
T:3600
S:S
O:2048454
T:3600
S:S
O:2050767
T:3600
S:S
O:2052516
T:3600
S:S
O:2056414
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2842330
T:3600
MRF/DBN/rus_20_40_0_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:765806
T:0
S:SC
O:765806
T:625
S:SC
O:765806
T:0
S:SC
O:765806
T:8
S:SC
O:765806
T:7
S:SC
O:765806
T:109
S:UNK
O:?
T:3600
S:S
O:890042
T:3600
MRF/DBN/rus_20_40_0_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:725955
T:0
S:SC
O:725955
T:623
S:SC
O:725955
T:0
S:SC
O:725955
T:7
S:SC
O:725955
T:3
S:SC
O:725955
T:77
S:UNK
O:?
T:3600
S:S
O:950153
T:3600
MRF/DBN/rus_20_40_0_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:700771
T:0
S:SC
O:700771
T:589
S:SC
O:700771
T:0
S:SC
O:700771
T:7
S:SC
O:700771
T:5
S:SC
O:700771
T:107
S:UNK
O:?
T:3600
S:S
O:969264
T:3600
MRF/DBN/rus_20_40_1_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:677568
T:0
S:SC
O:677568
T:610
S:SC
O:677568
T:0
S:SC
O:677568
T:4
S:SC
O:677568
T:3
S:SC
O:677568
T:63
S:UNK
O:?
T:3600
S:S
O:988478
T:3600
MRF/DBN/rus_20_40_1_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:699166
T:0
S:SC
O:699166
T:612
S:SC
O:699166
T:0
S:SC
O:699166
T:8
S:SC
O:699166
T:3
S:SC
O:699166
T:76
S:UNK
O:?
T:3600
S:S
O:1001750
T:3600
MRF/DBN/rus_20_40_1_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:701249
T:0
S:SC
O:701249
T:613
S:SC
O:701249
T:0
S:SC
O:701249
T:5
S:SC
O:701249
T:5
S:SC
O:701249
T:206
S:UNK
O:?
T:3600
S:S
O:972014
T:3600
MRF/DBN/rus_20_40_2_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:724898
T:0
S:SC
O:724898
T:613
S:SC
O:724898
T:0
S:SC
O:724898
T:4
S:SC
O:724898
T:4
S:SC
O:724898
T:77
S:UNK
O:?
T:3600
S:S
O:951782
T:3600
MRF/DBN/rus_20_40_2_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:749312
T:0
S:SC
O:749312
T:619
S:SC
O:749312
T:0
S:SC
O:749312
T:3
S:SC
O:749312
T:4
S:SC
O:749312
T:69
S:UNK
O:?
T:3600
S:S
O:925113
T:3600
MRF/DBN/rus_20_40_2_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:735599
T:0
S:SC
O:735599
T:622
S:SC
O:735599
T:0
S:SC
O:735599
T:11
S:SC
O:735599
T:7
S:SC
O:735599
T:104
S:UNK
O:?
T:3600
S:S
O:928556
T:3600
MRF/DBN/rus_20_40_3_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:718279
T:0
S:SC
O:718279
T:624
S:SC
O:718279
T:0
S:SC
O:718279
T:4
S:SC
O:718279
T:4
S:SC
O:718279
T:82
S:UNK
O:?
T:3600
S:S
O:979089
T:3600
MRF/DBN/rus_20_40_3_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:715378
T:0
S:SC
O:715378
T:619
S:SC
O:715378
T:0
S:SC
O:715378
T:3
S:SC
O:715378
T:3
S:SC
O:715378
T:62
S:UNK
O:?
T:3600
S:S
O:950681
T:3600
MRF/DBN/rus_20_40_3_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:714761
T:0
S:SC
O:714761
T:617
S:SC
O:714761
T:0
S:SC
O:714761
T:3
S:SC
O:714761
T:3
S:SC
O:714761
T:62
S:UNK
O:?
T:3600
S:S
O:955063
T:3600
MRF/DBN/rus_20_40_4_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:694006
T:0
S:SC
O:694006
T:612
S:SC
O:694006
T:0
S:SC
O:694006
T:5
S:SC
O:694006
T:4
S:SC
O:694006
T:77
S:UNK
O:?
T:3600
S:S
O:963905
T:3600
MRF/DBN/rus_20_40_4_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:693079
T:0
S:SC
O:693079
T:798
S:SC
O:693079
T:0
S:SC
O:693079
T:4
S:SC
O:693079
T:3
S:SC
O:693079
T:52
S:UNK
O:?
T:3600
S:S
O:990131
T:3600
MRF/DBN/rus_20_40_4_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:712046
T:0
S:SC
O:712046
T:615
S:SC
O:712046
T:0
S:SC
O:712046
T:8
S:SC
O:712046
T:5
S:SC
O:712046
T:131
S:UNK
O:?
T:3600
S:S
O:979145
T:3600
MRF/DBN/rus_20_40_5_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:706987
T:0
S:SC
O:706987
T:626
S:SC
O:706987
T:0
S:SC
O:706987
T:4
S:SC
O:706987
T:3
S:SC
O:706987
T:64
S:UNK
O:?
T:3600
S:S
O:965962
T:3600
MRF/DBN/rus_20_40_5_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:715093
T:0
S:SC
O:715093
T:618
S:SC
O:715093
T:0
S:SC
O:715093
T:3
S:SC
O:715093
T:4
S:SC
O:715093
T:85
S:UNK
O:?
T:3600
S:S
O:972414
T:3600
MRF/DBN/rus_20_40_5_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:705349
T:0
S:SC
O:705349
T:610
S:SC
O:705349
T:0
S:SC
O:705349
T:13
S:SC
O:705349
T:10
S:SC
O:705349
T:303
S:UNK
O:?
T:3600
S:S
O:964959
T:3600
MRF/DBN/rus_20_40_6_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:741486
T:0
S:SC
O:741486
T:618
S:SC
O:741486
T:0
S:SC
O:741486
T:21
S:SC
O:741486
T:7
S:SC
O:741486
T:157
S:UNK
O:?
T:3600
S:S
O:916987
T:3600
MRF/DBN/rus_20_40_6_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:682673
T:0
S:SC
O:682673
T:618
S:SC
O:682673
T:0
S:SC
O:682673
T:3
S:SC
O:682673
T:3
S:SC
O:682673
T:80
S:UNK
O:?
T:3600
S:S
O:1002788
T:3600
MRF/DBN/rus_20_40_6_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:686140
T:0
S:SC
O:686140
T:610
S:SC
O:686140
T:0
S:SC
O:686140
T:5
S:SC
O:686140
T:3
S:SC
O:686140
T:78
S:UNK
O:?
T:3600
S:S
O:978683
T:3600
MRF/DBN/rus_20_40_7_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:735130
T:0
S:SC
O:735130
T:625
S:SC
O:735130
T:0
S:SC
O:735130
T:9
S:SC
O:735130
T:4
S:SC
O:735130
T:75
S:UNK
O:?
T:3600
S:S
O:968432
T:3600
MRF/DBN/rus_20_40_7_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:734363
T:0
S:SC
O:734363
T:620
S:SC
O:734363
T:0
S:SC
O:734363
T:6
S:SC
O:734363
T:5
S:SC
O:734363
T:89
S:UNK
O:?
T:3600
S:S
O:974622
T:3600
MRF/DBN/rus_20_40_7_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:708147
T:0
S:SC
O:708147
T:611
S:SC
O:708147
T:0
S:SC
O:708147
T:9
S:SC
O:708147
T:4
S:SC
O:708147
T:86
S:UNK
O:?
T:3600
S:S
O:942234
T:3600
MRF/DBN/rus_20_40_8_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:741060
T:0
S:SC
O:741060
T:626
S:SC
O:741060
T:0
S:SC
O:741060
T:7
S:SC
O:741060
T:4
S:SC
O:741060
T:81
S:UNK
O:?
T:3600
S:S
O:953046
T:3600
MRF/DBN/rus_20_40_8_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:701805
T:0
S:SC
O:701805
T:619
S:SC
O:701805
T:0
S:SC
O:701805
T:3
S:SC
O:701805
T:3
S:SC
O:701805
T:67
S:UNK
O:?
T:3600
S:S
O:990229
T:3600
MRF/DBN/rus_20_40_8_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:746088
T:0
S:SC
O:746088
T:621
S:SC
O:746088
T:0
S:SC
O:746088
T:5
S:SC
O:746088
T:3
S:SC
O:746088
T:88
S:UNK
O:?
T:3600
S:S
O:934608
T:3600
MRF/DBN/rus_20_40_9_1 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:708956
T:0
S:SC
O:708956
T:620
S:SC
O:708956
T:0
S:SC
O:708956
T:4
S:SC
O:708956
T:3
S:SC
O:708956
T:72
S:UNK
O:?
T:3600
S:S
O:952435
T:3600
MRF/DBN/rus_20_40_9_2 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:716223
T:0
S:SC
O:716223
T:618
S:SC
O:716223
T:0
S:SC
O:716223
T:9
S:SC
O:716223
T:8
S:SC
O:716223
T:161
S:UNK
O:?
T:3600
S:S
O:960000
T:3600
MRF/DBN/rus_20_40_9_3 : fig1
nbvar: 854
max_dom: 2
nbconstr: 1829
max_arity: 2
S:SC
O:709739
T:0
S:SC
O:709739
T:615
S:SC
O:709739
T:0
S:SC
O:709739
T:4
S:SC
O:709739
T:4
S:SC
O:709739
T:78
S:UNK
O:?
T:3600
S:S
O:1013811
T:3600
MRF/DBN/rus_50_100_2_3 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1375707
T:305
S:S
O:1378487
T:3600
S:SC
O:1375707
T:305
S:S
O:1375920
T:3600
S:S
O:1377282
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1778766
T:3600
MRF/DBN/rus_50_100_3_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1353162
T:33
S:S
O:1353162
T:3600
S:SC
O:1353162
T:33
S:SC
O:1353162
T:644
S:SC
O:1353162
T:802
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1826824
T:3600
MRF/DBN/rus_50_100_3_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1340579
T:361
S:S
O:1341252
T:3600
S:SC
O:1340579
T:361
S:S
O:1340579
T:3600
S:SC
O:1340579
T:1999
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1817488
T:3600
Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
MRF/DBN/rus_50_100_4_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1339006
T:402
S:S
O:1339006
T:3600
S:SC
O:1339006
T:402
S:S
O:1339006
T:3600
S:S
O:1339006
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1797235
T:3600
MRF/DBN/rus_50_100_4_3 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1320896
T:32
S:S
O:1321345
T:3600
S:SC
O:1320896
T:32
S:SC
O:1320896
T:1620
S:SC
O:1320896
T:1331
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1826221
T:3600
MRF/DBN/rus_50_100_6_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1383919
T:1758
S:S
O:1383924
T:3600
S:SC
O:1383919
T:1758
S:S
O:1384013
T:3600
S:S
O:1383924
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1791464
T:3600
MRF/DBN/rus_50_100_6_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1311546
T:25
S:S
O:1312862
T:3600
S:SC
O:1311546
T:25
S:SC
O:1311546
T:604
S:SC
O:1311546
T:400
S:S
O:1311555
T:3600
S:UNK
O:?
T:3600
S:S
O:1831250
T:3600
MRF/DBN/rus_50_100_7_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1346226
T:459
S:S
O:1346838
T:3600
S:SC
O:1346226
T:459
S:SC
O:1346226
T:2857
S:S
O:1346318
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1816218
T:3600
MRF/DBN/rus_50_100_7_2 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1344508
T:116
S:S
O:1344508
T:3600
S:SC
O:1344508
T:116
S:S
O:1347109
T:3600
S:S
O:1344508
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1807444
T:3600
MRF/DBN/rus_50_100_8_1 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1359414
T:103
S:S
O:1359414
T:3600
S:SC
O:1359414
T:103
S:S
O:1359414
T:3600
S:SC
O:1359414
T:2207
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1798965
T:3600
MRF/DBN/rus_50_100_9_3 : fig1
nbvar: 944
max_dom: 2
nbconstr: 6187
max_arity: 2
S:SC
O:1321353
T:41
S:S
O:1323126
T:3600
S:SC
O:1321353
T:41
S:SC
O:1321353
T:1080
S:S
O:1321637
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1859370
T:3600
MRF/Grid/grid20x20.f10 : fig1
nbvar: 400
max_dom: 2
nbconstr: 1160
max_arity: 2
S:SC
O:91581
T:9
S:SC
O:91581
T:456
S:S
O:93970
T:3600
S:SC
O:91581
T:9
S:S
O:91581
T:3600
S:SC
O:91581
T:61
S:UNK
O:?
T:3600
S:S
O:352509
T:3600
MRF/Grid/grid20x20.f10.wrap : fig1
nbvar: 400
max_dom: 2
nbconstr: 1200
max_arity: 2
S:SC
O:96412
T:10
S:SC
O:96412
T:1060
S:S
O:101725
T:3600
S:SC
O:96412
T:10
S:S
O:96608
T:3600
S:SC
O:96412
T:124
S:UNK
O:?
T:3600
S:S
O:365537
T:3600
MRF/Grid/grid20x20.f15 : fig1
nbvar: 400
max_dom: 2
nbconstr: 1160
max_arity: 2
S:SC
O:128075
T:10
S:SC
O:128075
T:455
S:S
O:132201
T:3600
S:SC
O:128075
T:10
S:S
O:128075
T:3600
S:SC
O:128075
T:103
S:UNK
O:?
T:3600
S:S
O:518927
T:3600
MRF/Grid/grid20x20.f15.wrap : fig1
nbvar: 400
max_dom: 2
nbconstr: 1200
max_arity: 2
S:SC
O:136511
T:11
S:SC
O:136511
T:1420
S:S
O:144264
T:3600
S:SC
O:136511
T:11
S:S
O:137196
T:3600
S:SC
O:136511
T:95
S:UNK
O:?
T:3600
S:S
O:539008
T:3600
MRF/Grid/grid20x20.f5.wrap : fig1
nbvar: 400
max_dom: 2
nbconstr: 1200
max_arity: 2
S:SC
O:55939
T:6
S:SC
O:55939
T:2728
S:S
O:58743
T:3600
S:SC
O:55939
T:6
S:SC
O:55939
T:3354
S:SC
O:55939
T:80
S:UNK
O:?
T:3600
S:S
O:191729
T:3600
MRF/Grid/grid40x40.f10 : fig1
nbvar: 1600
max_dom: 2
nbconstr: 4720
max_arity: 2
S:SC
O:370567
T:101
S:S
O:377723
T:3600
S:S
O:411886
T:3600
S:SC
O:370567
T:101
S:S
O:385642
T:3600
S:S
O:372714
T:3600
S:UNK
O:?
T:3600
S:S
O:1575920
T:3600
MRF/Grid/grid40x40.f10.wrap : fig1
nbvar: 1600
max_dom: 2
nbconstr: 4800
max_arity: 2
S:SC
O:398635
T:458
S:S
O:418394
T:3600
S:S
O:451951
T:3600
S:SC
O:398635
T:458
S:S
O:414707
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1696760
T:3600
MRF/Grid/grid40x40.f15 : fig1
nbvar: 1600
max_dom: 2
nbconstr: 4720
max_arity: 2
S:SC
O:521289
T:150
S:S
O:529642
T:3600
S:S
O:584617
T:3600
S:SC
O:521289
T:150
S:S
O:538559
T:3600
S:S
O:524341
T:3600
S:UNK
O:?
T:3600
S:S
O:2322955
T:3600
MRF/Grid/grid40x40.f15.wrap : fig1
nbvar: 1600
max_dom: 2
nbconstr: 4800
max_arity: 2
S:SC
O:562547
T:547
S:S
O:595756
T:3600
S:S
O:629378
T:3600
S:SC
O:562547
T:547
S:S
O:585740
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:mem
MRF/Grid/grid40x40.f2 : fig1
nbvar: 1600
max_dom: 2
nbconstr: 4720
max_arity: 2
S:SC
O:122308
T:12
S:S
O:122910
T:3600
S:S
O:129385
T:3600
S:SC
O:122308
T:12
S:S
O:122524
T:3600
S:SC
O:122308
T:994
S:UNK
O:?
T:3600
S:S
O:381384
T:3600
MRF/Grid/grid40x40.f2.wrap : fig1
nbvar: 1600
max_dom: 2
nbconstr: 4800
max_arity: 2
S:SC
O:128534
T:26
S:S
O:130042
T:3600
S:S
O:136834
T:3600
S:SC
O:128534
T:26
S:S
O:129380
T:3600
S:SC
O:128534
T:1554
S:UNK
O:?
T:3600
S:S
O:400948
T:3600
MRF/Grid/grid40x40.f5 : fig1
nbvar: 1600
max_dom: 2
nbconstr: 4720
max_arity: 2
S:SC
O:218240
T:40
S:S
O:220916
T:3600
S:S
O:241229
T:3600
S:SC
O:218240
T:40
S:S
O:230472
T:3600
S:SC
O:218240
T:1444
S:UNK
O:?
T:3600
S:S
O:829617
T:3600
MRF/Grid/grid40x40.f5.wrap : fig1
nbvar: 1600
max_dom: 2
nbconstr: 4800
max_arity: 2
S:SC
O:233621
T:201
S:S
O:237872
T:3600
S:S
O:261022
T:3600
S:SC
O:233621
T:201
S:S
O:242259
T:3600
S:S
O:236530
T:3600
S:UNK
O:?
T:3600
S:S
O:887123
T:3600
MRF/Grid/grid80x80.f10 : fig1
nbvar: 6400
max_dom: 2
nbconstr: 19040
max_arity: 2
S:S
O:1558819
T:3600
S:S
O:1625523
T:3600
S:S
O:1735381
T:3600
S:S
O:1558819
T:3600
S:S
O:1670197
T:3600
S:UNK
O:?
T:3600
S:UNK
O:4961845
T:3600
S:UNK
O:?
T:mem
MRF/Grid/grid80x80.f10.wrap : fig1
nbvar: 6400
max_dom: 2
nbconstr: 19200
max_arity: 2
S:S
O:1646415
T:3600
S:S
O:1675597
T:3600
S:S
O:1825090
T:3600
S:S
O:1646415
T:3600
S:S
O:1750752
T:3600
S:UNK
O:?
T:3600
S:UNK
O:5274355
T:3600
S:UNK
O:?
T:mem
MRF/Grid/grid80x80.f15 : fig1
nbvar: 6400
max_dom: 2
nbconstr: 19040
max_arity: 2
S:S
O:2239504
T:3600
S:S
O:2239504
T:3600
S:S
O:2460336
T:3600
S:S
O:2247126
T:3600
S:S
O:2322466
T:3600
S:UNK
O:?
T:3600
S:UNK
O:7408795
T:3600
S:UNK
O:?
T:mem
MRF/Grid/grid80x80.f15.wrap : fig1
nbvar: 6400
max_dom: 2
nbconstr: 19200
max_arity: 2
S:S
O:2293410
T:3600
S:S
O:2352258
T:3600
S:S
O:2557021
T:3600
S:S
O:2293410
T:3600
S:S
O:2450027
T:3600
S:UNK
O:?
T:3600
S:UNK
O:8985885
T:3600
S:UNK
O:?
T:mem
MRF/Grid/grid80x80.f2 : fig1
nbvar: 6400
max_dom: 2
nbconstr: 19040
max_arity: 2
S:SC
O:511424
T:121
S:S
O:517709
T:3600
S:S
O:541676
T:3600
S:SC
O:511424
T:121
S:S
O:518562
T:3600
S:S
O:514849
T:3600
S:UNK
O:1086465
T:3600
S:UNK
O:?
T:mem
MRF/Grid/grid80x80.f2.wrap : fig1
nbvar: 6400
max_dom: 2
nbconstr: 19200
max_arity: 2
S:SC
O:514152
T:111
S:S
O:521671
T:3600
S:S
O:542662
T:3600
S:SC
O:514152
T:111
S:S
O:523374
T:3600
S:S
O:516198
T:3600
S:UNK
O:1169150
T:3600
S:UNK
O:?
T:mem
MRF/Grid/grid80x80.f5 : fig1
nbvar: 6400
max_dom: 2
nbconstr: 19040
max_arity: 2
S:S
O:917946
T:3600
S:S
O:944006
T:3600
S:S
O:1007062
T:3600
S:S
O:917946
T:3600
S:S
O:955230
T:3600
S:UNK
O:?
T:3600
S:UNK
O:2515255
T:3600
S:UNK
O:?
T:mem
MRF/Grid/grid80x80.f5.wrap : fig1
nbvar: 6400
max_dom: 2
nbconstr: 19200
max_arity: 2
S:S
O:951943
T:3600
S:S
O:973547
T:3600
S:S
O:1042971
T:3600
S:S
O:951943
T:3600
S:S
O:991166
T:3600
S:UNK
O:?
T:3600
S:UNK
O:2712195
T:3600
S:UNK
O:?
T:mem
MRF/ImageAlignment/fileforGal_100markers : fig1
nbvar: 100
max_dom: 92
nbconstr: 1055
max_arity: 2
S:SC
O:133669
T:2
S:SC
O:133669
T:1572
S:SC
O:133669
T:2
S:S
O:1503861
T:mem
S:SC
O:133669
T:40
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1908575
T:3600
MRF/ImageAlignment/fileforGal_150markers : fig1
nbvar: 150
max_dom: 93
nbconstr: 1432
max_arity: 2
S:SC
O:288996
T:2
S:SC
O:288996
T:422
S:SC
O:288996
T:2
S:S
O:2195633
T:mem
S:SC
O:288996
T:53
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:2616195
T:3600
MRF/ImageAlignment/fileforGal_200markers : fig1
nbvar: 200
max_dom: 69
nbconstr: 2128
max_arity: 2
S:SC
O:475299
T:4
S:SC
O:475299
T:455
S:SC
O:475299
T:4
S:S
O:3617512
T:mem
S:SC
O:475299
T:102
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:3958395
T:3600
MRF/ImageAlignment/fileforGal_250markers : fig1
nbvar: 250
max_dom: 60
nbconstr: 2098
max_arity: 2
S:SC
O:474640
T:5
S:SC
O:474640
T:499
S:SC
O:474640
T:5
S:S
O:3483398
T:3600
S:SC
O:474640
T:101
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:3879204
T:3600
MRF/ImageAlignment/fileforGal_300markers : fig1
nbvar: 300
max_dom: 68
nbconstr: 2732
max_arity: 2
S:SC
O:483711
T:7
S:SC
O:483711
T:612
S:SC
O:483711
T:7
S:S
O:4480017
T:3600
S:SC
O:483711
T:157
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:5141994
T:3600
MRF/ImageAlignment/fileforGal_30markers : fig1
nbvar: 30
max_dom: 58
nbconstr: 465
max_arity: 2
S:SC
O:81614
T:0
S:SC
O:81614
T:336
S:SC
O:81614
T:0
S:S
O:643309
T:mem
S:SC
O:81614
T:9
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:549607
T:3600
MRF/ImageAlignment/fileforGal_350markers : fig1
nbvar: 350
max_dom: 77
nbconstr: 3563
max_arity: 2
S:SC
O:558106
T:11
S:SC
O:558106
T:959
S:SC
O:558106
T:11
S:S
O:6056147
T:mem
S:SC
O:558106
T:299
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:6908736
T:3600
MRF/ImageAlignment/fileforGal_400markers : fig1
nbvar: 400
max_dom: 83
nbconstr: 3334
max_arity: 2
S:SC
O:1013475
T:19
S:SC
O:1013480
T:1275
S:SC
O:1013475
T:19
S:S
O:4956085
T:mem
S:S
O:1014709
T:mem
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:6411986
T:3600
MRF/ImageAlignment/fileforGal_50markers : fig1
nbvar: 50
max_dom: 47
nbconstr: 536
max_arity: 2
S:SC
O:54465
T:1
S:SC
O:54465
T:522
S:SC
O:54465
T:1
S:S
O:498259
T:3600
S:SC
O:54465
T:10
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:861131
T:3600
MRF/ImageAlignment/fileforGal_80markers : fig1
nbvar: 80
max_dom: 49
nbconstr: 847
max_arity: 2
S:SC
O:122504
T:1
S:SC
O:122504
T:898
S:SC
O:122504
T:1
S:S
O:895525
T:3600
S:SC
O:122504
T:25
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1405862
T:3600
MRF/Linkage/pedigree1 : fig1
nbvar: 334
max_dom: 4
nbconstr: 577
max_arity: 5
S:SC
O:757
T:0
S:SC
O:757
T:341
S:SC
O:757
T:0
S:SC
O:757
T:21
S:SC
O:757
T:0
S:SC
O:757
T:0
S:SC
O:757
T:1
S:S
O:2506
T:3600
MRF/Linkage/pedigree13 : fig1
nbvar: 1077
max_dom: 3
nbconstr: 1838
max_arity: 4
S:SC
O:2030
T:3
S:SC
O:2030
T:2094
S:SC
O:2030
T:36
S:SC
O:2030
T:39
S:SC
O:2030
T:3
S:SC
O:2030
T:21
S:SC
O:2030
T:58
S:S
O:31221
T:3600
MRF/Linkage/pedigree18 : fig1
nbvar: 1184
max_dom: 5
nbconstr: 2019
max_arity: 5
S:SC
O:7021
T:2
S:SC
O:7021
T:387
S:SC
O:7021
T:1279
S:SC
O:7021
T:143
S:SC
O:7021
T:2
S:SC
O:7021
T:25
S:SC
O:7021
T:118
S:S
O:24348
T:3600
MRF/Linkage/pedigree19 : fig1
nbvar: 793
max_dom: 5
nbconstr: 1387
max_arity: 5
S:SC
O:4625
T:105
S:S
O:4626
T:3600
S:S
O:4765
T:3600
S:S
O:4876
T:3600
S:SC
O:4625
T:105
S:S
O:4866
T:3600
S:S
O:4845
T:3600
S:S
O:10134
T:3600
MRF/Linkage/pedigree20 : fig1
nbvar: 437
max_dom: 5
nbconstr: 744
max_arity: 4
S:SC
O:2532
T:2
S:SC
O:2532
T:466
S:SC
O:2532
T:4
S:S
O:2532
T:3600
S:SC
O:2532
T:2
S:SC
O:2532
T:4
S:SC
O:2532
T:16
S:S
O:5933
T:3600
MRF/Linkage/pedigree23 : fig1
nbvar: 402
max_dom: 5
nbconstr: 673
max_arity: 4
S:SC
O:2489
T:0
S:SC
O:2489
T:483
S:SC
O:2489
T:0
S:SC
O:2489
T:38
S:SC
O:2489
T:0
S:SC
O:2489
T:1
S:SC
O:2489
T:5
S:S
O:12698
T:3600
MRF/Linkage/pedigree25 : fig1
nbvar: 1289
max_dom: 5
nbconstr: 2151
max_arity: 5
S:SC
O:10630
T:2
S:SC
O:10630
T:421
S:S
O:10630
T:3600
S:SC
O:10630
T:32
S:SC
O:10630
T:2
S:SC
O:10630
T:114
S:SC
O:10630
T:332
S:UNK
O:?
T:mem
MRF/Linkage/pedigree30 : fig1
nbvar: 1289
max_dom: 5
nbconstr: 2184
max_arity: 5
S:SC
O:7341
T:3
S:SC
O:7341
T:387
S:SC
O:7341
T:3565
S:SC
O:7341
T:142
S:SC
O:7341
T:3
S:SC
O:7341
T:42
S:SC
O:7341
T:170
S:S
O:29048
T:3600
MRF/Linkage/pedigree31 : fig1
nbvar: 1183
max_dom: 5
nbconstr: 2020
max_arity: 5
S:SC
O:5258
T:24
S:S
O:5258
T:3600
S:S
O:5258
T:3600
S:S
O:5258
T:3600
S:SC
O:5258
T:24
S:SC
O:5258
T:529
S:SC
O:5258
T:746
S:S
O:21833
T:3600
MRF/Linkage/pedigree33 : fig1
nbvar: 798
max_dom: 4
nbconstr: 1429
max_arity: 5
S:SC
O:5855
T:3
S:SC
O:5855
T:490
S:SC
O:5855
T:35
S:SC
O:5855
T:145
S:SC
O:5855
T:3
S:SC
O:5855
T:16
S:SC
O:5855
T:70
S:S
O:29702
T:3600
MRF/Linkage/pedigree34 : fig1
nbvar: 1160
max_dom: 5
nbconstr: 1929
max_arity: 4
S:SC
O:6174
T:2
S:S
O:6174
T:3600
S:SC
O:6174
T:24
S:SC
O:6174
T:240
S:SC
O:6174
T:2
S:SC
O:6174
T:30
S:SC
O:6174
T:57
S:UNK
O:?
T:mem
Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
MRF/Linkage/pedigree37 : fig1
nbvar: 1032
max_dom: 5
nbconstr: 1742
max_arity: 4
S:SC
O:9080
T:2
S:SC
O:9080
T:530
S:SC
O:9080
T:13
S:SC
O:9080
T:57
S:SC
O:9080
T:2
S:SC
O:9080
T:3
S:SC
O:9080
T:23
S:S
O:30479
T:3600
MRF/Linkage/pedigree38 : fig1
nbvar: 724
max_dom: 5
nbconstr: 1244
max_arity: 4
S:SC
O:2941
T:1
S:SC
O:2941
T:513
S:SC
O:2941
T:2
S:SC
O:2941
T:157
S:SC
O:2941
T:1
S:SC
O:2941
T:1
S:SC
O:2941
T:6
S:S
O:11337
T:3600
MRF/Linkage/pedigree39 : fig1
nbvar: 1272
max_dom: 5
nbconstr: 2081
max_arity: 4
S:SC
O:11793
T:2
S:SC
O:11793
T:391
S:SC
O:11793
T:69
S:SC
O:11793
T:366
S:SC
O:11793
T:2
S:SC
O:11793
T:39
S:SC
O:11793
T:124
S:UNK
O:?
T:mem
MRF/Linkage/pedigree40 : fig1
nbvar: 1030
max_dom: 7
nbconstr: 1776
max_arity: 5
S:SC
O:7300
T:292
S:S
O:7330
T:3600
S:S
O:7515
T:3600
S:S
O:9745
T:3600
S:SC
O:7300
T:292
S:S
O:7580
T:3600
S:S
O:7691
T:3600
S:S
O:20423
T:3600
MRF/Linkage/pedigree41 : fig1
nbvar: 1062
max_dom: 5
nbconstr: 1806
max_arity: 5
S:SC
O:6618
T:12
S:SC
O:6618
T:543
S:S
O:6618
T:3600
S:S
O:6618
T:3600
S:SC
O:6618
T:12
S:SC
O:6618
T:99
S:SC
O:6618
T:327
S:S
O:26898
T:3600
MRF/Linkage/pedigree42 : fig1
nbvar: 448
max_dom: 5
nbconstr: 762
max_arity: 4
S:SC
O:1467
T:1
S:SC
O:1467
T:467
S:SC
O:1467
T:2
S:SC
O:1467
T:41
S:SC
O:1467
T:1
S:SC
O:1467
T:1
S:SC
O:1467
T:2
S:S
O:2698
T:3600
MRF/Linkage/pedigree44 : fig1
nbvar: 811
max_dom: 4
nbconstr: 1423
max_arity: 5
S:SC
O:6651
T:4
S:SC
O:6651
T:496
S:S
O:6788
T:3600
S:SC
O:6651
T:1935
S:SC
O:6651
T:4
S:SC
O:6651
T:34
S:SC
O:6651
T:108
S:S
O:27067
T:3600
MRF/Linkage/pedigree50 : fig1
nbvar: 514
max_dom: 6
nbconstr: 871
max_arity: 4
S:SC
O:1035
T:1
S:SC
O:1035
T:435
S:SC
O:1035
T:1
S:SC
O:1035
T:610
S:SC
O:1035
T:4
S:SC
O:1035
T:2
S:SC
O:1035
T:13
S:S
O:6179
T:3600
MRF/Linkage/pedigree51 : fig1
nbvar: 1152
max_dom: 5
nbconstr: 1982
max_arity: 4
S:SC
O:6406
T:13
S:S
O:6408
T:3600
S:S
O:6406
T:3600
S:SC
O:6406
T:1735
S:SC
O:6406
T:13
S:SC
O:6406
T:18
S:SC
O:6406
T:97
S:S
O:25014
T:mem
MRF/Linkage/pedigree7 : fig1
nbvar: 1068
max_dom: 4
nbconstr: 1782
max_arity: 4
S:SC
O:3548
T:2
S:SC
O:3548
T:856
S:SC
O:3548
T:76
S:SC
O:3548
T:139
S:SC
O:3548
T:2
S:SC
O:3548
T:10
S:SC
O:3548
T:35
S:UNK
O:?
T:mem
MRF/Linkage/pedigree9 : fig1
nbvar: 1118
max_dom: 7
nbconstr: 1910
max_arity: 4
S:SC
O:7040
T:4
S:SC
O:7040
T:508
S:S
O:7072
T:3600
S:S
O:7202
T:3600
S:SC
O:7040
T:4
S:SC
O:7040
T:62
S:SC
O:7040
T:171
S:S
O:34298
T:3600
MRF/ObjectDetection/deer_rescaled_0034.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:5195375
T:3600
S:S
O:5195375
T:3600
S:S
O:5245714
T:3600
S:S
O:6444758
T:3600
S:S
O:5295398
T:3600
S:UNK
O:6588150
T:3600
S:UNK
O:?
T:3600
S:S
O:6582794
T:3600
MRF/ObjectDetection/deer_rescaled_0034.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:6719952
T:3600
S:S
O:6719952
T:3600
S:S
O:6846220
T:3600
S:S
O:8423075
T:3600
S:S
O:8248147
T:3600
S:UNK
O:8120945
T:3600
S:UNK
O:?
T:3600
S:S
O:8650297
T:3600
MRF/ObjectDetection/deer_rescaled_0034.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:7672152
T:3600
S:S
O:7672152
T:3600
S:S
O:7774301
T:3600
S:S
O:10054302
T:3600
S:UNK
O:10364041
T:3600
S:UNK
O:9404645
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/deer_rescaled_0294.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:7666465
T:3600
S:S
O:7666465
T:3600
S:S
O:7676706
T:3600
S:S
O:9947968
T:3600
S:S
O:8070267
T:3600
S:UNK
O:9123325
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/deer_rescaled_0294.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:10024375
T:3600
S:S
O:10024375
T:3600
S:S
O:10077070
T:3600
S:S
O:12940466
T:3600
S:S
O:12954150
T:3600
S:UNK
O:11755500
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/deer_rescaled_0294.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:11472809
T:3600
S:S
O:11472809
T:3600
S:S
O:11582189
T:3600
S:S
O:14518050
T:3600
S:UNK
O:15406639
T:3600
S:UNK
O:13493850
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/deer_rescaled_1002.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:5449679
T:3600
S:S
O:5449679
T:3600
S:S
O:5464139
T:3600
S:S
O:6700472
T:3600
S:S
O:6165486
T:3600
S:UNK
O:6698155
T:3600
S:UNK
O:?
T:3600
S:S
O:6852142
T:3600
MRF/ObjectDetection/deer_rescaled_1002.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:6844239
T:3600
S:S
O:6844239
T:3600
S:S
O:6939175
T:3600
S:S
O:9036756
T:3600
S:S
O:7233953
T:3600
S:UNK
O:8496035
T:3600
S:UNK
O:?
T:3600
S:S
O:9222249
T:3600
MRF/ObjectDetection/deer_rescaled_1002.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:7985632
T:3600
S:S
O:7985632
T:3600
S:S
O:8033976
T:3600
S:S
O:10715863
T:3600
S:S
O:8104249
T:3600
S:UNK
O:9650465
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/deer_rescaled_1003.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:9104277
T:3600
S:S
O:9104277
T:3600
S:S
O:9244241
T:3600
S:S
O:12822050
T:3600
S:S
O:9511119
T:3600
S:UNK
O:11807150
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/deer_rescaled_1003.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:11500057
T:3600
S:S
O:11570424
T:3600
S:S
O:11500057
T:3600
S:S
O:15508760
T:3600
S:S
O:12929450
T:3600
S:UNK
O:14634850
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/deer_rescaled_1003.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:13488676
T:3600
S:S
O:13488676
T:3600
S:S
O:14142892
T:3600
S:S
O:17051050
T:3600
S:S
O:17049909
T:3600
S:UNK
O:17253850
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/deer_rescaled_3009.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:4328890
T:3600
S:S
O:4344544
T:3600
S:S
O:4328890
T:3600
S:S
O:4974006
T:3600
S:S
O:4472493
T:3600
S:UNK
O:5303815
T:3600
S:UNK
O:?
T:3600
S:S
O:5241258
T:3600
MRF/ObjectDetection/deer_rescaled_3009.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:5522204
T:3600
S:S
O:5567377
T:3600
S:S
O:5522204
T:3600
S:S
O:6762966
T:3600
S:S
O:6013980
T:3600
S:UNK
O:6980535
T:3600
S:UNK
O:?
T:3600
S:S
O:7048098
T:3600
MRF/ObjectDetection/deer_rescaled_3009.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:6465565
T:3600
S:S
O:6465565
T:3600
S:S
O:6527079
T:3600
S:S
O:8356228
T:3600
S:S
O:8728294
T:3600
S:UNK
O:7925500
T:3600
S:UNK
O:?
T:3600
S:S
O:8654128
T:3600
MRF/ObjectDetection/deer_rescaled_3020.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:6810493
T:3600
S:S
O:6918466
T:3600
S:S
O:6810493
T:3600
S:S
O:9308223
T:3600
S:UNK
O:9477604
T:3600
S:UNK
O:7707115
T:3600
S:UNK
O:?
T:3600
S:S
O:9418278
T:3600
MRF/ObjectDetection/giraffe_rescaled_0200.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:4354327
T:3600
S:S
O:4354327
T:3600
S:S
O:4426023
T:3600
S:S
O:5462400
T:3600
S:S
O:4489274
T:3600
S:UNK
O:5251025
T:3600
S:UNK
O:?
T:3600
S:S
O:5768500
T:3600
MRF/ObjectDetection/giraffe_rescaled_0200.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:5547438
T:3600
S:S
O:5547438
T:3600
S:S
O:5666025
T:3600
S:S
O:7056769
T:3600
S:S
O:7374378
T:3600
S:UNK
O:7052455
T:3600
S:UNK
O:?
T:3600
S:S
O:7344198
T:3600
MRF/ObjectDetection/giraffe_rescaled_0200.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:6481446
T:3600
S:S
O:6481446
T:3600
S:S
O:6593334
T:3600
S:S
O:8495270
T:3600
S:UNK
O:8945036
T:3600
S:UNK
O:7466395
T:3600
S:UNK
O:?
T:3600
S:S
O:8908833
T:3600
MRF/ObjectDetection/giraffe_rescaled_3016.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:6523307
T:3600
S:S
O:6523307
T:3600
S:S
O:6526607
T:3600
S:S
O:8208542
T:3600
S:S
O:7437039
T:3600
S:UNK
O:8307365
T:3600
S:UNK
O:?
T:3600
S:S
O:8076562
T:3600
MRF/ObjectDetection/giraffe_rescaled_3016.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:8756741
T:3600
S:S
O:8756741
T:3600
S:S
O:8845331
T:3600
S:S
O:11454250
T:3600
S:S
O:9619719
T:3600
S:UNK
O:10875450
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/giraffe_rescaled_3016.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:10944317
T:3600
S:S
O:10944317
T:3600
S:S
O:11106319
T:3600
S:S
O:14148450
T:3600
S:UNK
O:14561553
T:3600
S:UNK
O:12665250
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/giraffe_rescaled_4001.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:4441383
T:3600
S:S
O:4441383
T:3600
S:S
O:4449836
T:3600
S:S
O:5932341
T:3600
S:S
O:5904737
T:3600
S:UNK
O:5598035
T:3600
S:UNK
O:?
T:3600
S:S
O:5806505
T:3600
MRF/ObjectDetection/giraffe_rescaled_4001.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:5388313
T:3600
S:S
O:5388313
T:3600
S:S
O:5414508
T:3600
S:S
O:7367846
T:3600
S:S
O:6988201
T:3600
S:UNK
O:6505435
T:3600
S:UNK
O:?
T:3600
S:S
O:7270880
T:3600
MRF/ObjectDetection/giraffe_rescaled_5004.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:3741059
T:3600
S:S
O:3741059
T:3600
S:S
O:3754684
T:3600
S:S
O:4581624
T:3600
S:S
O:3972075
T:3600
S:UNK
O:4954850
T:3600
S:UNK
O:?
T:3600
S:S
O:4821632
T:3600
MRF/ObjectDetection/giraffe_rescaled_5004.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:5615583
T:3600
S:S
O:5615583
T:3600
S:S
O:5683645
T:3600
S:S
O:7157063
T:3600
S:S
O:5919180
T:3600
S:UNK
O:7349955
T:3600
S:UNK
O:?
T:3600
S:S
O:7195484
T:3600
MRF/ObjectDetection/giraffe_rescaled_5004.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:7177551
T:3600
S:S
O:7177551
T:3600
S:S
O:7224942
T:3600
S:S
O:9217283
T:3600
S:S
O:7466008
T:3600
S:UNK
O:9322950
T:3600
S:UNK
O:?
T:3600
S:S
O:9265661
T:3600
MRF/ObjectDetection/giraffe_rescaled_5009.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:5301046
T:3600
S:S
O:5334024
T:3600
S:S
O:5301046
T:3600
S:S
O:6805971
T:3600
S:S
O:5382629
T:3600
S:UNK
O:6868675
T:3600
S:UNK
O:?
T:3600
S:S
O:7070419
T:3600
MRF/ObjectDetection/giraffe_rescaled_5009.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:6593426
T:3600
S:S
O:6593426
T:3600
S:S
O:6599657
T:3600
S:S
O:8769946
T:3600
S:S
O:8511746
T:3600
S:UNK
O:8595595
T:3600
S:UNK
O:?
T:3600
S:S
O:8830563
T:3600
MRF/ObjectDetection/giraffe_rescaled_5009.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:8020158
T:3600
S:S
O:8020158
T:3600
S:S
O:8063593
T:3600
S:S
O:9927399
T:3600
S:S
O:9886924
T:3600
S:UNK
O:10485350
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
MRF/ObjectDetection/giraffe_rescaled_5016.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:4099186
T:3600
S:S
O:4099186
T:3600
S:S
O:4132856
T:3600
S:S
O:4958561
T:3600
S:S
O:4664844
T:3600
S:UNK
O:4565885
T:3600
S:UNK
O:?
T:3600
S:S
O:4920621
T:3600
MRF/ObjectDetection/giraffe_rescaled_5016.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:5028602
T:3600
S:S
O:5028602
T:3600
S:S
O:5093491
T:3600
S:S
O:6165753
T:3600
S:S
O:5947287
T:3600
S:UNK
O:5758850
T:3600
S:UNK
O:?
T:3600
S:S
O:6099653
T:3600
MRF/ObjectDetection/giraffe_rescaled_5021.K10.F100.model : fig1
nbvar: 60
max_dom: 11
nbconstr: 1830
max_arity: 2
S:S
O:2906671
T:3600
S:S
O:2906671
T:3600
S:S
O:2918976
T:3600
S:S
O:3788629
T:3600
S:S
O:3096536
T:3600
S:UNK
O:3493775
T:3600
S:UNK
O:?
T:3600
S:S
O:3879630
T:3600
MRF/ObjectDetection/giraffe_rescaled_5021.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:3792405
T:3600
S:S
O:3792405
T:3600
S:S
O:3811343
T:3600
S:S
O:4719123
T:3600
S:S
O:4695622
T:3600
S:UNK
O:4594635
T:3600
S:UNK
O:?
T:3600
S:S
O:4811847
T:3600
MRF/ObjectDetection/giraffe_rescaled_5021.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:4548338
T:3600
S:S
O:4548338
T:3600
S:S
O:4622382
T:3600
S:S
O:4801561
T:3600
S:UNK
O:5806605
T:3600
S:UNK
O:5457785
T:3600
S:UNK
O:?
T:3600
S:S
O:5700684
T:3600
MRF/ObjectDetection/giraffe_rescaled_5025.K15.F100.model : fig1
nbvar: 60
max_dom: 16
nbconstr: 1830
max_arity: 2
S:S
O:3932476
T:3600
S:S
O:3933473
T:3600
S:S
O:3932476
T:3600
S:S
O:4770271
T:3600
S:S
O:3956366
T:3600
S:UNK
O:4759065
T:3600
S:UNK
O:?
T:3600
S:S
O:4720130
T:3600
MRF/ObjectDetection/giraffe_rescaled_5025.K20.F100.model : fig1
nbvar: 60
max_dom: 21
nbconstr: 1830
max_arity: 2
S:S
O:4830369
T:3600
S:S
O:4830369
T:3600
S:S
O:4858465
T:3600
S:S
O:5927014
T:3600
S:UNK
O:6049557
T:3600
S:UNK
O:6067065
T:3600
S:UNK
O:?
T:3600
S:S
O:5977732
T:3600
MRF/ProteinFolding/1CKK : fig1
nbvar: 38
max_dom: 445
nbconstr: 741
max_arity: 2
S:SC
O:1131100
T:26
S:S
O:1166923
T:3600
S:SC
O:1131100
T:26
S:S
O:2114538
T:mem
S:UNK
O:2051989
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1981421
T:3600
MRF/ProteinFolding/1CM1 : fig1
nbvar: 37
max_dom: 350
nbconstr: 703
max_arity: 2
S:SC
O:1036240
T:17
S:S
O:1083890
T:3600
S:SC
O:1036240
T:17
S:UNK
O:1972619
T:3600
S:UNK
O:1800820
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1663507
T:3600
Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
MRF/ProteinFolding/1SY9 : fig1
nbvar: 33
max_dom: 503
nbconstr: 561
max_arity: 2
S:SC
O:746968
T:16
S:S
O:771453
T:3600
S:SC
O:746968
T:16
S:S
O:1476389
T:mem
S:UNK
O:1441205
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1333245
T:3600
MRF/ProteinFolding/2BBN : fig1
nbvar: 37
max_dom: 404
nbconstr: 703
max_arity: 2
S:SC
O:1076416
T:40
S:S
O:1106054
T:3600
S:SC
O:1076416
T:40
S:UNK
O:?
T:mem
S:UNK
O:?
T:mem
S:UNK
O:?
T:3600
S:UNK
O:2012185
T:mem
S:S
O:1932988
T:3600
MRF/ProteinFolding/2BCX : fig1
nbvar: 39
max_dom: 483
nbconstr: 780
max_arity: 2
S:SC
O:1279120
T:73
S:S
O:1318918
T:3600
S:SC
O:1279120
T:73
S:UNK
O:?
T:mem
S:UNK
O:?
T:mem
S:UNK
O:?
T:3600
S:UNK
O:2236525
T:mem
S:S
O:2090141
T:3600
MRF/ProteinFolding/2BE6 : fig1
nbvar: 40
max_dom: 470
nbconstr: 820
max_arity: 2
S:SC
O:902979
T:17
S:S
O:937118
T:3600
S:SC
O:902979
T:17
S:S
O:1926259
T:mem
S:UNK
O:1795954
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1542184
T:3600
MRF/ProteinFolding/2F3Y : fig1
nbvar: 35
max_dom: 439
nbconstr: 630
max_arity: 2
S:SC
O:1117062
T:66
S:S
O:1129058
T:3600
S:SC
O:1117062
T:66
S:S
O:2154062
T:mem
S:UNK
O:1943809
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1846703
T:3600
MRF/ProteinFolding/2FOT : fig1
nbvar: 35
max_dom: 375
nbconstr: 630
max_arity: 2
S:SC
O:1177658
T:30
S:S
O:1200100
T:3600
S:SC
O:1177658
T:30
S:S
O:2201835
T:mem
S:UNK
O:1939478
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1858855
T:3600
MRF/ProteinFolding/2HQW : fig1
nbvar: 36
max_dom: 459
nbconstr: 666
max_arity: 2
S:SC
O:1211526
T:20
S:S
O:1251646
T:3600
S:SC
O:1211526
T:20
S:S
O:2179925
T:mem
S:UNK
O:2072336
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1912375
T:3600
MRF/ProteinFolding/2O60 : fig1
nbvar: 38
max_dom: 496
nbconstr: 741
max_arity: 2
S:SC
O:1197085
T:38
S:S
O:1283435
T:3600
S:SC
O:1197085
T:38
S:UNK
O:?
T:mem
S:UNK
O:2138410
T:3600
S:UNK
O:?
T:3600
S:UNK
O:2136750
T:mem
S:S
O:2047562
T:3600
MRF/ProteinFolding/3BXL : fig1
nbvar: 36
max_dom: 380
nbconstr: 666
max_arity: 2
S:SC
O:1029725
T:26
S:S
O:1029995
T:3600
S:SC
O:1029725
T:26
S:UNK
O:1990127
T:mem
S:UNK
O:1928886
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:S
O:1761503
T:3600
MRF/ProteinFolding/pdb1b25 : fig1
nbvar: 1972
max_dom: 81
nbconstr: 8816
max_arity: 2
S:SC
O:195270
T:34
S:S
O:202923
T:3600
S:SC
O:195270
T:34
S:SC
O:195270
T:740
S:S
O:195270
T:3600
S:S
O:254957
T:3600
S:S
O:514347
T:3600
S:UNK
O:?
T:mem
MRF/ProteinFolding/pdb1d2e : fig1
nbvar: 1328
max_dom: 81
nbconstr: 5219
max_arity: 2
S:SC
O:87369
T:2
S:S
O:88519
T:3600
S:SC
O:87369
T:2
S:SC
O:87369
T:31
S:SC
O:87369
T:583
S:S
O:94194
T:3600
S:S
O:120615
T:3600
S:UNK
O:?
T:mem
MRF/ProteinFolding/pdb1fmj : fig1
nbvar: 614
max_dom: 81
nbconstr: 2759
max_arity: 2
S:SC
O:50662
T:3
S:S
O:50800
T:3600
S:SC
O:50662
T:3
S:SC
O:50662
T:124
S:SC
O:50662
T:196
S:S
O:60099
T:3600
S:S
O:71263
T:3600
S:S
O:957085
T:3600
MRF/ProteinFolding/pdb1i24 : fig1
nbvar: 337
max_dom: 81
nbconstr: 1359
max_arity: 2
S:SC
O:22554
T:1
S:S
O:22554
T:3600
S:SC
O:22554
T:1
S:SC
O:22554
T:7
S:SC
O:22554
T:15
S:SC
O:22554
T:309
S:S
O:26222
T:3600
S:S
O:468031
T:3600
MRF/ProteinFolding/pdb1iqc : fig1
nbvar: 1040
max_dom: 81
nbconstr: 4041
max_arity: 2
S:SC
O:49470
T:2
S:S
O:49514
T:3600
S:SC
O:49470
T:2
S:SC
O:49470
T:30
S:SC
O:49470
T:74
S:SC
O:49470
T:228
S:S
O:57253
T:3600
S:UNK
O:?
T:mem
MRF/ProteinFolding/pdb1jmx : fig1
nbvar: 739
max_dom: 81
nbconstr: 2942
max_arity: 2
S:SC
O:58671
T:2
S:S
O:58771
T:3600
S:SC
O:58671
T:2
S:SC
O:58671
T:51
S:SC
O:58671
T:150
S:S
O:63926
T:3600
S:S
O:88087
T:3600
S:S
O:1139218
T:3600
MRF/ProteinFolding/pdb1kgn : fig1
nbvar: 1060
max_dom: 81
nbconstr: 4714
max_arity: 2
S:SC
O:111363
T:5
S:S
O:112817
T:3600
S:SC
O:111363
T:5
S:SC
O:111363
T:272
S:SC
O:111363
T:223
S:S
O:126901
T:3600
S:S
O:167512
T:3600
S:UNK
O:?
T:mem
MRF/ProteinFolding/pdb1kwh : fig1
nbvar: 424
max_dom: 81
nbconstr: 1880
max_arity: 2
S:SC
O:34168
T:1
S:S
O:34168
T:3600
S:SC
O:34168
T:1
S:SC
O:34168
T:39
S:SC
O:34168
T:64
S:S
O:37815
T:3600
S:S
O:46559
T:3600
S:S
O:670493
T:3600
MRF/ProteinFolding/pdb1m3y : fig1
nbvar: 1364
max_dom: 81
nbconstr: 5036
max_arity: 2
S:SC
O:131510
T:3
S:S
O:134406
T:3600
S:SC
O:131510
T:3
S:SC
O:131510
T:198
S:SC
O:131510
T:133
S:S
O:167633
T:3600
S:S
O:204241
T:3600
S:UNK
O:?
T:mem
MRF/ProteinFolding/pdb1qks : fig1
nbvar: 926
max_dom: 81
nbconstr: 3711
max_arity: 2
S:SC
O:78894
T:3
S:S
O:79452
T:3600
S:SC
O:78894
T:3
S:SC
O:78894
T:202
S:SC
O:78894
T:148
S:S
O:89693
T:3600
S:S
O:112812
T:3600
S:S
O:1483428
T:3600
MRF/Segmentation/10_14_s.21 : fig1
nbvar: 231
max_dom: 21
nbconstr: 861
max_arity: 2
S:SC
O:44573
T:0
S:S
O:44573
T:3600
S:SC
O:44573
T:0
S:S
O:53011
T:3600
S:SC
O:44573
T:6
S:S
O:119460
T:3600
S:S
O:119674
T:3600
S:S
O:116352
T:3600
MRF/Segmentation/10_14_s.binary : fig1
nbvar: 231
max_dom: 2
nbconstr: 861
max_arity: 2
S:SC
O:8412
T:0
S:SC
O:8412
T:358
S:SC
O:8412
T:0
S:SC
O:8412
T:0
S:SC
O:8412
T:0
S:SC
O:8412
T:0
S:SC
O:8412
T:23
S:S
O:25056
T:3600
MRF/Segmentation/10_16_s.21 : fig1
nbvar: 233
max_dom: 21
nbconstr: 872
max_arity: 2
S:SC
O:43864
T:0
S:S
O:43864
T:3600
S:SC
O:43864
T:0
S:S
O:49697
T:3600
S:SC
O:43864
T:5
S:S
O:115565
T:3600
S:S
O:115565
T:3600
S:S
O:115230
T:3600
MRF/Segmentation/10_16_s.binary : fig1
nbvar: 233
max_dom: 2
nbconstr: 872
max_arity: 2
S:SC
O:10016
T:0
S:SC
O:10016
T:360
S:SC
O:10016
T:0
S:SC
O:10016
T:0
S:SC
O:10016
T:0
S:SC
O:10016
T:0
S:SC
O:10016
T:22
S:S
O:22290
T:3600
MRF/Segmentation/11_17_s.21 : fig1
nbvar: 228
max_dom: 21
nbconstr: 852
max_arity: 2
S:SC
O:30882
T:1
S:S
O:30882
T:3600
S:SC
O:30882
T:1
S:S
O:37304
T:3600
S:SC
O:30882
T:5
S:S
O:48671
T:3600
S:UNK
O:?
T:3600
S:S
O:48715
T:3600
MRF/Segmentation/11_17_s.binary : fig1
nbvar: 228
max_dom: 2
nbconstr: 852
max_arity: 2
S:SC
O:5684
T:0
S:SC
O:5684
T:381
S:SC
O:5684
T:0
S:SC
O:5684
T:0
S:SC
O:5684
T:0
S:SC
O:5684
T:0
S:SC
O:5684
T:24
S:S
O:20409
T:3600
MRF/Segmentation/11_3_s.21 : fig1
nbvar: 232
max_dom: 21
nbconstr: 867
max_arity: 2
S:SC
O:25884
T:1
S:S
O:25894
T:3600
S:SC
O:25884
T:1
S:S
O:34157
T:3600
S:SC
O:25884
T:7
S:S
O:35235
T:3600
S:S
O:35235
T:3600
S:S
O:35643
T:3600
MRF/Segmentation/11_3_s.binary : fig1
nbvar: 232
max_dom: 2
nbconstr: 867
max_arity: 2
S:SC
O:5991
T:0
S:SC
O:5991
T:382
S:SC
O:5991
T:0
S:SC
O:5991
T:0
S:SC
O:5991
T:0
S:SC
O:5991
T:0
S:SC
O:5991
T:22
S:S
O:6127
T:3600
MRF/Segmentation/11_4_s.21 : fig1
nbvar: 230
max_dom: 21
nbconstr: 853
max_arity: 2
S:SC
O:38591
T:0
S:SC
O:38591
T:873
S:SC
O:38591
T:0
S:S
O:41524
T:3600
S:SC
O:38591
T:6
S:S
O:136357
T:3600
S:S
O:136357
T:3600
S:S
O:135316
T:3600
MRF/Segmentation/11_4_s.binary : fig1
nbvar: 230
max_dom: 2
nbconstr: 853
max_arity: 2
S:SC
O:8642
T:0
S:SC
O:8642
T:381
S:SC
O:8642
T:0
S:SC
O:8642
T:0
S:SC
O:8642
T:0
S:SC
O:8642
T:0
S:SC
O:8642
T:22
S:S
O:11746
T:3600
MRF/Segmentation/12_15_s.21 : fig1
nbvar: 231
max_dom: 21
nbconstr: 856
max_arity: 2
S:SC
O:28025
T:1
S:S
O:28025
T:3600
S:SC
O:28025
T:1
S:S
O:38059
T:3600
S:SC
O:28025
T:9
S:S
O:62913
T:3600
S:S
O:62913
T:3600
S:S
O:63321
T:3600
MRF/Segmentation/12_15_s.binary : fig1
nbvar: 231
max_dom: 2
nbconstr: 856
max_arity: 2
S:SC
O:4885
T:0
S:SC
O:4885
T:357
S:SC
O:4885
T:0
S:SC
O:4885
T:0
S:SC
O:4885
T:0
S:SC
O:4885
T:0
S:SC
O:4885
T:27
S:S
O:5021
T:3600
MRF/Segmentation/12_20_s.21 : fig1
nbvar: 230
max_dom: 21
nbconstr: 851
max_arity: 2
S:SC
O:39808
T:0
S:S
O:39808
T:3600
S:SC
O:39808
T:0
S:S
O:44443
T:3600
S:SC
O:39808
T:6
S:S
O:110764
T:3600
S:S
O:110764
T:3600
S:S
O:109047
T:3600
MRF/Segmentation/12_20_s.binary : fig1
nbvar: 230
max_dom: 2
nbconstr: 851
max_arity: 2
S:SC
O:4662
T:0
S:SC
O:4662
T:361
S:SC
O:4662
T:0
S:SC
O:4662
T:0
S:SC
O:4662
T:0
S:SC
O:4662
T:0
S:SC
O:4662
T:23
S:S
O:4798
T:3600
MRF/Segmentation/12_4_s.21 : fig1
nbvar: 224
max_dom: 21
nbconstr: 832
max_arity: 2
S:SC
O:26472
T:1
S:S
O:26472
T:3600
S:SC
O:26472
T:1
S:S
O:37219
T:3600
S:SC
O:26472
T:9
S:S
O:34295
T:3600
S:S
O:34295
T:3600
S:S
O:34703
T:3600
MRF/Segmentation/12_4_s.binary : fig1
nbvar: 224
max_dom: 2
nbconstr: 832
max_arity: 2
S:SC
O:7238
T:0
S:SC
O:7238
T:355
S:SC
O:7238
T:0
S:SC
O:7238
T:0
S:SC
O:7238
T:0
S:SC
O:7238
T:0
S:SC
O:7238
T:21
S:S
O:8102
T:3600
MRF/Segmentation/13_14_s.21 : fig1
nbvar: 221
max_dom: 21
nbconstr: 836
max_arity: 2
S:SC
O:26324
T:1
S:SC
O:26324
T:527
S:SC
O:26324
T:1
S:S
O:54984
T:3600
S:SC
O:26324
T:7
S:S
O:31386
T:3600
S:S
O:31386
T:3600
S:S
O:31789
T:3600
MRF/Segmentation/13_14_s.binary : fig1
nbvar: 221
max_dom: 2
nbconstr: 836
max_arity: 2
S:SC
O:6282
T:0
S:SC
O:6282
T:369
S:SC
O:6282
T:0
S:SC
O:6282
T:0
S:SC
O:6282
T:0
S:SC
O:6282
T:23
S:SC
O:6282
T:20
S:S
O:20359
T:3600
MRF/Segmentation/13_30_s.21 : fig1
nbvar: 227
max_dom: 21
nbconstr: 841
max_arity: 2
S:SC
O:26605
T:1
S:S
O:26605
T:3600
S:SC
O:26605
T:1
S:S
O:37320
T:3600
S:SC
O:26605
T:6
S:S
O:52109
T:3600
S:S
O:52434
T:3600
S:S
O:52842
T:3600
MRF/Segmentation/13_30_s.binary : fig1
nbvar: 227
max_dom: 2
nbconstr: 841
max_arity: 2
S:SC
O:10398
T:0
S:SC
O:10398
T:381
S:SC
O:10398
T:0
S:SC
O:10398
T:0
S:SC
O:10398
T:0
S:SC
O:10398
T:23
S:SC
O:10398
T:23
S:S
O:14544
T:3600
MRF/Segmentation/13_9_s.21 : fig1
nbvar: 228
max_dom: 21
nbconstr: 839
max_arity: 2
S:SC
O:28742
T:1
S:S
O:28742
T:3600
S:SC
O:28742
T:1
S:S
O:56502
T:3600
S:SC
O:28742
T:6
S:S
O:37250
T:3600
S:S
O:37250
T:3600
S:S
O:37658
T:3600
MRF/Segmentation/13_9_s.binary : fig1
nbvar: 228
max_dom: 2
nbconstr: 839
max_arity: 2
S:SC
O:5642
T:0
S:SC
O:5642
T:362
S:SC
O:5642
T:0
S:SC
O:5642
T:0
S:SC
O:5642
T:0
S:SC
O:5642
T:0
S:SC
O:5642
T:0
S:S
O:23923
T:3600
MRF/Segmentation/14_26_s.21 : fig1
nbvar: 228
max_dom: 21
nbconstr: 850
max_arity: 2
S:SC
O:28780
T:1
S:S
O:28780
T:3600
S:SC
O:28780
T:1
S:S
O:36081
T:3600
S:SC
O:28780
T:7
S:S
O:44058
T:3600
S:S
O:44058
T:3600
S:S
O:44466
T:3600
MRF/Segmentation/14_26_s.binary : fig1
nbvar: 228
max_dom: 2
nbconstr: 850
max_arity: 2
S:SC
O:7792
T:0
S:SC
O:7792
T:371
S:SC
O:7792
T:0
S:SC
O:7792
T:0
S:SC
O:7792
T:0
S:SC
O:7792
T:0
S:SC
O:7792
T:24
S:S
O:13119
T:3600
MRF/Segmentation/14_30_s.21 : fig1
nbvar: 228
max_dom: 21
nbconstr: 852
max_arity: 2
S:SC
O:29901
T:1
S:S
O:29901
T:3600
S:SC
O:29901
T:1
S:S
O:40851
T:3600
S:SC
O:29901
T:6
S:S
O:41829
T:3600
S:S
O:41829
T:3600
S:S
O:42237
T:3600
MRF/Segmentation/14_30_s.binary : fig1
nbvar: 228
max_dom: 2
nbconstr: 852
max_arity: 2
S:SC
O:6439
T:0
S:SC
O:6439
T:365
S:SC
O:6439
T:0
S:SC
O:6439
T:0
S:SC
O:6439
T:0
S:SC
O:6439
T:10
S:SC
O:6439
T:23
S:S
O:6575
T:3600
MRF/Segmentation/15_3_s.21 : fig1
nbvar: 231
max_dom: 21
nbconstr: 858
max_arity: 2
S:SC
O:31571
T:1
S:S
O:31620
T:3600
S:SC
O:31571
T:1
S:S
O:48143
T:3600
S:SC
O:31571
T:8
S:S
O:42263
T:3600
S:S
O:42263
T:3600
S:S
O:42671
T:3600
MRF/Segmentation/15_3_s.binary : fig1
nbvar: 231
max_dom: 2
nbconstr: 858
max_arity: 2
S:SC
O:6843
T:0
S:SC
O:6843
T:381
S:SC
O:6843
T:0
S:SC
O:6843
T:0
S:SC
O:6843
T:0
S:SC
O:6843
T:10
S:SC
O:6843
T:20
S:S
O:10499
T:3600
MRF/Segmentation/16_16_s.21 : fig1
nbvar: 226
max_dom: 21
nbconstr: 842
max_arity: 2
S:SC
O:24787
T:1
S:SC
O:24787
T:1115
S:SC
O:24787
T:1
S:S
O:28291
T:3600
S:SC
O:24787
T:5
S:S
O:36063
T:3600
S:S
O:36063
T:3600
S:S
O:36471
T:3600
MRF/Segmentation/16_16_s.binary : fig1
nbvar: 226
max_dom: 2
nbconstr: 842
max_arity: 2
S:SC
O:7285
T:0
S:SC
O:7285
T:365
S:SC
O:7285
T:0
S:SC
O:7285
T:0
S:SC
O:7285
T:0
S:SC
O:7285
T:11
S:SC
O:7285
T:25
S:S
O:7421
T:3600
MRF/Segmentation/16_18_s.21 : fig1
nbvar: 232
max_dom: 21
nbconstr: 860
max_arity: 2
S:SC
O:36716
T:1
S:S
O:36720
T:3600
S:SC
O:36716
T:1
S:S
O:52452
T:3600
S:SC
O:36716
T:6
S:S
O:59280
T:3600
S:S
O:59280
T:3600
S:S
O:59688
T:3600
Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
MRF/Segmentation/16_18_s.binary : fig1
nbvar: 232
max_dom: 2
nbconstr: 860
max_arity: 2
S:SC
O:6994
T:0
S:SC
O:6994
T:364
S:SC
O:6994
T:0
S:SC
O:6994
T:0
S:SC
O:6994
T:0
S:SC
O:6994
T:0
S:SC
O:6994
T:27
S:S
O:22995
T:3600
MRF/Segmentation/17_4_s.21 : fig1
nbvar: 231
max_dom: 21
nbconstr: 864
max_arity: 2
S:SC
O:26904
T:1
S:S
O:26915
T:3600
S:SC
O:26904
T:1
S:S
O:53728
T:3600
S:SC
O:26904
T:6
S:S
O:33852
T:3600
S:S
O:33852
T:3600
S:S
O:34260
T:3600
MRF/Segmentation/17_4_s.binary : fig1
nbvar: 231
max_dom: 2
nbconstr: 864
max_arity: 2
S:SC
O:9473
T:0
S:SC
O:9473
T:381
S:SC
O:9473
T:0
S:SC
O:9473
T:0
S:SC
O:9473
T:0
S:SC
O:9473
T:0
S:SC
O:9473
T:25
S:S
O:14370
T:3600
MRF/Segmentation/18_10_s.21 : fig1
nbvar: 225
max_dom: 21
nbconstr: 837
max_arity: 2
S:SC
O:32818
T:1
S:S
O:32965
T:3600
S:SC
O:32818
T:1
S:S
O:56926
T:3600
S:SC
O:32818
T:6
S:S
O:33050
T:3600
S:S
O:33050
T:3600
S:S
O:33391
T:3600
MRF/Segmentation/18_10_s.binary : fig1
nbvar: 225
max_dom: 2
nbconstr: 837
max_arity: 2
S:SC
O:6598
T:0
S:SC
O:6598
T:381
S:SC
O:6598
T:0
S:SC
O:6598
T:0
S:SC
O:6598
T:0
S:SC
O:6598
T:9
S:SC
O:6598
T:20
S:S
O:23961
T:3600
MRF/Segmentation/18_11_s.21 : fig1
nbvar: 222
max_dom: 21
nbconstr: 822
max_arity: 2
S:SC
O:29769
T:1
S:SC
O:29769
T:3320
S:SC
O:29769
T:1
S:S
O:61098
T:3600
S:SC
O:29769
T:5
S:S
O:33123
T:3600
S:UNK
O:?
T:3600
S:S
O:33531
T:3600
MRF/Segmentation/18_11_s.binary : fig1
nbvar: 222
max_dom: 2
nbconstr: 822
max_arity: 2
S:SC
O:7410
T:0
S:SC
O:7410
T:364
S:SC
O:7410
T:0
S:SC
O:7410
T:0
S:SC
O:7410
T:0
S:SC
O:7410
T:0
S:SC
O:7410
T:20
S:S
O:21390
T:3600
MRF/Segmentation/18_1_s.21 : fig1
nbvar: 225
max_dom: 21
nbconstr: 832
max_arity: 2
S:SC
O:22600
T:1
S:S
O:22600
T:3600
S:SC
O:22600
T:1
S:S
O:52689
T:3600
S:SC
O:22600
T:6
S:UNK
O:?
T:3600
S:S
O:26823
T:3600
S:S
O:27231
T:3600
MRF/Segmentation/18_1_s.binary : fig1
nbvar: 225
max_dom: 2
nbconstr: 832
max_arity: 2
S:SC
O:4758
T:0
S:SC
O:4758
T:357
S:SC
O:4758
T:0
S:SC
O:4758
T:0
S:SC
O:4758
T:0
S:SC
O:4758
T:0
S:SC
O:4758
T:21
S:S
O:4894
T:3600
MRF/Segmentation/18_21_s.21 : fig1
nbvar: 231
max_dom: 21
nbconstr: 850
max_arity: 2
S:SC
O:24051
T:1
S:SC
O:24051
T:788
S:SC
O:24051
T:1
S:S
O:27460
T:3600
S:SC
O:24051
T:6
S:S
O:61482
T:3600
S:S
O:61482
T:3600
S:S
O:61821
T:3600
MRF/Segmentation/18_21_s.binary : fig1
nbvar: 231
max_dom: 2
nbconstr: 850
max_arity: 2
S:SC
O:7107
T:0
S:SC
O:7107
T:374
S:SC
O:7107
T:0
S:SC
O:7107
T:0
S:SC
O:7107
T:0
S:SC
O:7107
T:10
S:SC
O:7107
T:51
S:S
O:7264
T:3600
MRF/Segmentation/18_30_s.21 : fig1
nbvar: 229
max_dom: 21
nbconstr: 853
max_arity: 2
S:SC
O:40310
T:0
S:S
O:40310
T:3600
S:SC
O:40310
T:0
S:S
O:44384
T:3600
S:SC
O:40310
T:8
S:S
O:129010
T:3600
S:UNK
O:?
T:3600
S:S
O:125179
T:3600
MRF/Segmentation/18_30_s.binary : fig1
nbvar: 229
max_dom: 2
nbconstr: 853
max_arity: 2
S:SC
O:4923
T:0
S:SC
O:4923
T:368
S:SC
O:4923
T:0
S:SC
O:4923
T:0
S:SC
O:4923
T:0
S:SC
O:4923
T:0
S:SC
O:4923
T:19
S:S
O:5059
T:3600
MRF/Segmentation/19_12_s.21 : fig1
nbvar: 233
max_dom: 21
nbconstr: 861
max_arity: 2
S:SC
O:35625
T:1
S:S
O:35625
T:3600
S:SC
O:35625
T:1
S:S
O:41131
T:3600
S:SC
O:35625
T:8
S:S
O:65869
T:3600
S:S
O:65869
T:3600
S:S
O:65740
T:3600
MRF/Segmentation/19_12_s.binary : fig1
nbvar: 233
max_dom: 2
nbconstr: 861
max_arity: 2
S:SC
O:8201
T:0
S:SC
O:8201
T:373
S:SC
O:8201
T:0
S:SC
O:8201
T:0
S:SC
O:8201
T:0
S:SC
O:8201
T:27
S:SC
O:8201
T:23
S:S
O:13041
T:3600
MRF/Segmentation/19_20_s.21 : fig1
nbvar: 232
max_dom: 21
nbconstr: 859
max_arity: 2
S:SC
O:37587
T:1
S:S
O:37724
T:3600
S:SC
O:37587
T:1
S:S
O:44614
T:3600
S:SC
O:37587
T:9
S:S
O:63549
T:3600
S:S
O:63549
T:3600
S:S
O:61962
T:3600
MRF/Segmentation/19_20_s.binary : fig1
nbvar: 232
max_dom: 2
nbconstr: 859
max_arity: 2
S:SC
O:7255
T:0
S:SC
O:7255
T:371
S:SC
O:7255
T:0
S:SC
O:7255
T:0
S:SC
O:7255
T:0
S:SC
O:7255
T:11
S:SC
O:7255
T:26
S:S
O:19656
T:3600
MRF/Segmentation/19_25_s.21 : fig1
nbvar: 228
max_dom: 21
nbconstr: 847
max_arity: 2
S:SC
O:37883
T:1
S:S
O:37883
T:3600
S:SC
O:37883
T:1
S:S
O:56107
T:3600
S:SC
O:37883
T:7
S:S
O:72581
T:3600
S:S
O:72581
T:3600
S:S
O:72800
T:3600
MRF/Segmentation/19_25_s.binary : fig1
nbvar: 228
max_dom: 2
nbconstr: 847
max_arity: 2
S:SC
O:11052
T:0
S:SC
O:11052
T:382
S:SC
O:11052
T:0
S:SC
O:11052
T:0
S:SC
O:11052
T:0
S:SC
O:11052
T:0
S:SC
O:11052
T:24
S:S
O:16472
T:3600
MRF/Segmentation/19_4_s.21 : fig1
nbvar: 230
max_dom: 21
nbconstr: 858
max_arity: 2
S:SC
O:24423
T:1
S:S
O:24423
T:3600
S:SC
O:24423
T:1
S:S
O:32854
T:3600
S:SC
O:24423
T:9
S:S
O:29722
T:3600
S:S
O:29722
T:3600
S:S
O:30130
T:3600
MRF/Segmentation/19_4_s.binary : fig1
nbvar: 230
max_dom: 2
nbconstr: 858
max_arity: 2
S:SC
O:7616
T:0
S:SC
O:7616
T:379
S:SC
O:7616
T:0
S:SC
O:7616
T:0
S:SC
O:7616
T:0
S:SC
O:7616
T:0
S:SC
O:7616
T:20
S:S
O:15954
T:3600
MRF/Segmentation/1_28_s.21 : fig1
nbvar: 230
max_dom: 21
nbconstr: 850
max_arity: 2
S:SC
O:35910
T:0
S:SC
O:35910
T:608
S:SC
O:35910
T:0
S:S
O:37121
T:3600
S:SC
O:35910
T:6
S:S
O:109634
T:3600
S:S
O:109634
T:3600
S:S
O:108293
T:3600
MRF/Segmentation/1_28_s.binary : fig1
nbvar: 230
max_dom: 2
nbconstr: 850
max_arity: 2
S:SC
O:3934
T:0
S:SC
O:3934
T:362
S:SC
O:3934
T:0
S:SC
O:3934
T:0
S:SC
O:3934
T:0
S:SC
O:3934
T:0
S:SC
O:3934
T:25
S:S
O:4070
T:3600
MRF/Segmentation/20_12_s.21 : fig1
nbvar: 227
max_dom: 21
nbconstr: 845
max_arity: 2
S:SC
O:22046
T:1
S:S
O:22046
T:3600
S:SC
O:22046
T:1
S:S
O:47609
T:3600
S:SC
O:22046
T:6
S:UNK
O:?
T:3600
S:S
O:26343
T:3600
S:S
O:26751
T:3600
MRF/Segmentation/20_12_s.binary : fig1
nbvar: 227
max_dom: 2
nbconstr: 845
max_arity: 2
S:SC
O:9498
T:0
S:SC
O:9498
T:381
S:SC
O:9498
T:0
S:SC
O:9498
T:0
S:SC
O:9498
T:0
S:SC
O:9498
T:11
S:SC
O:9498
T:22
S:S
O:13766
T:3600
MRF/Segmentation/20_5_s.21 : fig1
nbvar: 232
max_dom: 21
nbconstr: 863
max_arity: 2
S:SC
O:28972
T:0
S:SC
O:28972
T:465
S:SC
O:28972
T:0
S:S
O:29887
T:3600
S:SC
O:28972
T:7
S:S
O:97692
T:3600
S:S
O:97692
T:3600
S:S
O:97983
T:3600
MRF/Segmentation/20_5_s.binary : fig1
nbvar: 232
max_dom: 2
nbconstr: 863
max_arity: 2
S:SC
O:5241
T:0
S:SC
O:5241
T:375
S:SC
O:5241
T:0
S:SC
O:5241
T:0
S:SC
O:5241
T:0
S:SC
O:5241
T:0
S:SC
O:5241
T:26
S:S
O:5377
T:3600
MRF/Segmentation/20_9_s.21 : fig1
nbvar: 231
max_dom: 21
nbconstr: 863
max_arity: 2
S:SC
O:26677
T:1
S:S
O:26677
T:3600
S:SC
O:26677
T:1
S:S
O:45489
T:3600
S:SC
O:26677
T:8
S:S
O:43235
T:3600
S:S
O:43235
T:3600
S:S
O:43643
T:3600
MRF/Segmentation/20_9_s.binary : fig1
nbvar: 231
max_dom: 2
nbconstr: 863
max_arity: 2
S:SC
O:9006
T:0
S:SC
O:9006
T:381
S:SC
O:9006
T:0
S:SC
O:9006
T:0
S:SC
O:9006
T:0
S:SC
O:9006
T:0
S:SC
O:9006
T:23
S:S
O:11070
T:3600
MRF/Segmentation/2_17_s.21 : fig1
nbvar: 228
max_dom: 21
nbconstr: 845
max_arity: 2
S:SC
O:28552
T:0
S:SC
O:28552
T:444
S:SC
O:28552
T:0
S:S
O:29175
T:3600
S:SC
O:28552
T:6
S:S
O:89145
T:3600
S:S
O:89660
T:3600
S:S
O:86745
T:3600
MRF/Segmentation/2_17_s.binary : fig1
nbvar: 228
max_dom: 2
nbconstr: 845
max_arity: 2
S:SC
O:5367
T:0
S:SC
O:5367
T:381
S:SC
O:5367
T:0
S:SC
O:5367
T:0
S:SC
O:5367
T:0
S:SC
O:5367
T:8
S:SC
O:5367
T:23
S:S
O:5503
T:3600
MRF/Segmentation/2_28_s.21 : fig1
nbvar: 229
max_dom: 21
nbconstr: 851
max_arity: 2
S:SC
O:24934
T:0
S:SC
O:24934
T:430
S:SC
O:24934
T:0
S:S
O:24934
T:3600
S:SC
O:24934
T:6
S:S
O:114157
T:3600
S:S
O:114157
T:3600
S:S
O:113565
T:3600
MRF/Segmentation/2_28_s.binary : fig1
nbvar: 229
max_dom: 2
nbconstr: 851
max_arity: 2
S:SC
O:2226
T:0
S:SC
O:2226
T:381
S:SC
O:2226
T:0
S:SC
O:2226
T:0
S:SC
O:2226
T:0
S:SC
O:2226
T:0
S:SC
O:2226
T:1
S:SC
O:2226
T:1510
MRF/Segmentation/2_2_s.21 : fig1
nbvar: 227
max_dom: 21
nbconstr: 844
max_arity: 2
S:SC
O:35392
T:1
S:S
O:35392
T:3600
S:SC
O:35392
T:1
S:S
O:57092
T:3600
S:SC
O:35392
T:7
S:S
O:56842
T:3600
S:S
O:56842
T:3600
S:S
O:56994
T:3600
MRF/Segmentation/2_2_s.binary : fig1
nbvar: 227
max_dom: 2
nbconstr: 844
max_arity: 2
S:SC
O:8620
T:0
S:SC
O:8620
T:357
S:SC
O:8620
T:0
S:SC
O:8620
T:0
S:SC
O:8620
T:0
S:SC
O:8620
T:25
S:SC
O:8620
T:22
S:S
O:10322
T:3600
MRF/Segmentation/3_16_s.21 : fig1
nbvar: 229
max_dom: 21
nbconstr: 851
max_arity: 2
S:SC
O:37598
T:0
S:S
O:37598
T:3600
S:SC
O:37598
T:0
S:S
O:49927
T:3600
S:SC
O:37598
T:7
S:S
O:82023
T:3600
S:S
O:82023
T:3600
S:S
O:78786
T:3600
MRF/Segmentation/3_16_s.binary : fig1
nbvar: 229
max_dom: 2
nbconstr: 851
max_arity: 2
S:SC
O:9430
T:0
S:SC
O:9430
T:381
S:SC
O:9430
T:0
S:SC
O:9430
T:0
S:SC
O:9430
T:0
S:SC
O:9430
T:0
S:SC
O:9430
T:26
S:S
O:15619
T:3600
MRF/Segmentation/3_20_s.21 : fig1
nbvar: 232
max_dom: 21
nbconstr: 860
max_arity: 2
S:SC
O:35655
T:0
S:S
O:35655
T:3600
S:SC
O:35655
T:0
S:S
O:46071
T:3600
S:SC
O:35655
T:7
S:S
O:81659
T:3600
S:S
O:81659
T:3600
S:S
O:80902
T:3600
MRF/Segmentation/3_20_s.binary : fig1
nbvar: 232
max_dom: 2
nbconstr: 860
max_arity: 2
S:SC
O:5143
T:0
S:SC
O:5143
T:365
S:SC
O:5143
T:0
S:SC
O:5143
T:0
S:SC
O:5143
T:0
S:SC
O:5143
T:0
S:SC
O:5143
T:23
S:S
O:5279
T:3600
MRF/Segmentation/4_24_s.21 : fig1
nbvar: 228
max_dom: 21
nbconstr: 838
max_arity: 2
S:SC
O:35786
T:0
S:S
O:35814
T:3600
S:SC
O:35786
T:0
S:S
O:42124
T:3600
S:SC
O:35786
T:7
S:S
O:63944
T:3600
S:S
O:63944
T:3600
S:S
O:63564
T:3600
MRF/Segmentation/4_24_s.binary : fig1
nbvar: 228
max_dom: 2
nbconstr: 838
max_arity: 2
S:SC
O:9288
T:0
S:SC
O:9288
T:365
S:SC
O:9288
T:0
S:SC
O:9288
T:0
S:SC
O:9288
T:0
S:SC
O:9288
T:0
S:SC
O:9288
T:21
S:S
O:11535
T:3600
MRF/Segmentation/4_30_s.21 : fig1
nbvar: 229
max_dom: 21
nbconstr: 843
max_arity: 2
S:SC
O:35075
T:1
S:S
O:35075
T:3600
S:SC
O:35075
T:1
S:S
O:40285
T:3600
S:SC
O:35075
T:9
S:S
O:70746
T:3600
S:S
O:70746
T:3600
S:S
O:70120
T:3600
MRF/Segmentation/4_30_s.binary : fig1
nbvar: 229
max_dom: 2
nbconstr: 843
max_arity: 2
S:SC
O:4816
T:0
S:SC
O:4816
T:368
S:SC
O:4816
T:0
S:SC
O:4816
T:0
S:SC
O:4816
T:0
S:SC
O:4816
T:0
S:SC
O:4816
T:27
S:S
O:4952
T:3600
MRF/Segmentation/5_3_s.21 : fig1
nbvar: 225
max_dom: 21
nbconstr: 837
max_arity: 2
S:SC
O:40146
T:0
S:S
O:40146
T:3600
S:SC
O:40146
T:0
S:S
O:47029
T:3600
S:SC
O:40146
T:6
S:S
O:95409
T:3600
S:S
O:95409
T:3600
S:S
O:95260
T:3600
MRF/Segmentation/5_3_s.binary : fig1
nbvar: 225
max_dom: 2
nbconstr: 837
max_arity: 2
S:SC
O:8787
T:0
S:SC
O:8787
T:381
S:SC
O:8787
T:0
S:SC
O:8787
T:0
S:SC
O:8787
T:0
S:SC
O:8787
T:0
S:SC
O:8787
T:27
S:S
O:11724
T:3600
MRF/Segmentation/6_23_s.21 : fig1
nbvar: 237
max_dom: 21
nbconstr: 886
max_arity: 2
S:SC
O:39060
T:1
S:S
O:39802
T:3600
S:SC
O:39060
T:1
S:S
O:59590
T:3600
S:SC
O:39060
T:6
S:S
O:54328
T:3600
S:S
O:54328
T:3600
S:S
O:54736
T:3600
MRF/Segmentation/6_23_s.binary : fig1
nbvar: 237
max_dom: 2
nbconstr: 886
max_arity: 2
S:SC
O:7813
T:0
S:SC
O:7813
T:381
S:SC
O:7813
T:0
S:SC
O:7813
T:0
S:SC
O:7813
T:0
S:SC
O:7813
T:0
S:SC
O:7813
T:22
S:S
O:24072
T:3600
MRF/Segmentation/6_3_s.21 : fig1
nbvar: 231
max_dom: 21
nbconstr: 861
max_arity: 2
S:SC
O:30239
T:1
S:S
O:30239
T:3600
S:SC
O:30239
T:1
S:S
O:47355
T:3600
S:SC
O:30239
T:5
S:S
O:38049
T:3600
S:S
O:38049
T:3600
S:S
O:38457
T:3600
MRF/Segmentation/6_3_s.binary : fig1
nbvar: 231
max_dom: 2
nbconstr: 861
max_arity: 2
S:SC
O:5520
T:0
S:SC
O:5520
T:370
S:SC
O:5520
T:0
S:SC
O:5520
T:0
S:SC
O:5520
T:0
S:SC
O:5520
T:10
S:SC
O:5520
T:21
S:S
O:21588
T:3600
MRF/Segmentation/7_11_s.21 : fig1
nbvar: 235
max_dom: 21
nbconstr: 882
max_arity: 2
S:SC
O:34837
T:1
S:S
O:34865
T:3600
S:SC
O:34837
T:1
S:S
O:62626
T:3600
S:SC
O:34837
T:7
S:S
O:41870
T:3600
S:S
O:41870
T:3600
S:S
O:42686
T:3600
Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
MRF/Segmentation/7_11_s.binary : fig1
nbvar: 235
max_dom: 2
nbconstr: 882
max_arity: 2
S:SC
O:8073
T:0
S:SC
O:8073
T:381
S:SC
O:8073
T:0
S:SC
O:8073
T:0
S:SC
O:8073
T:0
S:SC
O:8073
T:0
S:SC
O:8073
T:19
S:S
O:20462
T:3600
MRF/Segmentation/7_12_s.21 : fig1
nbvar: 233
max_dom: 21
nbconstr: 855
max_arity: 2
S:SC
O:31212
T:1
S:S
O:31212
T:3600
S:SC
O:31212
T:1
S:S
O:57820
T:3600
S:SC
O:31212
T:6
S:S
O:31911
T:3600
S:UNK
O:?
T:3600
S:S
O:32319
T:3600
MRF/Segmentation/7_12_s.binary : fig1
nbvar: 233
max_dom: 2
nbconstr: 855
max_arity: 2
S:SC
O:8742
T:0
S:SC
O:8742
T:357
S:SC
O:8742
T:0
S:SC
O:8742
T:0
S:SC
O:8742
T:0
S:SC
O:8742
T:121
S:SC
O:8742
T:21
S:S
O:11418
T:3600
MRF/Segmentation/7_15_s.21 : fig1
nbvar: 231
max_dom: 21
nbconstr: 852
max_arity: 2
S:SC
O:34917
T:1
S:S
O:35021
T:3600
S:SC
O:34917
T:1
S:S
O:55589
T:3600
S:SC
O:34917
T:9
S:S
O:37282
T:3600
S:S
O:37282
T:3600
S:S
O:37586
T:3600
MRF/Segmentation/7_15_s.binary : fig1
nbvar: 231
max_dom: 2
nbconstr: 852
max_arity: 2
S:SC
O:8790
T:0
S:SC
O:8790
T:380
S:SC
O:8790
T:0
S:SC
O:8790
T:0
S:SC
O:8790
T:0
S:SC
O:8790
T:0
S:SC
O:8790
T:21
S:S
O:17268
T:3600
MRF/Segmentation/7_29_s.21 : fig1
nbvar: 229
max_dom: 21
nbconstr: 850
max_arity: 2
S:SC
O:35880
T:1
S:S
O:35882
T:3600
S:SC
O:35880
T:1
S:S
O:53425
T:3600
S:SC
O:35880
T:6
S:S
O:47991
T:3600
S:UNK
O:?
T:3600
S:S
O:48399
T:3600
MRF/Segmentation/7_29_s.binary : fig1
nbvar: 229
max_dom: 2
nbconstr: 850
max_arity: 2
S:SC
O:8934
T:0
S:SC
O:8934
T:381
S:SC
O:8934
T:0
S:SC
O:8934
T:0
S:SC
O:8934
T:0
S:SC
O:8934
T:0
S:SC
O:8934
T:19
S:S
O:18428
T:3600
MRF/Segmentation/7_9_s.21 : fig1
nbvar: 233
max_dom: 21
nbconstr: 861
max_arity: 2
S:SC
O:28126
T:1
S:S
O:28126
T:3600
S:SC
O:28126
T:1
S:S
O:50943
T:3600
S:SC
O:28126
T:7
S:S
O:34435
T:3600
S:UNK
O:?
T:3600
S:S
O:34843
T:3600
MRF/Segmentation/7_9_s.binary : fig1
nbvar: 233
max_dom: 2
nbconstr: 861
max_arity: 2
S:SC
O:10295
T:0
S:SC
O:10295
T:374
S:SC
O:10295
T:0
S:SC
O:10295
T:0
S:SC
O:10295
T:0
S:SC
O:10295
T:0
S:SC
O:10295
T:27
S:S
O:17802
T:3600
MRF/Segmentation/8_18_s.21 : fig1
nbvar: 226
max_dom: 21
nbconstr: 845
max_arity: 2
S:SC
O:22858
T:1
S:S
O:22858
T:3600
S:SC
O:22858
T:1
S:S
O:25778
T:3600
S:SC
O:22858
T:6
S:S
O:39143
T:3600
S:S
O:39143
T:3600
S:S
O:39551
T:3600
MRF/Segmentation/8_18_s.binary : fig1
nbvar: 226
max_dom: 2
nbconstr: 845
max_arity: 2
S:SC
O:9838
T:0
S:SC
O:9838
T:381
S:SC
O:9838
T:0
S:SC
O:9838
T:0
S:SC
O:9838
T:0
S:SC
O:9838
T:9
S:SC
O:9838
T:23
S:S
O:15672
T:3600
MRF/Segmentation/8_25_s.21 : fig1
nbvar: 223
max_dom: 21
nbconstr: 829
max_arity: 2
S:SC
O:31968
T:1
S:S
O:31968
T:3600
S:SC
O:31968
T:1
S:S
O:44959
T:3600
S:SC
O:31968
T:6
S:S
O:54639
T:3600
S:S
O:54639
T:3600
S:S
O:55047
T:3600
MRF/Segmentation/8_25_s.binary : fig1
nbvar: 223
max_dom: 2
nbconstr: 829
max_arity: 2
S:SC
O:8635
T:0
S:SC
O:8635
T:381
S:SC
O:8635
T:0
S:SC
O:8635
T:0
S:SC
O:8635
T:0
S:SC
O:8635
T:0
S:SC
O:8635
T:23
S:S
O:27383
T:3600
MRF/Segmentation/8_8_s.21 : fig1
nbvar: 224
max_dom: 21
nbconstr: 836
max_arity: 2
S:SC
O:30593
T:1
S:S
O:30593
T:3600
S:SC
O:30593
T:1
S:S
O:55373
T:3600
S:SC
O:30593
T:6
S:S
O:38075
T:3600
S:S
O:38075
T:3600
S:S
O:38483
T:3600
MRF/Segmentation/8_8_s.binary : fig1
nbvar: 224
max_dom: 2
nbconstr: 836
max_arity: 2
S:SC
O:9926
T:0
S:SC
O:9926
T:355
S:SC
O:9926
T:0
S:SC
O:9926
T:0
S:SC
O:9926
T:0
S:SC
O:9926
T:24
S:SC
O:9926
T:20
S:S
O:24726
T:3600
MRF/Segmentation/9_10_s.21 : fig1
nbvar: 230
max_dom: 21
nbconstr: 856
max_arity: 2
S:SC
O:35551
T:0
S:S
O:35551
T:3600
S:SC
O:35551
T:0
S:S
O:44337
T:3600
S:SC
O:35551
T:5
S:S
O:76988
T:3600
S:S
O:76988
T:3600
S:S
O:77396
T:3600
MRF/Segmentation/9_10_s.binary : fig1
nbvar: 230
max_dom: 2
nbconstr: 856
max_arity: 2
S:SC
O:6116
T:0
S:SC
O:6116
T:367
S:SC
O:6116
T:0
S:SC
O:6116
T:0
S:SC
O:6116
T:0
S:SC
O:6116
T:12
S:SC
O:6116
T:27
S:S
O:6252
T:3600
MRF/Segmentation/9_24_s.21 : fig1
nbvar: 232
max_dom: 21
nbconstr: 863
max_arity: 2
S:SC
O:37252
T:0
S:S
O:37252
T:3600
S:SC
O:37252
T:0
S:S
O:43208
T:3600
S:SC
O:37252
T:7
S:S
O:106622
T:3600
S:S
O:106622
T:3600
S:S
O:105540
T:3600
MRF/Segmentation/9_24_s.binary : fig1
nbvar: 232
max_dom: 2
nbconstr: 863
max_arity: 2
S:SC
O:5863
T:0
S:SC
O:5863
T:381
S:SC
O:5863
T:0
S:SC
O:5863
T:0
S:SC
O:5863
T:0
S:SC
O:5863
T:11
S:SC
O:5863
T:24
S:S
O:5999
T:3600
CVPR/ChineseChars/TST_test_0001_88_115 : fig1
nbvar: 10120
max_dom: 2
nbconstr: 307213
max_arity: 2
S:S
O:105526896192162
T:3600
S:UNK
O:?
T:3600
S:S
O:105526896192162
T:3600
S:S
O:432133500000000
T:3600
S:S
O:105527500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0002_88_105 : fig1
nbvar: 9240
max_dom: 2
nbconstr: 279523
max_arity: 2
S:S
O:96226050000000
T:3600
S:UNK
O:?
T:3600
S:S
O:96252865189366
T:3600
S:S
O:393228500000000
T:3600
S:S
O:96226050000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0003_64_99 : fig1
nbvar: 6336
max_dom: 2
nbconstr: 187741
max_arity: 2
S:S
O:64776650000000
T:3600
S:UNK
O:?
T:3600
S:S
O:64800567701370
T:3600
S:S
O:264144500000000
T:3600
S:S
O:64776650000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0004_88_97 : fig1
nbvar: 8536
max_dom: 2
nbconstr: 257371
max_arity: 2
S:S
O:88691350000000
T:3600
S:UNK
O:?
T:3600
S:S
O:88722761252311
T:3600
S:S
O:362365500000000
T:3600
S:S
O:88691350000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0005_120_97 : fig1
nbvar: 11640
max_dom: 2
nbconstr: 355483
max_arity: 2
S:S
O:122372500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:122396904350601
T:3600
S:S
O:500354500000000
T:3600
S:S
O:122372500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0006_112_99 : fig1
nbvar: 11088
max_dom: 2
nbconstr: 338077
max_arity: 2
S:S
O:116097262875266
T:3600
S:UNK
O:?
T:3600
S:S
O:116097262875266
T:3600
S:S
O:475635500000000
T:3600
S:S
O:116097500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0007_88_112 : fig1
nbvar: 9856
max_dom: 2
nbconstr: 298906
max_arity: 2
S:S
O:102806500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:102830165790971
T:3600
S:S
O:420364500000000
T:3600
S:S
O:102806500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0008_80_102 : fig1
nbvar: 8160
max_dom: 2
nbconstr: 245368
max_arity: 2
S:S
O:84381650000000
T:3600
S:UNK
O:?
T:3600
S:S
O:84385665991393
T:3600
S:S
O:345772500000000
T:3600
S:S
O:84381650000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0009_64_80 : fig1
nbvar: 5120
max_dom: 2
nbconstr: 150178
max_arity: 2
S:S
O:51754250000000
T:3600
S:UNK
O:?
T:3600
S:S
O:51773192798144
T:3600
S:S
O:211219500000000
T:3600
S:S
O:51754250000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0010_80_109 : fig1
nbvar: 8720
max_dom: 2
nbconstr: 262903
max_arity: 2
S:S
O:90462250000000
T:3600
S:UNK
O:?
T:3600
S:S
O:90474124625445
T:3600
S:S
O:369998500000000
T:3600
S:S
O:90462250000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0011_96_101 : fig1
nbvar: 9696
max_dom: 2
nbconstr: 294031
max_arity: 2
S:S
O:101211500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:101239040482572
T:3600
S:S
O:413739500000000
T:3600
S:S
O:101211500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0012_88_103 : fig1
nbvar: 9064
max_dom: 2
nbconstr: 273985
max_arity: 2
S:S
O:94109405378193
T:3600
S:UNK
O:?
T:3600
S:S
O:94109405378193
T:3600
S:S
O:386266500000000
T:3600
S:S
O:94109550000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0013_64_94 : fig1
nbvar: 6016
max_dom: 2
nbconstr: 177856
max_arity: 2
S:S
O:61299950000000
T:3600
S:UNK
O:?
T:3600
S:S
O:61316268843132
T:3600
S:S
O:250347500000000
T:3600
S:S
O:61299950000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0014_72_73 : fig1
nbvar: 5256
max_dom: 2
nbconstr: 154531
max_arity: 2
S:S
O:53174750000000
T:3600
S:UNK
O:?
T:3600
S:S
O:53183366309897
T:3600
S:S
O:217508500000000
T:3600
S:S
O:53174750000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0015_80_73 : fig1
nbvar: 5840
max_dom: 2
nbconstr: 172723
max_arity: 2
S:S
O:59356150000000
T:3600
S:UNK
O:?
T:3600
S:S
O:59362051861720
T:3600
S:S
O:242782500000000
T:3600
S:S
O:59356150000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0016_72_83 : fig1
nbvar: 5976
max_dom: 2
nbconstr: 176941
max_arity: 2
S:S
O:61046150000000
T:3600
S:UNK
O:?
T:3600
S:S
O:61079547122085
T:3600
S:S
O:248860500000000
T:3600
S:S
O:61046150000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0017_112_101 : fig1
nbvar: 11312
max_dom: 2
nbconstr: 345199
max_arity: 2
S:S
O:118889500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:118910887325351
T:3600
S:S
O:486088500000000
T:3600
S:S
O:118889500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0018_80_110 : fig1
nbvar: 8800
max_dom: 2
nbconstr: 265408
max_arity: 2
S:S
O:91135050000000
T:3600
S:UNK
O:?
T:3600
S:S
O:91137644087437
T:3600
S:S
O:373255500000000
T:3600
S:S
O:91135050000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0019_120_106 : fig1
nbvar: 12720
max_dom: 2
nbconstr: 389908
max_arity: 2
S:S
O:134085500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:134088989150404
T:3600
S:S
O:549273500000000
T:3600
S:S
O:134085500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0020_96_94 : fig1
nbvar: 9024
max_dom: 2
nbconstr: 272800
max_arity: 2
S:S
O:93716850000000
T:3600
S:UNK
O:?
T:3600
S:S
O:93719111223236
T:3600
S:S
O:384415500000000
T:3600
S:S
O:93716850000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0021_112_124 : fig1
nbvar: 13888
max_dom: 2
nbconstr: 427102
max_arity: 2
S:S
O:146910500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:146933295846982
T:3600
S:S
O:601038500000000
T:3600
S:S
O:146910500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0022_80_85 : fig1
nbvar: 6800
max_dom: 2
nbconstr: 202783
max_arity: 2
S:S
O:69720450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:69726484211092
T:3600
S:S
O:285273500000000
T:3600
S:S
O:69720450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0023_112_112 : fig1
nbvar: 12544
max_dom: 2
nbconstr: 384370
max_arity: 2
S:S
O:132202500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:132226720121342
T:3600
S:S
O:540807500000000
T:3600
S:S
O:132202500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0024_88_126 : fig1
nbvar: 11088
max_dom: 2
nbconstr: 337672
max_arity: 2
S:S
O:116198500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:116207141780757
T:3600
S:S
O:476518500000000
T:3600
S:S
O:116198500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0025_64_92 : fig1
nbvar: 5888
max_dom: 2
nbconstr: 173902
max_arity: 2
S:S
O:59848950000000
T:3600
S:UNK
O:?
T:3600
S:S
O:59859027597120
T:3600
S:S
O:244776500000000
T:3600
S:S
O:59848950000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0026_56_92 : fig1
nbvar: 5152
max_dom: 2
nbconstr: 150694
max_arity: 2
S:S
O:51831650000000
T:3600
S:UNK
O:?
T:3600
S:S
O:51838614538813
T:3600
S:S
O:211976500000000
T:3600
S:S
O:51831650000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0027_88_109 : fig1
nbvar: 9592
max_dom: 2
nbconstr: 290599
max_arity: 2
S:S
O:99889650000000
T:3600
S:UNK
O:?
T:3600
S:S
O:99889879713919
T:3600
S:S
O:409492500000000
T:3600
S:S
O:99889650000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0028_48_105 : fig1
nbvar: 5040
max_dom: 2
nbconstr: 146323
max_arity: 2
S:S
O:50403850000000
T:3600
S:UNK
O:?
T:3600
S:S
O:50421331427738
T:3600
S:S
O:205661500000000
T:3600
S:S
O:50403850000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0029_96_117 : fig1
nbvar: 11232
max_dom: 2
nbconstr: 342559
max_arity: 2
S:S
O:117819500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:117830497360168
T:3600
S:S
O:482435500000000
T:3600
S:S
O:117819500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0030_112_123 : fig1
nbvar: 13776
max_dom: 2
nbconstr: 423541
max_arity: 2
S:S
O:146038500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:146078096809938
T:3600
S:S
O:596855500000000
T:3600
S:S
O:146038500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0031_64_78 : fig1
nbvar: 4992
max_dom: 2
nbconstr: 146224
max_arity: 2
S:S
O:50367550000000
T:3600
S:UNK
O:?
T:3600
S:S
O:50380401361954
T:3600
S:S
O:205896500000000
T:3600
S:S
O:50367550000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
CVPR/ChineseChars/TST_test_0032_64_89 : fig1
nbvar: 5696
max_dom: 2
nbconstr: 167971
max_arity: 2
S:S
O:57930450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:57953603920916
T:3600
S:S
O:236276500000000
T:3600
S:S
O:57930450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0033_88_84 : fig1
nbvar: 7392
max_dom: 2
nbconstr: 221374
max_arity: 2
S:S
O:76342150000000
T:3600
S:UNK
O:?
T:3600
S:S
O:76361530695474
T:3600
S:S
O:311979500000000
T:3600
S:S
O:76342150000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0034_112_94 : fig1
nbvar: 10528
max_dom: 2
nbconstr: 320272
max_arity: 2
S:S
O:110037500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:110037568013321
T:3600
S:S
O:450765500000000
T:3600
S:S
O:110037500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0035_80_86 : fig1
nbvar: 6880
max_dom: 2
nbconstr: 205288
max_arity: 2
S:S
O:70517750000000
T:3600
S:UNK
O:?
T:3600
S:S
O:70521489999808
T:3600
S:S
O:288824500000000
T:3600
S:S
O:70517750000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0036_72_114 : fig1
nbvar: 8208
max_dom: 2
nbconstr: 246412
max_arity: 2
S:S
O:84655850000000
T:3600
S:UNK
O:?
T:3600
S:S
O:84656873417396
T:3600
S:S
O:346919500000000
T:3600
S:S
O:84655850000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0037_80_101 : fig1
nbvar: 8080
max_dom: 2
nbconstr: 242863
max_arity: 2
S:S
O:83442150000000
T:3600
S:UNK
O:?
T:3600
S:S
O:83442274693350
T:3600
S:S
O:342149500000000
T:3600
S:S
O:83442150000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0038_96_110 : fig1
nbvar: 10560
max_dom: 2
nbconstr: 321328
max_arity: 2
S:S
O:110389500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:110400847429807
T:3600
S:S
O:451875500000000
T:3600
S:S
O:110389500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0039_80_99 : fig1
nbvar: 7920
max_dom: 2
nbconstr: 237853
max_arity: 2
S:S
O:81776950000000
T:3600
S:UNK
O:?
T:3600
S:S
O:81785493560067
T:3600
S:S
O:334655500000000
T:3600
S:S
O:81776950000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0040_80_93 : fig1
nbvar: 7440
max_dom: 2
nbconstr: 222823
max_arity: 2
S:S
O:76625350000000
T:3600
S:UNK
O:?
T:3600
S:S
O:76628273369896
T:3600
S:S
O:313728500000000
T:3600
S:S
O:76625350000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0041_88_96 : fig1
nbvar: 8448
max_dom: 2
nbconstr: 254602
max_arity: 2
S:S
O:87395858732580
T:3600
S:UNK
O:?
T:3600
S:S
O:87395858732580
T:3600
S:S
O:358319500000000
T:3600
S:S
O:87397250000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0042_72_104 : fig1
nbvar: 7488
max_dom: 2
nbconstr: 224002
max_arity: 2
S:S
O:77081050000000
T:3600
S:UNK
O:?
T:3600
S:S
O:77089449104162
T:3600
S:S
O:315432500000000
T:3600
S:S
O:77081050000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0043_72_106 : fig1
nbvar: 7632
max_dom: 2
nbconstr: 228484
max_arity: 2
S:S
O:78759250000000
T:3600
S:UNK
O:?
T:3600
S:S
O:78780167303188
T:3600
S:S
O:321661500000000
T:3600
S:S
O:78759250000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0044_56_93 : fig1
nbvar: 5208
max_dom: 2
nbconstr: 152407
max_arity: 2
S:S
O:52508750000000
T:3600
S:UNK
O:?
T:3600
S:S
O:52525278132478
T:3600
S:S
O:214323500000000
T:3600
S:S
O:52508750000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0045_80_120 : fig1
nbvar: 9600
max_dom: 2
nbconstr: 290458
max_arity: 2
S:S
O:99814850000000
T:3600
S:UNK
O:?
T:3600
S:S
O:99824332006352
T:3600
S:S
O:408562500000000
T:3600
S:S
O:99814850000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0046_96_105 : fig1
nbvar: 10080
max_dom: 2
nbconstr: 306163
max_arity: 2
S:S
O:105259500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:105264983419672
T:3600
S:S
O:430884500000000
T:3600
S:S
O:105259500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0047_112_121 : fig1
nbvar: 13552
max_dom: 2
nbconstr: 416419
max_arity: 2
S:S
O:143031834217105
T:3600
S:UNK
O:?
T:3600
S:S
O:143031834217105
T:3600
S:S
O:586290500000000
T:3600
S:S
O:143032500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0048_72_98 : fig1
nbvar: 7056
max_dom: 2
nbconstr: 210556
max_arity: 2
S:S
O:72607350000000
T:3600
S:UNK
O:?
T:3600
S:S
O:72623541503306
T:3600
S:S
O:296683500000000
T:3600
S:S
O:72607350000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0049_96_79 : fig1
nbvar: 7584
max_dom: 2
nbconstr: 227305
max_arity: 2
S:S
O:78103650000000
T:3600
S:UNK
O:?
T:3600
S:S
O:78106059138556
T:3600
S:S
O:319944500000000
T:3600
S:S
O:78103650000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0050_88_94 : fig1
nbvar: 8272
max_dom: 2
nbconstr: 249064
max_arity: 2
S:S
O:85782450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:85801990118532
T:3600
S:S
O:350891500000000
T:3600
S:S
O:85782450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0051_64_106 : fig1
nbvar: 6784
max_dom: 2
nbconstr: 201580
max_arity: 2
S:S
O:69382550000000
T:3600
S:UNK
O:?
T:3600
S:S
O:69401007615027
T:3600
S:S
O:283586500000000
T:3600
S:S
O:69382550000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0052_96_107 : fig1
nbvar: 10272
max_dom: 2
nbconstr: 312229
max_arity: 2
S:S
O:107177451722155
T:3600
S:UNK
O:?
T:3600
S:S
O:107177451722155
T:3600
S:S
O:439358500000000
T:3600
S:S
O:107179500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0053_88_118 : fig1
nbvar: 10384
max_dom: 2
nbconstr: 315520
max_arity: 2
S:S
O:108398500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:108398624463007
T:3600
S:S
O:444300500000000
T:3600
S:S
O:108398500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0054_88_106 : fig1
nbvar: 9328
max_dom: 2
nbconstr: 282292
max_arity: 2
S:S
O:97267450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:97296042991480
T:3600
S:S
O:397248500000000
T:3600
S:S
O:97267450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0055_96_108 : fig1
nbvar: 10368
max_dom: 2
nbconstr: 315262
max_arity: 2
S:S
O:108566500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:108587682912573
T:3600
S:S
O:443981500000000
T:3600
S:S
O:108566500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0056_88_112 : fig1
nbvar: 9856
max_dom: 2
nbconstr: 298906
max_arity: 2
S:S
O:102665500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:102674697592911
T:3600
S:S
O:420407500000000
T:3600
S:S
O:102665500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0057_80_95 : fig1
nbvar: 7600
max_dom: 2
nbconstr: 227833
max_arity: 2
S:S
O:78445750000000
T:3600
S:UNK
O:?
T:3600
S:S
O:78474600802518
T:3600
S:S
O:320462500000000
T:3600
S:S
O:78445750000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0058_144_124 : fig1
nbvar: 17856
max_dom: 2
nbconstr: 553726
max_arity: 2
S:S
O:190475500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:190485255541757
T:3600
S:S
O:780251500000000
T:3600
S:S
O:190475500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0059_104_73 : fig1
nbvar: 7592
max_dom: 2
nbconstr: 227299
max_arity: 2
S:S
O:78077541746743
T:3600
S:UNK
O:?
T:3600
S:S
O:78077541746743
T:3600
S:S
O:319891500000000
T:3600
S:S
O:78077650000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0060_80_111 : fig1
nbvar: 8880
max_dom: 2
nbconstr: 267913
max_arity: 2
S:S
O:92090150000000
T:3600
S:UNK
O:?
T:3600
S:S
O:92094790581734
T:3600
S:S
O:377470500000000
T:3600
S:S
O:92090150000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0061_88_86 : fig1
nbvar: 7568
max_dom: 2
nbconstr: 226912
max_arity: 2
S:S
O:78147050000000
T:3600
S:UNK
O:?
T:3600
S:S
O:78166873991339
T:3600
S:S
O:319266500000000
T:3600
S:S
O:78147050000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0062_88_106 : fig1
nbvar: 9328
max_dom: 2
nbconstr: 282292
max_arity: 2
S:S
O:97287450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:97337576226908
T:3600
S:S
O:396988500000000
T:3600
S:S
O:97287450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0063_120_108 : fig1
nbvar: 12960
max_dom: 2
nbconstr: 397558
max_arity: 2
S:S
O:136619500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:136623884072276
T:3600
S:S
O:559507500000000
T:3600
S:S
O:136619500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0064_80_103 : fig1
nbvar: 8240
max_dom: 2
nbconstr: 247873
max_arity: 2
S:S
O:85205150000000
T:3600
S:UNK
O:?
T:3600
S:S
O:85205425229642
T:3600
S:S
O:349196500000000
T:3600
S:S
O:85205150000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0065_104_94 : fig1
nbvar: 9776
max_dom: 2
nbconstr: 296536
max_arity: 2
S:S
O:102025500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:102036728195828
T:3600
S:S
O:417532500000000
T:3600
S:S
O:102025500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0066_96_121 : fig1
nbvar: 11616
max_dom: 2
nbconstr: 354691
max_arity: 2
S:S
O:121951500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:121955908500937
T:3600
S:S
O:500129500000000
T:3600
S:S
O:121951500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0067_96_121 : fig1
nbvar: 11616
max_dom: 2
nbconstr: 354691
max_arity: 2
S:S
O:121804500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:121805846667840
T:3600
S:S
O:499476500000000
T:3600
S:S
O:121804500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0068_72_94 : fig1
nbvar: 6768
max_dom: 2
nbconstr: 201592
max_arity: 2
S:S
O:69625450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:69663396322180
T:3600
S:S
O:283822500000000
T:3600
S:S
O:69625450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0069_96_109 : fig1
nbvar: 10464
max_dom: 2
nbconstr: 318295
max_arity: 2
S:S
O:109444500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:109453573961648
T:3600
S:S
O:448013500000000
T:3600
S:S
O:109444500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0070_88_96 : fig1
nbvar: 8448
max_dom: 2
nbconstr: 254602
max_arity: 2
S:S
O:87391027051148
T:3600
S:UNK
O:?
T:3600
S:S
O:87391027051148
T:3600
S:S
O:358354500000000
T:3600
S:S
O:87391050000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0071_72_94 : fig1
nbvar: 6768
max_dom: 2
nbconstr: 201592
max_arity: 2
S:S
O:69347050000000
T:3600
S:UNK
O:?
T:3600
S:S
O:69359889781896
T:3600
S:S
O:283600500000000
T:3600
S:S
O:69347050000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0072_96_113 : fig1
nbvar: 10848
max_dom: 2
nbconstr: 330427
max_arity: 2
S:S
O:113724500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:113750934822522
T:3600
S:S
O:465132500000000
T:3600
S:S
O:113724500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0073_128_113 : fig1
nbvar: 14464
max_dom: 2
nbconstr: 445435
max_arity: 2
S:S
O:152989398278562
T:3600
S:UNK
O:?
T:3600
S:S
O:152989398278562
T:3600
S:S
O:626906500000000
T:3600
S:S
O:152989500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0074_96_107 : fig1
nbvar: 10272
max_dom: 2
nbconstr: 312229
max_arity: 2
S:S
O:107382500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:107394838727950
T:3600
S:S
O:439561500000000
T:3600
S:S
O:107382500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0075_88_92 : fig1
nbvar: 8096
max_dom: 2
nbconstr: 243526
max_arity: 2
S:S
O:84020150000000
T:3600
S:UNK
O:?
T:3600
S:S
O:84060992118823
T:3600
S:S
O:342728500000000
T:3600
S:S
O:84020150000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0076_80_93 : fig1
nbvar: 7440
max_dom: 2
nbconstr: 222823
max_arity: 2
S:S
O:76676350000000
T:3600
S:UNK
O:?
T:3600
S:S
O:76693090712420
T:3600
S:S
O:313299500000000
T:3600
S:S
O:76676350000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0077_96_95 : fig1
nbvar: 9120
max_dom: 2
nbconstr: 275833
max_arity: 2
S:S
O:94841450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:94847191154452
T:3600
S:S
O:388513500000000
T:3600
S:S
O:94841450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0078_72_108 : fig1
nbvar: 7776
max_dom: 2
nbconstr: 232966
max_arity: 2
S:S
O:80103650000000
T:3600
S:UNK
O:?
T:3600
S:S
O:80113168811273
T:3600
S:S
O:327684500000000
T:3600
S:S
O:80103650000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0079_88_81 : fig1
nbvar: 7128
max_dom: 2
nbconstr: 213067
max_arity: 2
S:S
O:73459450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:73477657839102
T:3600
S:S
O:300341500000000
T:3600
S:S
O:73459450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0080_104_107 : fig1
nbvar: 11128
max_dom: 2
nbconstr: 339397
max_arity: 2
S:S
O:116723500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:116739811264163
T:3600
S:S
O:477638500000000
T:3600
S:S
O:116723500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0081_112_96 : fig1
nbvar: 10752
max_dom: 2
nbconstr: 327394
max_arity: 2
S:S
O:112541500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:112546249331357
T:3600
S:S
O:460836500000000
T:3600
S:S
O:112541500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
Problem Stats Best Solver daoopttoulbar2cplexcplex_tmaxhsmaxhs_tgecode
CVPR/ChineseChars/TST_test_0082_96_106 : fig1
nbvar: 10176
max_dom: 2
nbconstr: 309196
max_arity: 2
S:S
O:106215407443316
T:3600
S:UNK
O:?
T:3600
S:S
O:106215407443316
T:3600
S:S
O:435386500000000
T:3600
S:S
O:106215500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0083_72_105 : fig1
nbvar: 7560
max_dom: 2
nbconstr: 226243
max_arity: 2
S:S
O:77871650000000
T:3600
S:UNK
O:?
T:3600
S:S
O:77879999450030
T:3600
S:S
O:318427500000000
T:3600
S:S
O:77871650000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0084_120_115 : fig1
nbvar: 13800
max_dom: 2
nbconstr: 424333
max_arity: 2
S:S
O:145748500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:145754436615774
T:3600
S:S
O:596946500000000
T:3600
S:S
O:145748500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0085_64_126 : fig1
nbvar: 8064
max_dom: 2
nbconstr: 241120
max_arity: 2
S:S
O:82836850000000
T:3600
S:UNK
O:?
T:3600
S:S
O:82852545779061
T:3600
S:S
O:338705500000000
T:3600
S:S
O:82836850000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0086_80_112 : fig1
nbvar: 8960
max_dom: 2
nbconstr: 270418
max_arity: 2
S:S
O:93092750000000
T:3600
S:UNK
O:?
T:3600
S:S
O:93107935404047
T:3600
S:S
O:381252500000000
T:3600
S:S
O:93092750000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0087_88_124 : fig1
nbvar: 10912
max_dom: 2
nbconstr: 332134
max_arity: 2
S:S
O:114092639578502
T:3600
S:UNK
O:?
T:3600
S:S
O:114092639578502
T:3600
S:S
O:467590500000000
T:3600
S:S
O:114093500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0088_104_107 : fig1
nbvar: 11128
max_dom: 2
nbconstr: 339397
max_arity: 2
S:S
O:116820500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:116839478313199
T:3600
S:S
O:477691500000000
T:3600
S:S
O:116820500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0089_72_92 : fig1
nbvar: 6624
max_dom: 2
nbconstr: 197110
max_arity: 2
S:S
O:67681750000000
T:3600
S:UNK
O:?
T:3600
S:S
O:67685120857617
T:3600
S:S
O:277032500000000
T:3600
S:S
O:67681750000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0090_104_116 : fig1
nbvar: 12064
max_dom: 2
nbconstr: 369070
max_arity: 2
S:S
O:127095500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:127120842030545
T:3600
S:S
O:520053500000000
T:3600
S:S
O:127095500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0091_136_95 : fig1
nbvar: 12920
max_dom: 2
nbconstr: 395833
max_arity: 2
S:S
O:136149500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:136162946983660
T:3600
S:S
O:557109500000000
T:3600
S:S
O:136149500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0092_96_111 : fig1
nbvar: 10656
max_dom: 2
nbconstr: 324361
max_arity: 2
S:S
O:111465500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:111470252973076
T:3600
S:S
O:456569500000000
T:3600
S:S
O:111465500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0093_104_105 : fig1
nbvar: 10920
max_dom: 2
nbconstr: 332803
max_arity: 2
S:S
O:114500500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:114508614969364
T:3600
S:S
O:469318500000000
T:3600
S:S
O:114500500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0094_64_131 : fig1
nbvar: 8384
max_dom: 2
nbconstr: 251005
max_arity: 2
S:S
O:86556350000000
T:3600
S:UNK
O:?
T:3600
S:S
O:86591196239352
T:3600
S:S
O:353178500000000
T:3600
S:S
O:86556350000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0095_128_109 : fig1
nbvar: 13952
max_dom: 2
nbconstr: 429079
max_arity: 2
S:S
O:147672500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:147687717349325
T:3600
S:S
O:604475500000000
T:3600
S:S
O:147672500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0096_56_107 : fig1
nbvar: 5992
max_dom: 2
nbconstr: 176389
max_arity: 2
S:S
O:60991450000000
T:3600
S:UNK
O:?
T:3600
S:S
O:61031002136458
T:3600
S:S
O:248308500000000
T:3600
S:S
O:60991450000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0097_56_111 : fig1
nbvar: 6216
max_dom: 2
nbconstr: 183241
max_arity: 2
S:S
O:63351550000000
T:3600
S:UNK
O:?
T:3600
S:S
O:63404461189155
T:3600
S:S
O:257815500000000
T:3600
S:S
O:63351550000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0098_112_98 : fig1
nbvar: 10976
max_dom: 2
nbconstr: 334516
max_arity: 2
S:S
O:115036500000000
T:3600
S:UNK
O:?
T:3600
S:S
O:115049940493321
T:3600
S:S
O:470633500000000
T:3600
S:S
O:115036500000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0099_72_105 : fig1
nbvar: 7560
max_dom: 2
nbconstr: 226243
max_arity: 2
S:S
O:77650550000000
T:3600
S:UNK
O:?
T:3600
S:S
O:77650581018735
T:3600
S:S
O:318409500000000
T:3600
S:S
O:77650550000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ChineseChars/TST_test_0100_80_102 : fig1
nbvar: 8160
max_dom: 2
nbconstr: 245368
max_arity: 2
S:S
O:84287263082448
T:3600
S:UNK
O:?
T:3600
S:S
O:84287263082448
T:3600
S:S
O:345659500000000
T:3600
S:S
O:84288350000000
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ColorSeg-4/ColorSeg-4-clownfish-small : fig1
nbvar: 86400
max_dom: 12
nbconstr: 258600
max_arity: 2
S:SC
O:1481746630998
T:1608
S:UNK
O:?
T:3600
S:SC
O:1481746630998
T:1608
S:UNK
O:?
T:mem
S:UNK
O:?
T:mem
S:UNK
O:?
T:3600
S:UNK
O:?
T:mem
S:UNK
O:?
T:32-bit
CVPR/ColorSeg-4/ColorSeg-4-crops-small : fig1
nbvar: 86400
max_dom: 12
nbconstr: 258600
max_arity: 2
S:SC
O:1192391283796
T:1969
S:UNK
O:?
T:3600
S:SC
O:1192391283796
T:1969
S:UNK
O:?
T:mem
S:UNK
O:?
T:mem
S:UNK
O:?
T:3600
S:UNK
O:?
T:mem
S:UNK
O:?
T:32-bit
CVPR/ColorSeg-4/ColorSeg-4-fourcolors : fig1
nbvar: 65536
max_dom: 4
nbconstr: 196096
max_arity: 2
S:SC
O:6952052947110
T:849
S:S
O:6985363060189
T:mem
S:SC
O:6952052947110
T:849
S:S
O:11173050000000
T:3600
S:SC
O:6952052947150
T:160
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:32-bit
CVPR/ColorSeg-4/ColorSeg-4-lake-small : fig1
nbvar: 86400
max_dom: 12
nbconstr: 258600
max_arity: 2
S:SC
O:1431195282698
T:1229
S:UNK
O:?
T:3600
S:SC
O:1431195282698
T:1229
S:UNK
O:?
T:mem
S:UNK
O:?
T:mem
S:UNK
O:?
T:3600
S:UNK
O:?
T:mem
S:UNK
O:?
T:32-bit
CVPR/ColorSeg-4/ColorSeg-4-palm-small : fig1
nbvar: 86400
max_dom: 12
nbconstr: 258600
max_arity: 2
S:UNK
O:?
T:mem
S:UNK
O:?
T:3600
S:UNK
O:?
T:3600
S:UNK
O:?
T:mem
S:UNK
O:?
T:mem
S:<