normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb |
|
?
TT=0.26
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.5
|
? (TO)
TT=1800.76
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb |
OPT
f=1 TT=3.626 T1=2.79
|
?
TT=0.25
|
OPT f=1 TT=88 T1=88.01
|
? (TO)
TT=1800.32
|
OPT f=1 TT=3.626 T1=2.79
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb |
|
?
TT=0.278
|
? (TO)
TT=1800.84
|
? (TO)
TT=1800.8
|
? (TO)
TT=1800.38
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb |
OPT
f=1 TT=3.567 T1=2.77
|
?
TT=0.253
|
OPT f=1 TT=49.162 T1=49.17
|
? (TO)
TT=1800.75
|
OPT f=1 TT=3.567 T1=2.77
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb |
|
?
TT=0.008
|
? (TO)
TT=1800.78
|
? (TO)
TT=1800.98
|
? (TO)
TT=1800.31
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb |
OPT
f=1 TT=5.691 T1=4.72
|
?
TT=0.01
|
? (TO)
TT=1800.77
|
? (TO)
TT=1800.13
|
OPT f=1 TT=5.691 T1=4.72
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb |
|
?
TT=0.005
|
? (TO)
TT=1800.77
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.29
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb |
OPT
f=1 TT=5.55 T1=4.68
|
?
TT=0.014
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.43
|
OPT f=1 TT=5.55 T1=4.68
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb |
|
?
TT=0.009
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.84
|
? (TO)
TT=1800.77
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb |
OPT
f=1 TT=7.951 T1=6.86
|
?
TT=0.013
|
? (TO)
TT=1800.86
|
? (TO)
TT=1800.83
|
OPT f=1 TT=7.951 T1=6.86
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb |
|
?
TT=0.006
|
? (TO)
TT=1800.64
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.57
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb |
OPT
f=1 TT=9.849 T1=8.84
|
?
TT=0.015
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.74
|
OPT f=1 TT=9.849 T1=8.84
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb |
|
?
TT=0.009
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.76
|
? (TO)
TT=1800.5
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb |
OPT
f=1 TT=15.144 T1=14.01
|
?
TT=0.008
|
? (TO)
TT=1800.78
|
? (TO)
TT=1800.71
|
OPT f=1 TT=15.144 T1=14.01
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb |
|
?
TT=0.012
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.1
|
? (TO)
TT=1800.74
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb |
OPT
f=1 TT=12.123 T1=10.96
|
?
TT=0.006
|
? (TO)
TT=1800.7
|
? (TO)
TT=1800.12
|
OPT f=1 TT=12.123 T1=10.96
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb |
|
?
TT=0.008
|
? (TO)
TT=1800.61
|
? (TO)
TT=1801.09
|
? (TO)
TT=1800.86
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb |
OPT
f=1 TT=19.555 T1=18.2
|
?
TT=0.008
|
? (TO)
TT=1800.72
|
? (TO)
TT=1801.03
|
OPT f=1 TT=19.555 T1=18.2
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb |
|
?
TT=0.016
|
? (TO)
TT=1800.48
|
? (TO)
TT=1800.55
|
? (TO)
TT=1800.94
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb |
OPT
f=1 TT=24.912 T1=23.51
|
?
TT=0.008
|
? (TO)
TT=1800.64
|
? (TO)
TT=1800.36
|
OPT f=1 TT=24.912 T1=23.51
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb |
|
?
TT=0.011
|
? (TO)
TT=1800.56
|
? (TO)
TT=1800.27
|
? (TO)
TT=1800.44
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb |
OPT
f=1 TT=32.742 T1=31.22
|
?
TT=0.007
|
OPT f=1 TT=111.641 T1=111.64
|
? (TO)
TT=1800.26
|
OPT f=1 TT=32.742 T1=31.22
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb |
|
?
TT=0.014
|
? (TO)
TT=1800.72
|
? (TO)
TT=1800.29
|
? (TO)
TT=1800.58
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb |
OPT
f=1 TT=29.104 T1=27.4
|
?
TT=0.005
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.62
|
OPT f=1 TT=29.104 T1=27.4
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb |
OPT
f=-92 TT=0.513 T1=0.51
|
OPT f=-92 TT=3.264 T1=2.78
|
OPT f=-92 TT=0.513 T1=0.51
|
SAT (TO) f=-4 TT=1800.67 T1=1.87
|
SAT (TO) f=-92 TT=1801.09 T1=139.32
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb |
OPT
f=1 TT=0.162 T1=0.16
|
OPT f=1 TT=1.926 T1=1.95
|
OPT f=1 TT=0.162 T1=0.16
|
OPT f=1 TT=1.034 T1=0.71
|
OPT f=1 TT=0.675 T1=0.46
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb |
OPT
f=-1281 TT=0.217 T1=0.22
|
OPT f=-1281 TT=2.671 T1=2.58
|
OPT f=-1281 TT=0.217 T1=0.22
|
SAT (TO) f=-1281 TT=1800.73 T1=88.7
|
SAT (TO) f=-1281 TT=1800.42 T1=42.11
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb |
OPT
f=1 TT=0.117 T1=0.12
|
OPT f=1 TT=2.43 T1=2.64
|
OPT f=1 TT=0.117 T1=0.12
|
OPT f=1 TT=639.834 T1=634.09
|
OPT f=1 TT=0.584 T1=0.41
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb |
|
?
TT=0.011
|
? (TO)
TT=1800.6
|
? (TO)
TT=1801.03
|
? (TO)
TT=1800.21
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb |
OPT
f=1 TT=42.131 T1=39.4
|
?
TT=0.012
|
? (TO)
TT=1800.78
|
? (TO)
TT=1800.41
|
OPT f=1 TT=42.131 T1=39.4
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb |
|
?
TT=0.014
|
? (TO)
TT=1800.62
|
? (TO)
TT=1800.83
|
? (TO)
TT=1800.49
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb |
OPT
f=1 TT=40.885 T1=38.14
|
?
TT=0.007
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.72
|
OPT f=1 TT=40.885 T1=38.14
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb |
|
?
TT=0.006
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.94
|
? (TO)
TT=1800.48
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb |
OPT
f=1 TT=56.254 T1=52.98
|
?
TT=0.004
|
? (TO)
TT=1800.64
|
? (TO)
TT=1801.24
|
OPT f=1 TT=56.254 T1=52.98
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb |
|
?
TT=0.007
|
? (TO)
TT=1800.73
|
? (TO)
TT=1800.7
|
? (TO)
TT=1801.03
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb |
OPT
f=1 TT=56.452 T1=53.25
|
?
TT=0.005
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.13
|
OPT f=1 TT=56.452 T1=53.25
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb |
|
?
TT=0.009
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.31
|
? (TO)
TT=1801.06
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb |
OPT
f=1 TT=79.922 T1=76.46
|
?
TT=0.012
|
? (TO)
TT=1800.77
|
? (TO)
TT=1800.77
|
OPT f=1 TT=79.922 T1=76.46
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb |
|
?
TT=0.008
|
? (TO)
TT=1800.78
|
? (TO)
TT=1800.55
|
? (TO)
TT=1800.22
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb |
OPT
f=1 TT=69.181 T1=66.56
|
?
TT=0.007
|
? (TO)
TT=1800.64
|
? (TO)
TT=1800.96
|
OPT f=1 TT=69.181 T1=66.56
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb |
|
?
TT=0.005
|
? (TO)
TT=1800.84
|
? (TO)
TT=1800.99
|
? (TO)
TT=1800.24
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb |
OPT
f=1 TT=99.798 T1=96.1
|
?
TT=0.004
|
? (TO)
TT=1800.76
|
? (TO)
TT=1800.36
|
OPT f=1 TT=99.798 T1=96.1
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb |
|
?
TT=0.01
|
? (TO)
TT=1800.84
|
? (TO)
TT=1800.21
|
? (TO)
TT=1800.76
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb |
OPT
f=1 TT=102.032 T1=97.97
|
?
TT=0.013
|
? (TO)
TT=1800.75
|
? (TO)
TT=1800.59
|
OPT f=1 TT=102.032 T1=97.97
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb |
|
?
TT=0.008
|
? (TO)
TT=1800.71
|
? (TO)
TT=1800.49
|
? (TO)
TT=1801.08
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb |
OPT
f=1 TT=123.444 T1=118.97
|
?
TT=0.007
|
? (TO)
TT=1800.66
|
? (TO)
TT=1800.37
|
OPT f=1 TT=123.444 T1=118.97
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb |
|
?
TT=0.006
|
? (TO)
TT=1800.64
|
? (TO)
TT=1801.05
|
? (TO)
TT=1800.96
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb |
OPT
f=1 TT=117.794 T1=113.2
|
?
TT=0.011
|
? (TO)
TT=1800.59
|
? (TO)
TT=1800.96
|
OPT f=1 TT=117.794 T1=113.2
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb |
|
?
TT=0.01
|
? (TO)
TT=1800.75
|
? (TO)
TT=1800.24
|
? (TO)
TT=1800.6
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb |
OPT
f=1 TT=170.179 T1=164.29
|
?
TT=0.006
|
OPT f=1 TT=947.666 T1=947.74
|
? (TO)
TT=1800.92
|
OPT f=1 TT=170.179 T1=164.29
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb |
|
?
TT=0.012
|
? (TO)
TT=1800.85
|
? (TO)
TT=1800.48
|
? (TO)
TT=1800.39
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb |
OPT
f=1 TT=157.425 T1=151.38
|
?
TT=0.01
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.37
|
OPT f=1 TT=157.425 T1=151.38
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb |
|
?
TT=0.01
|
? (TO)
TT=1800.75
|
? (TO)
TT=1800.76
|
? (TO)
TT=1800.83
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb |
OPT
f=1 TT=193.899 T1=187.12
|
?
TT=0.006
|
? (TO)
TT=1800.77
|
? (TO)
TT=1800.55
|
OPT f=1 TT=193.899 T1=187.12
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb |
|
?
TT=0.012
|
? (TO)
TT=1800.78
|
? (TO)
TT=1800.38
|
? (TO)
TT=1800.56
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb |
OPT
f=1 TT=214.821 T1=208.2
|
?
TT=0.007
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.09
|
OPT f=1 TT=214.821 T1=208.2
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb |
|
?
TT=0.004
|
? (TO)
TT=1800.79
|
? (TO)
TT=1800.56
|
? (TO)
TT=1800.38
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb |
OPT
f=1 TT=242.214 T1=234.59
|
?
TT=0.006
|
? (TO)
TT=1800.74
|
? (TO)
TT=1801.06
|
OPT f=1 TT=242.214 T1=234.59
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb |
|
?
TT=0.005
|
? (TO)
TT=1800.83
|
? (TO)
TT=1800.84
|
? (TO)
TT=1800.3
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb |
OPT
f=1 TT=242.482 T1=234.82
|
?
TT=0.004
|
? (TO)
TT=1800.65
|
? (TO)
TT=1800.39
|
OPT f=1 TT=242.482 T1=234.82
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb |
|
?
TT=0.006
|
? (TO)
TT=1800.81
|
? (TO)
TT=1800.6
|
? (TO)
TT=1800.79
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb |
OPT
f=1 TT=313.718 T1=304.1
|
?
TT=0.004
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.1
|
OPT f=1 TT=313.718 T1=304.1
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb |
|
?
TT=0.01
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.49
|
? (TO)
TT=1800.47
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb |
OPT
f=1 TT=325.625 T1=315.6
|
?
TT=0.011
|
? (TO)
TT=1800.74
|
? (TO)
TT=1801.13
|
OPT f=1 TT=325.625 T1=315.6
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb |
|
?
TT=0.005
|
? (TO)
TT=1800.58
|
? (TO)
TT=1801.04
|
? (TO)
TT=1800.17
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb |
OPT
f=1 TT=358.675 T1=347.08
|
?
TT=0.014
|
? (TO)
TT=1800.67
|
? (TO)
TT=1801.02
|
OPT f=1 TT=358.675 T1=347.08
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb |
|
?
TT=0.005
|
? (TO)
TT=1800.67
|
? (TO)
TT=1801
|
? (TO)
TT=1800.73
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb |
OPT
f=1 TT=365.237 T1=353.41
|
?
TT=0.007
|
? (TO)
TT=1800.74
|
? (TO)
TT=1800.43
|
OPT f=1 TT=365.237 T1=353.41
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb |
SAT
f=-18535 TT=1800.05 T1=996.96
|
SAT f=-18535 TT=1800.05 T1=996.96
|
SAT (TO) f=-18535 TT=1800.58 T1=1719.93
|
? (TO)
TT=1800.33
|
? (TO)
TT=1800.37
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb |
OPT
f=1 TT=1.019 T1=0.89
|
OPT f=1 TT=41.294 T1=41.31
|
OPT f=1 TT=1.019 T1=1.03
|
? (TO)
TT=1800.38
|
OPT f=1 TT=1.436 T1=0.89
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb |
OPT
f=-1307731 TT=655.452 T1=650.15
|
SAT f=-26606 TT=1800.06 T1=1079.5
|
OPT f=-1307731 TT=655.452 T1=650.15
|
? (TO)
TT=1800.73
|
? (TO)
TT=1801.01
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb |
OPT
f=1 TT=1.483 T1=0.94
|
OPT f=1 TT=71.612 T1=71.58
|
OPT f=1 TT=3.811 T1=3.82
|
? (TO)
TT=1800.51
|
OPT f=1 TT=1.483 T1=0.94
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb |
|
?
TT=0.011
|
? (TO)
TT=1800.92
|
? (TO)
TT=1800.4
|
? (TO)
TT=1800.51
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb |
OPT
f=1 TT=510.508 T1=496.38
|
?
TT=0.008
|
? (TO)
TT=1800.85
|
? (TO)
TT=1800.44
|
OPT f=1 TT=510.508 T1=496.38
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb |
|
?
TT=0.009
|
? (TO)
TT=1800.75
|
? (TO)
TT=1800.65
|
? (TO)
TT=1801.08
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb |
OPT
f=1 TT=497.867 T1=483.05
|
?
TT=0.005
|
? (TO)
TT=1800.84
|
? (TO)
TT=1801.2
|
OPT f=1 TT=497.867 T1=483.05
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb |
|
?
TT=0.005
|
? (TO)
TT=1800.86
|
? (TO)
TT=1800.57
|
? (TO)
TT=1800.18
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb |
OPT
f=1 TT=529.967 T1=514
|
?
TT=0.006
|
? (TO)
TT=1800.87
|
? (TO)
TT=1800.85
|
OPT f=1 TT=529.967 T1=514
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb |
|
?
TT=0.006
|
? (TO)
TT=1800.76
|
? (TO)
TT=1800.39
|
? (TO)
TT=1801.03
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb |
OPT
f=1 TT=522.656 T1=504.72
|
?
TT=0.005
|
? (TO)
TT=1800.79
|
? (TO)
TT=1800.6
|
OPT f=1 TT=522.656 T1=504.72
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb |
|
?
TT=0.013
|
? (TO)
TT=1800.88
|
? (TO)
TT=1800.64
|
? (TO)
TT=1800.81
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb |
OPT
f=1 TT=633.481 T1=615.06
|
?
TT=0.006
|
? (TO)
TT=1800.67
|
? (TO)
TT=1800.32
|
OPT f=1 TT=633.481 T1=615.06
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb |
|
?
TT=0.008
|
? (TO)
TT=1800.83
|
? (TO)
TT=1800.59
|
? (TO)
TT=1800.44
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb |
OPT
f=1 TT=848.065 T1=827.11
|
?
TT=0.005
|
? (TO)
TT=1800.89
|
? (TO)
TT=1800.64
|
OPT f=1 TT=848.065 T1=827.11
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb |
|
?
TT=0.01
|
? (TO)
TT=1801.06
|
? (TO)
TT=1800.42
|
? (TO)
TT=1800.27
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb |
OPT
f=1 TT=731.27 T1=709.62
|
?
TT=0.013
|
? (TO)
TT=1800.81
|
? (TO)
TT=1800.2
|
OPT f=1 TT=731.27 T1=709.62
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb |
|
?
TT=0.009
|
? (TO)
TT=1800.9
|
? (TO)
TT=1800.69
|
? (TO)
TT=1800.73
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb |
OPT
f=1 TT=736.078 T1=712.48
|
?
TT=0.011
|
? (TO)
TT=1800.84
|
? (TO)
TT=1800.19
|
OPT f=1 TT=736.078 T1=712.48
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb |
|
?
TT=0.01
|
? (TO)
TT=1801.01
|
? (TO)
TT=1800.68
|
? (TO)
TT=1800.72
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb |
OPT
f=1 TT=857.03 T1=830.27
|
?
TT=0.006
|
? (TO)
TT=1800.86
|
? (TO)
TT=1800.55
|
OPT f=1 TT=857.03 T1=830.27
|
Bench name | Best results on this instance | bsolo 2006/05 | minisat+ 1.14 | SAT4JPSEUDO 2006.2 | SAT4JPSEUDO 2006.2 Heuristics |
---|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb |
|
?
TT=0.01
|
? (TO)
TT=1800.78
|
? (TO)
TT=1800.54
|
? (TO)
TT=1800.4
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb |
OPT
f=1 TT=905.638 T1=878.26
|
?
TT=0.005
|
? (TO)
TT=1800.91
|
? (TO)
TT=1800.55
|
OPT f=1 TT=905.638 T1=878.26
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb |
SAT
f=-5 TT=1800.78 T1=266.87
|
?
TT=0.098
|
? (TO)
TT=1800.52
|
? (TO)
TT=1800.54
|
SAT (TO) f=-5 TT=1800.78 T1=266.87
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb |
OPT
f=1 TT=1.932 T1=1.29
|
?
TT=0.1
|
? (TO)
TT=1800.59
|
? (TO)
TT=1800.95
|
OPT f=1 TT=1.932 T1=1.29
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb |
SAT
f=-5 TT=1800.78 T1=69.22
|
?
TT=0.115
|
? (TO)
TT=1800.57
|
? (TO)
TT=1801.05
|
SAT (TO) f=-5 TT=1800.78 T1=69.22
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb |
OPT
f=1 TT=1.963 T1=1.24
|
?
TT=0.094
|
OPT f=1 TT=159.406 T1=159.45
|
? (TO)
TT=1800.74
|
OPT f=1 TT=1.963 T1=1.24
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb |
|
?
TT=0.174
|
? (TO)
TT=1800.55
|
? (TO)
TT=1801.05
|
? (TO)
TT=1800.82
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb |
OPT
f=1 TT=2.471 T1=1.89
|
?
TT=0.167
|
OPT f=1 TT=100.511 T1=100.54
|
? (TO)
TT=1801.03
|
OPT f=1 TT=2.471 T1=1.89
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb |
|
?
TT=0.167
|
? (TO)
TT=1800.51
|
? (TO)
TT=1800.63
|
? (TO)
TT=1800.69
|
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb |
OPT
f=1 TT=2.736 T1=2.09
|
?
TT=0.169
|
? (TO)
TT=1800.55
|
? (TO)
TT=1800.89
|
OPT f=1 TT=2.736 T1=2.09
|