normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_4_30_1.opb |
UNSAT
TT=21.334
|
UNSAT
TT=109.519
|
?
TT=1800.14
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.73
|
UNSAT
TT=21.334
|
UNSAT
TT=30.054
|
UNSAT
TT=76.146
|
UNSAT
TT=79.515
|
? (TO)
TT=1801.07
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.75
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_4_30_2.opb |
UNSAT
TT=12.502
|
UNSAT
TT=34.472
|
?
TT=1800.2
|
UNSAT
TT=1350.55
|
? (TO)
TT=1800.72
|
? (TO)
TT=1800.83
|
UNSAT
TT=12.502
|
UNSAT
TT=36.451
|
UNSAT
TT=55.191
|
UNSAT
TT=59.885
|
? (TO)
TT=1801.02
|
? (TO)
TT=1800.22
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.75
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_4_30_3.opb |
UNSAT
TT=30.578
|
UNSAT
TT=109.468
|
?
TT=1800.34
|
? (TO)
TT=1800.61
|
UNSAT
TT=1618.65
|
? (TO)
TT=1800.63
|
UNSAT
TT=30.578
|
UNSAT
TT=33.811
|
UNSAT
TT=118.187
|
UNSAT
TT=116.028
|
? (TO)
TT=1800.37
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.61
|
? (TO)
TT=1800.45
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_4_30_4.opb |
UNSAT
TT=18.4
|
UNSAT
TT=101.739
|
?
TT=1800.18
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.58
|
? (TO)
TT=1800.63
|
UNSAT
TT=18.4
|
UNSAT
TT=25.024
|
UNSAT
TT=49.489
|
UNSAT
TT=34.057
|
? (TO)
TT=1800.82
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.66
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_5_40_1.opb |
|
? (TO)
TT=1800.41
|
Signal
TT=1668.42
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.81
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.83
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.77
|
? (TO)
TT=1800.24
|
? (TO)
TT=1800.76
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.65
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_5_40_2.opb |
|
? (TO)
TT=1800.49
|
?
TT=1800.27
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.56
|
? (TO)
TT=1800.76
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.72
|
? (TO)
TT=1800.52
|
? (TO)
TT=1800.19
|
? (TO)
TT=1800.33
|
? (TO)
TT=1800.56
|
? (TO)
TT=1800.69
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_5_40_3.opb |
|
? (TO)
TT=1800.11
|
?
TT=1800.54
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.49
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.82
|
? (TO)
TT=1800.43
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.19
|
? (TO)
TT=1800.24
|
? (TO)
TT=1800.62
|
? (TO)
TT=1800.62
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_5_40_4.opb |
|
? (TO)
TT=1800.41
|
Signal
TT=1746.19
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.63
|
? (TO)
TT=1800.53
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.81
|
? (TO)
TT=1800.64
|
? (TO)
TT=1800.59
|
? (TO)
TT=1801.05
|
? (TO)
TT=1801.1
|
? (TO)
TT=1800.63
|
? (TO)
TT=1800.49
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_6_50_1.opb |
|
? (TO)
TT=1800.37
|
Signal
TT=1147.25
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.8
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.7
|
? (TO)
TT=1801.07
|
? (TO)
TT=1800.16
|
? (TO)
TT=1800.56
|
? (TO)
TT=1800.58
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_6_50_2.opb |
|
? (TO)
TT=1800.26
|
Signal
TT=1719.36
|
? (TO)
TT=1800.58
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.77
|
? (TO)
TT=1800.8
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.9
|
? (TO)
TT=1800.35
|
? (TO)
TT=1800.55
|
? (TO)
TT=1800.57
|
Bench name | Best results on this instance | absconPseudo 1 | bsolo 2006/05 | glpPB 0.2 | minisat+ 1.14 | PBS 4.1L | PB-smodels 1.28 | PB-smodels 1.31 | Pueblo 1.3 | Pueblo 1.4 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics | wildcat-rnp 0.8.0 | wildcat-skc 0.8.0 |
---|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_6_50_3.opb |
|
? (TO)
TT=1800.3
|
?
TT=1800.24
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.43
|
? (TO)
TT=1800.51
|
? (TO)
TT=1800.72
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.51
|
? (TO)
TT=1800.91
|
? (TO)
TT=1800.96
|
? (TO)
TT=1800.47
|
? (TO)
TT=1800.64
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_6_50_4.opb |
|
? (TO)
TT=1800.17
|
Signal
TT=1415.05
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.72
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.61
|
? (TO)
TT=1800.63
|
? (TO)
TT=1800.46
|
? (TO)
TT=1800.88
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.59
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_7_60_1.opb |
|
? (TO)
TT=1800.27
|
Signal
TT=841.425
|
? (TO)
TT=1800.58
|
? (TO)
TT=1800.46
|
? (TO)
TT=1800.53
|
? (TO)
TT=1800.75
|
? (TO)
TT=1800.77
|
? (TO)
TT=1800.53
|
? (TO)
TT=1800.43
|
? (TO)
TT=1800.64
|
? (TO)
TT=1800.18
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.61
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_7_60_2.opb |
|
? (TO)
TT=1800.3
|
Signal
TT=704.044
|
? (TO)
TT=1800.53
|
? (TO)
TT=1800.72
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.82
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.72
|
? (TO)
TT=1800.91
|
? (TO)
TT=1801.08
|
? (TO)
TT=1800.61
|
? (TO)
TT=1800.66
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_7_60_3.opb |
|
? (TO)
TT=1800.2
|
Signal
TT=707.02
|
? (TO)
TT=1800.83
|
? (TO)
TT=1800.42
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.59
|
? (TO)
TT=1800.47
|
? (TO)
TT=1800.44
|
? (TO)
TT=1800.89
|
? (TO)
TT=1800.47
|
? (TO)
TT=1800.63
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_7_60_4.opb |
|
? (TO)
TT=1800.3
|
Signal
TT=772.582
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.61
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.61
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.26
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.65
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_8_70_1.opb |
|
? (TO)
TT=1800.12
|
Signal
TT=1318.51
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.48
|
? (TO)
TT=1800.49
|
? (TO)
TT=1800.9
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.49
|
? (TO)
TT=1800.71
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_8_70_2.opb |
|
? (TO)
TT=1800.38
|
Signal
TT=727.18
|
? (TO)
TT=1800.59
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.43
|
? (TO)
TT=1800.64
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.14
|
? (TO)
TT=1800.46
|
? (TO)
TT=1800.64
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_8_70_3.opb |
|
? (TO)
TT=1800.49
|
Signal
TT=1125.63
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.57
|
? (TO)
TT=1801.08
|
? (TO)
TT=1800.37
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.53
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-market-split_8_70_4.opb |
|
? (TO)
TT=1800.46
|
Signal
TT=696.623
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.75
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.83
|
? (TO)
TT=1800.58
|
? (TO)
TT=1800.75
|
? (TO)
TT=1800.72
|
Bench name | Best results on this instance | absconPseudo 1 | bsolo 2006/05 | glpPB 0.2 | minisat+ 1.14 | PBS 4.1L | PB-smodels 1.28 | PB-smodels 1.31 | Pueblo 1.3 | Pueblo 1.4 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics | wildcat-rnp 0.8.0 | wildcat-skc 0.8.0 |
---|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_4_30_1.opb |
OPT
f=2 TT=97.31 T1=11.65
|
? (TO)
TT=1800.37
|
Signal
TT=1291.3
|
? (TO)
TT=1800.72
|
SAT (TO) f=4 TT=1800.68 T1=1039.64
|
? (TO)
TT=1800.61
|
OPT f=2 TT=139.114 T1=35.48
|
OPT f=2 TT=346.528 T1=176.1
|
OPT f=2 TT=124.01 T1=23.27
|
OPT f=2 TT=97.31 T1=11.65
|
SAT (TO) f=15 TT=1800.94 T1=1770.38
|
SAT (TO) f=7 TT=1800.72 T1=1034.94
|
SAT (TO) f=3 TT=1800.57 T1=328.93
|
SAT (TO) f=4 TT=1800.66 T1=1776.1
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_4_30_2.opb |
OPT
f=1 TT=26.682 T1=2.23
|
OPT f=1 TT=78.286 T1=77.76
|
Signal
TT=1130.72
|
? (TO)
TT=1800.68
|
SAT (TO) f=1 TT=1800.57 T1=1754.3
|
? (TO)
TT=1800.7
|
OPT f=1 TT=198.343 T1=185.96
|
OPT f=1 TT=480.919 T1=464.03
|
OPT f=1 TT=26.682 T1=2.23
|
OPT f=1 TT=220.368 T1=104.35
|
SAT (TO) f=15 TT=1800.41 T1=1704.98
|
SAT (TO) f=20 TT=1800.24 T1=1736.35
|
SAT (TO) f=3 TT=1800.66 T1=737.04
|
SAT (TO) f=4 TT=1800.56 T1=1359.53
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_4_30_3.opb |
OPT
f=2 TT=99.001 T1=4.52
|
OPT f=2 TT=1608.99 T1=908.41
|
Signal
TT=1566.46
|
? (TO)
TT=1800.69
|
SAT (TO) f=4 TT=1800.6 T1=1766.77
|
? (TO)
TT=1800.66
|
OPT f=2 TT=103.13 T1=25.02
|
OPT f=2 TT=311.563 T1=15.46
|
OPT f=2 TT=99.001 T1=4.52
|
OPT f=2 TT=211.622 T1=23.47
|
SAT (TO) f=10 TT=1800.57 T1=556.39
|
SAT (TO) f=17 TT=1800.26 T1=391.02
|
SAT (TO) f=4 TT=1800.6 T1=1762.21
|
SAT (TO) f=8 TT=1800.46 T1=473.6
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_4_30_4.opb |
OPT
f=1 TT=66.449 T1=31.02
|
? (TO)
TT=1800.27
|
Signal
TT=988.671
|
? (TO)
TT=1800.72
|
SAT (TO) f=2 TT=1800.62 T1=1758.26
|
? (TO)
TT=1800.65
|
OPT f=1 TT=111.64 T1=106.28
|
OPT f=1 TT=219.196 T1=216.67
|
OPT f=1 TT=66.449 T1=32.05
|
OPT f=1 TT=80.229 T1=31.02
|
SAT (TO) f=9 TT=1800.2 T1=1670.45
|
SAT (TO) f=12 TT=1801.04 T1=1571.34
|
SAT (TO) f=3 TT=1800.65 T1=877.94
|
SAT (TO) f=5 TT=1800.43 T1=1482.76
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_5_40_1.opb |
SAT
f=2 TT=1782.74 T1=371.85
|
? (TO)
TT=1800.32
|
SAT f=2 TT=1800.28 T1=979.16
|
? (TO)
TT=1800.73
|
SAT (TO) f=25 TT=1800.72 T1=1407.21
|
? (TO)
TT=1800.55
|
SAT (TO) f=8 TT=1800.76 T1=601.12
|
SAT (TO) f=4 TT=1800.81 T1=1676.62
|
SAT f=2 TT=1782.74 T1=371.85
|
SAT f=2 TT=1782.74 T1=862.46
|
SAT (TO) f=25 TT=1800.52 T1=1430.11
|
SAT (TO) f=38 TT=1800.59 T1=1558.8
|
SAT (TO) f=12 TT=1800.74 T1=1269.42
|
SAT (TO) f=37 TT=1800.57 T1=383.92
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_5_40_2.opb |
SAT
f=2 TT=1782.74 T1=867.08
|
? (TO)
TT=1800.36
|
SAT f=123 TT=1800.09 T1=1744.11
|
? (TO)
TT=1800.68
|
SAT (TO) f=29 TT=1800.72 T1=1717.51
|
? (TO)
TT=1800.69
|
SAT (TO) f=5 TT=1800.56 T1=102.66
|
SAT (TO) f=7 TT=1800.74 T1=253.54
|
SAT f=2 TT=1782.74 T1=867.08
|
SAT f=3 TT=1782.73 T1=1065.78
|
SAT (TO) f=42 TT=1800.6 T1=131.35
|
SAT (TO) f=20 TT=1800.27 T1=981.08
|
SAT (TO) f=9 TT=1800.83 T1=866.82
|
SAT (TO) f=33 TT=1800.56 T1=940.03
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_5_40_3.opb |
SAT
f=2 TT=1782.73 T1=342.76
|
? (TO)
TT=1800.21
|
SAT f=6 TT=1800.1 T1=1794.51
|
? (TO)
TT=1800.52
|
SAT (TO) f=35 TT=1800.51 T1=1709.99
|
? (TO)
TT=1800.66
|
SAT (TO) f=3 TT=1800.58 T1=710.11
|
SAT (TO) f=7 TT=1800.74 T1=1019.54
|
SAT f=2 TT=1782.73 T1=342.76
|
SAT f=2 TT=1782.73 T1=1001.96
|
SAT (TO) f=16 TT=1801.13 T1=992.66
|
SAT (TO) f=29 TT=1800.86 T1=1368.54
|
SAT (TO) f=10 TT=1800.69 T1=161.06
|
SAT (TO) f=23 TT=1800.57 T1=1367.47
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_5_40_4.opb |
SAT
f=2 TT=1782.73 T1=537.38
|
? (TO)
TT=1800.43
|
SAT f=100 TT=1800.1 T1=1504.49
|
? (TO)
TT=1800.6
|
SAT (TO) f=34 TT=1800.66 T1=1541.31
|
? (TO)
TT=1800.74
|
SAT (TO) f=6 TT=1800.66 T1=0.84
|
SAT (TO) f=5 TT=1800.69 T1=277.75
|
SAT f=2 TT=1782.73 T1=738.09
|
SAT f=2 TT=1782.73 T1=537.38
|
SAT (TO) f=36 TT=1800.79 T1=194.91
|
SAT (TO) f=31 TT=1800.13 T1=876.82
|
SAT (TO) f=12 TT=1800.74 T1=1272.83
|
SAT (TO) f=14 TT=1800.52 T1=1188.04
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_6_50_1.opb |
SAT
f=5 TT=1800.75 T1=61.1
|
? (TO)
TT=1800.49
|
SAT f=68 TT=1800.08 T1=1551.88
|
? (TO)
TT=1800.69
|
SAT (TO) f=195 TT=1800.68 T1=897.72
|
? (TO)
TT=1800.74
|
SAT (TO) f=11 TT=1800.76 T1=710.16
|
SAT (TO) f=5 TT=1800.75 T1=61.1
|
SAT f=8 TT=1782.74 T1=820.37
|
SAT f=8 TT=1782.73 T1=976.63
|
SAT (TO) f=41 TT=1800.3 T1=1659.46
|
SAT (TO) f=55 TT=1800.44 T1=1209.58
|
SAT (TO) f=24 TT=1800.66 T1=691.7
|
SAT (TO) f=72 TT=1800.52 T1=462.02
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_6_50_2.opb |
SAT
f=7 TT=1782.73 T1=215.52
|
? (TO)
TT=1800.42
|
SAT f=79 TT=1800.18 T1=1498.91
|
? (TO)
TT=1800.74
|
SAT (TO) f=179 TT=1800.66 T1=1696.83
|
? (TO)
TT=1800.66
|
SAT (TO) f=9 TT=1800.72 T1=1470.11
|
SAT (TO) f=31 TT=1800.74 T1=1444.62
|
SAT f=7 TT=1782.74 T1=885.91
|
SAT f=7 TT=1782.73 T1=215.52
|
SAT (TO) f=66 TT=1800.21 T1=1013.72
|
SAT (TO) f=46 TT=1801.09 T1=1734.59
|
SAT (TO) f=30 TT=1800.66 T1=1469.03
|
SAT (TO) f=69 TT=1800.61 T1=1674.68
|
Bench name | Best results on this instance | absconPseudo 1 | bsolo 2006/05 | glpPB 0.2 | minisat+ 1.14 | PBS 4.1L | PB-smodels 1.28 | PB-smodels 1.31 | Pueblo 1.3 | Pueblo 1.4 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics | wildcat-rnp 0.8.0 | wildcat-skc 0.8.0 |
---|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_6_50_3.opb |
SAT
f=7 TT=1782.74 T1=969.31
|
? (TO)
TT=1800.35
|
SAT f=70 TT=1800.12 T1=1689.89
|
? (TO)
TT=1800.68
|
SAT (TO) f=186 TT=1800.7 T1=1800.05
|
? (TO)
TT=1800.69
|
SAT (TO) f=21 TT=1800.62 T1=490.83
|
SAT (TO) f=21 TT=1800.59 T1=3
|
SAT f=10 TT=1782.73 T1=1579.06
|
SAT f=7 TT=1782.74 T1=969.31
|
SAT (TO) f=62 TT=1800.76 T1=1710.03
|
SAT (TO) f=56 TT=1800.24 T1=850.31
|
SAT (TO) f=28 TT=1800.65 T1=1101.5
|
SAT (TO) f=30 TT=1800.64 T1=1561.4
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_6_50_4.opb |
SAT
f=4 TT=1782.73 T1=1278.94
|
? (TO)
TT=1800.47
|
SAT f=113 TT=1800.19 T1=1423.32
|
? (TO)
TT=1800.54
|
SAT (TO) f=201 TT=1800.72 T1=1764.53
|
? (TO)
TT=1800.74
|
SAT (TO) f=9 TT=1800.67 T1=87.04
|
SAT (TO) f=6 TT=1800.82 T1=1562.72
|
SAT f=4 TT=1782.73 T1=1278.94
|
SAT f=5 TT=1782.73 T1=851.11
|
SAT (TO) f=41 TT=1800.79 T1=1595.73
|
SAT (TO) f=53 TT=1800.3 T1=918.86
|
SAT (TO) f=25 TT=1800.7 T1=1637.57
|
SAT (TO) f=77 TT=1800.56 T1=460.24
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_7_60_1.opb |
SAT
f=13 TT=1782.73 T1=812.46
|
? (TO)
TT=1800.2
|
SAT f=192 TT=1800.13 T1=1800.21
|
? (exit code)
TT=8.559
|
SAT (TO) f=367 TT=1800.65 T1=1539.11
|
? (TO)
TT=1800.78
|
SAT (TO) f=24 TT=1800.82 T1=1389.37
|
SAT (TO) f=90 TT=1800.61 T1=4.07
|
SAT f=13 TT=1782.73 T1=812.46
|
SAT f=18 TT=1782.74 T1=483.61
|
SAT (TO) f=86 TT=1800.16 T1=52.46
|
SAT (TO) f=85 TT=1800.35 T1=1760.5
|
SAT (TO) f=38 TT=1800.63 T1=1534.08
|
SAT (TO) f=185 TT=1800.58 T1=1346.14
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_7_60_2.opb |
SAT
f=25 TT=1782.73 T1=1373.42
|
? (TO)
TT=1800.27
|
SAT f=405 TT=1800.16 T1=733.9
|
? (TO)
TT=1800.74
|
SAT (TO) f=345 TT=1800.72 T1=1542.84
|
? (TO)
TT=1800.6
|
SAT (TO) f=72 TT=1800.63 T1=1479.1
|
SAT (TO) f=162 TT=1800.66 T1=0.67
|
SAT f=25 TT=1782.73 T1=1373.42
|
SAT f=33 TT=1782.73 T1=1468.69
|
SAT (TO) f=102 TT=1800.54 T1=1159.29
|
SAT (TO) f=99 TT=1800.78 T1=1401.63
|
SAT (TO) f=47 TT=1800.79 T1=1209.82
|
SAT (TO) f=138 TT=1800.71 T1=1735.45
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_7_60_3.opb |
SAT
f=16 TT=1782.74 T1=404.47
|
? (TO)
TT=1800.21
|
SAT f=250 TT=1800.16 T1=650.68
|
? (TO)
TT=1800.55
|
SAT (TO) f=345 TT=1800.73 T1=959.76
|
? (TO)
TT=1800.74
|
SAT (TO) f=49 TT=1800.67 T1=203.75
|
SAT (TO) f=29 TT=1800.81 T1=174.87
|
SAT f=73 TT=1782.73 T1=14.9
|
SAT f=16 TT=1782.74 T1=404.47
|
SAT (TO) f=89 TT=1800.37 T1=895.41
|
SAT (TO) f=127 TT=1800.85 T1=1657.61
|
SAT (TO) f=32 TT=1800.67 T1=1124.63
|
SAT (TO) f=207 TT=1800.78 T1=1647.78
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_7_60_4.opb |
SAT
f=12 TT=1782.73 T1=408.68
|
? (TO)
TT=1800.31
|
SAT f=159 TT=1800.13 T1=1768.56
|
? (TO)
TT=1800.69
|
SAT (TO) f=414 TT=1800.67 T1=1790.65
|
? (TO)
TT=1800.7
|
SAT (TO) f=26 TT=1800.58 T1=51.38
|
SAT (TO) f=103 TT=1800.65 T1=4.56
|
SAT f=12 TT=1782.73 T1=408.68
|
SAT f=19 TT=1782.74 T1=983.12
|
SAT (TO) f=113 TT=1801.09 T1=1676.06
|
SAT (TO) f=88 TT=1800.33 T1=1557.1
|
SAT (TO) f=34 TT=1800.66 T1=960.23
|
SAT (TO) f=187 TT=1800.49 T1=1241.17
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_8_70_1.opb |
SAT
f=32 TT=1782.73 T1=896.95
|
? (TO)
TT=1800.29
|
SAT f=777 TT=1800.12 T1=47.22
|
? (TO)
TT=1800.88
|
SAT (TO) f=381 TT=1800.66 T1=1777.96
|
? (TO)
TT=1800.68
|
SAT (TO) f=90 TT=1800.61 T1=717.67
|
SAT (TO) f=101 TT=1800.72 T1=3.1
|
SAT f=32 TT=1782.73 T1=896.95
|
SAT f=43 TT=1782.73 T1=1780.13
|
SAT (TO) f=123 TT=1800.2 T1=1638.52
|
SAT (TO) f=303 TT=1800.59 T1=1727.42
|
SAT (TO) f=75 TT=1800.63 T1=1723.47
|
SAT (TO) f=615 TT=1800.5 T1=1767.98
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_8_70_2.opb |
SAT
f=38 TT=1782.74 T1=700.26
|
? (TO)
TT=1800.33
|
SAT f=421 TT=1800.16 T1=1473.61
|
? (TO)
TT=1800.69
|
SAT (TO) f=475 TT=1800.64 T1=1327.97
|
? (TO)
TT=1800.73
|
SAT (TO) f=76 TT=1800.55 T1=879.3
|
SAT (TO) f=162 TT=1800.76 T1=4.55
|
SAT f=38 TT=1782.74 T1=700.26
|
SAT f=48 TT=1782.73 T1=964.43
|
SAT (TO) f=125 TT=1800.62 T1=1719.99
|
SAT (TO) f=232 TT=1800.64 T1=1730.07
|
SAT (TO) f=48 TT=1800.57 T1=1543.69
|
SAT (TO) f=422 TT=1800.71 T1=1067.62
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_8_70_3.opb |
SAT
f=24 TT=1782.74 T1=337.06
|
? (TO)
TT=1800.39
|
SAT f=420 TT=1800.13 T1=1783.17
|
? (TO)
TT=1800.73
|
SAT (TO) f=550 TT=1800.68 T1=1660.79
|
? (TO)
TT=1800.7
|
SAT (TO) f=123 TT=1800.66 T1=1655.55
|
SAT (TO) f=130 TT=1800.81 T1=16.87
|
SAT f=24 TT=1782.74 T1=337.06
|
SAT f=35 TT=1782.74 T1=836.86
|
SAT (TO) f=130 TT=1800.98 T1=1649.65
|
SAT (TO) f=350 TT=1800.37 T1=1610.26
|
SAT (TO) f=51 TT=1800.65 T1=987.96
|
SAT (TO) f=400 TT=1800.71 T1=1682.12
|
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/market-split/ normalized-opt-market-split_8_70_4.opb |
SAT
f=77 TT=1800.52 T1=1473.93
|
? (TO)
TT=1800.37
|
SAT f=537 TT=1800.2 T1=1658.63
|
? (TO)
TT=1800.23
|
SAT (TO) f=518 TT=1800.72 T1=1191.65
|
? (TO)
TT=1800.62
|
SAT (TO) f=141 TT=1800.76 T1=1174.39
|
SAT (TO) f=166 TT=1800.77 T1=316.56
|
SAT f=130 TT=1782.74 T1=103.73
|
SAT f=84 TT=1782.73 T1=172.72
|
SAT (TO) f=124 TT=1800.57 T1=1279.39
|
SAT (TO) f=244 TT=1801.15 T1=1623.12
|
SAT (TO) f=77 TT=1800.52 T1=1473.93
|
SAT (TO) f=336 TT=1800.65 T1=818.61
|