composed/composed-25-1-25/ composed-25-1-25-1_ext.xml |
MOPT
f=244 TT=43.228
|
OPTIMUM f=244 TT=43.228 T1=0.79
|
OPTIMUM f=244 TT=47.905 T1=0.67
|
? (TO)
TT=2400.09
|
? (TO)
TT=2400.01
|
MSAT (TO) f=240 TT=2400.03 T1=0.54
|
MSAT (TO) f=244 TT=2400.04
|
? (TO)
TT=2400.05
|
? (TO)
TT=2400.03
|
MSAT (TO) f=244 TT=2400.1
|
composed/composed-25-1-25/ composed-25-1-25-3_ext.xml |
MOPT
f=245 TT=35.148
|
OPTIMUM f=245 TT=35.148 T1=0.74
|
OPTIMUM f=245 TT=35.299 T1=0.71
|
? (TO)
TT=2400.04
|
? (TO)
TT=2400.11
|
MSAT (TO) f=244 TT=2400.09
|
MSAT (TO) f=245 TT=2400.11
|
? (TO)
TT=2400.01
|
? (TO)
TT=2400.02
|
OPTIMUM f=245 TT=424.783
|
composed/composed-25-1-25/ composed-25-1-25-5_ext.xml |
MOPT
f=245 TT=32.462
|
OPTIMUM f=245 TT=32.462 T1=0.7
|
OPTIMUM f=245 TT=38.057 T1=0.64
|
? (TO)
TT=2400.11
|
? (TO)
TT=2400.03
|
MSAT (TO) f=242 TT=2400.04 T1=0.6
|
MSAT (TO) f=245 TT=2400.11
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.02
|
OPTIMUM f=245 TT=634.966
|
composed/composed-25-1-25/ composed-25-1-25-7_ext.xml |
MOPT
f=245 TT=34.351
|
OPTIMUM f=245 TT=34.351 T1=0.7
|
OPTIMUM f=245 TT=37.27 T1=0.69
|
? (TO)
TT=2400.04
|
? (TO)
TT=2400.02
|
MSAT (TO) f=242 TT=2400.06 T1=0.55
|
MSAT (TO) f=245 TT=2400.13
|
? (TO)
TT=2400.04
|
? (TO)
TT=2400.07
|
MSAT (TO) f=245 TT=2400.14
|
composed/composed-25-1-25/ composed-25-1-25-9_ext.xml |
MOPT
f=245 TT=32.989
|
OPTIMUM f=245 TT=32.989 T1=0.69
|
OPTIMUM f=245 TT=39.066 T1=0.69
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.02
|
MSAT (TO) f=244 TT=2400.07 T1=0.57
|
MSAT (TO) f=245 TT=2400.07
|
? (TO)
TT=2400.01
|
? (TO)
TT=2400.01
|
MSAT (TO) f=245 TT=2400.08
|
composed/composed-25-1-2/ composed-25-1-2-1_ext.xml |
MOPT
f=221 TT=36.266
|
OPTIMUM f=221 TT=36.266 T1=0.68
|
OPTIMUM f=221 TT=38.101 T1=0.67
|
? (TO)
TT=2400.09
|
? (TO)
TT=2400.08
|
MSAT (TO) f=218 TT=2400.01 T1=0.53
|
MSAT (TO) f=221 TT=2400.06
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.03
|
MSAT (TO) f=221 TT=2400.1
|
composed/composed-25-1-2/ composed-25-1-2-3_ext.xml |
MOPT
f=222 TT=36.244
|
OPTIMUM f=222 TT=36.244 T1=5.33
|
OPTIMUM f=222 TT=36.777 T1=5.21
|
? (TO)
TT=2400.05
|
? (TO)
TT=2400.08
|
MSAT (TO) f=217 TT=2400.05 T1=0.61
|
MSAT (TO) f=222 TT=2400.12
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.03
|
OPTIMUM f=222 TT=566.521
|
composed/composed-25-1-2/ composed-25-1-2-5_ext.xml |
MOPT
f=222 TT=32.788
|
OPTIMUM f=222 TT=32.788 T1=0.68
|
OPTIMUM f=222 TT=37.502 T1=0.77
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.08
|
MSAT (TO) f=221 TT=2400.09
|
MSAT (TO) f=222 TT=2400.09
|
? (TO)
TT=2400.08
|
? (TO)
TT=2400.04
|
OPTIMUM f=222 TT=945.588
|
composed/composed-25-1-2/ composed-25-1-2-7_ext.xml |
MOPT
f=222 TT=35.155
|
OPTIMUM f=222 TT=35.155 T1=0.73
|
OPTIMUM f=222 TT=35.294 T1=0.68
|
? (TO)
TT=2400.04
|
? (TO)
TT=2400.05
|
MSAT (TO) f=220 TT=2400.01
|
MSAT (TO) f=222 TT=2400.09
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.07
|
MSAT (TO) f=222 TT=2400.13
|
composed/composed-25-1-2/ composed-25-1-2-9_ext.xml |
MOPT
f=222 TT=1.631
|
OPTIMUM f=222 TT=32.585 T1=0.74
|
OPTIMUM f=222 TT=31.744 T1=0.69
|
OPTIMUM f=222 TT=1.631 T1=1.64
|
? (TO)
TT=2400.06
|
MSAT (TO) f=221 TT=2400.02
|
MSAT (TO) f=222 TT=2400.04
|
OPTIMUM f=222 TT=3.713
|
? (TO)
TT=2400.08
|
MSAT (TO) f=222 TT=2400.12
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | aolibdvo 2007-01-17 | aolibpvo 2007-01-17 | CSP4J - MaxCSP 2006-12-19 | toolbar 2007-01-12 | Toolbar_BTD 2007-01-12 | Toolbar_MaxSat 2007-01-19 | Toulbar2 2007-01-12 |
---|
composed/composed-25-1-40/ composed-25-1-40-1_ext.xml |
MOPT
f=259 TT=34.419
|
OPTIMUM f=259 TT=35.089 T1=0.71
|
OPTIMUM f=259 TT=34.419 T1=0.7
|
? (TO)
TT=2400.08
|
? (TO)
TT=2400.06
|
MSAT (TO) f=258 TT=2400.07
|
MSAT (TO) f=259 TT=2400.13
|
? (TO)
TT=2400.03
|
? (TO)
TT=2400.03
|
MSAT (TO) f=259 TT=2400.06
|
composed/composed-25-1-40/ composed-25-1-40-3_ext.xml |
MOPT
f=260 TT=32.176
|
OPTIMUM f=260 TT=32.615 T1=0.71
|
OPTIMUM f=260 TT=32.176 T1=0.72
|
? (TO)
TT=2400.01
|
? (TO)
TT=2400.07
|
MSAT (TO) f=257 TT=2400.02 T1=0.55
|
MSAT (TO) f=260 TT=2400.05
|
? (TO)
TT=2400.07
|
? (TO)
TT=2400.09
|
OPTIMUM f=260 TT=455.21
|
composed/composed-25-1-40/ composed-25-1-40-5_ext.xml |
MOPT
f=260 TT=33.645
|
OPTIMUM f=260 TT=33.645 T1=0.72
|
OPTIMUM f=260 TT=34.689 T1=0.7
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.09
|
MSAT (TO) f=257 TT=2400.09 T1=0.53
|
MSAT (TO) f=260 TT=2400.13
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.01
|
OPTIMUM f=260 TT=499.525
|
composed/composed-25-1-40/ composed-25-1-40-7_ext.xml |
MOPT
f=260 TT=34.908
|
OPTIMUM f=260 TT=35.902 T1=0.68
|
OPTIMUM f=260 TT=34.908 T1=0.71
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.08
|
MSAT (TO) f=260 TT=2400.05
|
MSAT (TO) f=260 TT=2400.08
|
? (TO)
TT=2400.04
|
? (TO)
TT=2400.04
|
MSAT (TO) f=260 TT=2400.12
|
composed/composed-25-1-40/ composed-25-1-40-9_ext.xml |
MOPT
f=260 TT=32.919
|
OPTIMUM f=260 TT=32.919 T1=0.72
|
OPTIMUM f=260 TT=34.927 T1=0.71
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.01
|
MSAT (TO) f=259 TT=2400.08 T1=0.55
|
MSAT (TO) f=260 TT=2400.07
|
? (TO)
TT=2400.01
|
? (TO)
TT=2400.07
|
MSAT (TO) f=260 TT=2400.07
|
composed/composed-25-1-80/ composed-25-1-80-1_ext.xml |
MOPT
f=299 TT=33.756
|
OPTIMUM f=299 TT=38.462 T1=0.7
|
OPTIMUM f=299 TT=33.756 T1=0.65
|
? (TO)
TT=2400.05
|
? (TO)
TT=2400.09
|
MSAT (TO) f=297 TT=2400.1
|
MSAT (TO) f=299 TT=2400.13
|
? (TO)
TT=2400.05
|
? (TO)
TT=2400.04
|
MSAT (TO) f=299 TT=2400.1
|
composed/composed-25-1-80/ composed-25-1-80-3_ext.xml |
MOPT
f=300 TT=35.041
|
OPTIMUM f=300 TT=35.041 T1=0.68
|
OPTIMUM f=300 TT=37.65 T1=0.7
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.06
|
MSAT (TO) f=296 TT=2400.08 T1=0.55
|
MSAT (TO) f=300 TT=2400.12
|
? (TO)
TT=2400.03
|
? (TO)
TT=2400.02
|
OPTIMUM f=300 TT=904.577
|
composed/composed-25-1-80/ composed-25-1-80-5_ext.xml |
MOPT
f=300 TT=36.111
|
OPTIMUM f=300 TT=36.111 T1=0.83
|
OPTIMUM f=300 TT=42.987 T1=0.89
|
? (TO)
TT=2400.09
|
? (TO)
TT=2400.11
|
MSAT (TO) f=297 TT=2400.06 T1=0.57
|
MSAT (TO) f=300 TT=2400.13
|
? (TO)
TT=2400.08
|
? (TO)
TT=2400.03
|
OPTIMUM f=300 TT=95.778
|
composed/composed-25-1-80/ composed-25-1-80-7_ext.xml |
MOPT
f=300 TT=34.201
|
OPTIMUM f=300 TT=50.73 T1=0.77
|
OPTIMUM f=300 TT=34.201 T1=0.68
|
? (TO)
TT=2400.09
|
? (TO)
TT=2400.09
|
MSAT (TO) f=298 TT=2400.04 T1=0.58
|
MSAT (TO) f=300 TT=2400.11
|
? (TO)
TT=2400.03
|
? (TO)
TT=2400.04
|
OPTIMUM f=300 TT=199.972
|
composed/composed-25-1-80/ composed-25-1-80-9_ext.xml |
MOPT
f=300 TT=31.585
|
OPTIMUM f=300 TT=32.416 T1=0.68
|
OPTIMUM f=300 TT=31.585 T1=0.67
|
? (TO)
TT=2400.04
|
? (TO)
TT=2400.01
|
MSAT (TO) f=297 TT=2400.03 T1=0.55
|
MSAT (TO) f=300 TT=2400.12
|
? (TO)
TT=2400.1
|
? (TO)
TT=2400.01
|
MSAT (TO) f=300 TT=2400.12
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | aolibdvo 2007-01-17 | aolibpvo 2007-01-17 | CSP4J - MaxCSP 2006-12-19 | toolbar 2007-01-12 | Toolbar_BTD 2007-01-12 | Toolbar_MaxSat 2007-01-19 | Toulbar2 2007-01-12 |
---|
composed/composed-75-1-25/ composed-75-1-25-1_ext.xml |
MOPT
f=645 TT=37.962
|
OPTIMUM f=645 TT=37.962 T1=0.81
|
OPTIMUM f=645 TT=38.315 T1=0.79
|
? (TO)
TT=2400.03
|
? (TO)
TT=2400.03
|
MSAT (TO) f=642 TT=2400.02 T1=0.69
|
MSAT (TO) f=645 TT=2400.13
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.05
|
MSAT (TO) f=645 TT=0
|
composed/composed-75-1-25/ composed-75-1-25-3_ext.xml |
MOPT
f=645 TT=35.526
|
OPTIMUM f=645 TT=35.526 T1=0.85
|
OPTIMUM f=645 TT=46.597 T1=0.8
|
? (TO)
TT=2400.07
|
? (TO)
TT=2400.09
|
MSAT (TO) f=643 TT=2400.04 T1=0.75
|
MSAT (TO) f=645 TT=0
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.06
|
MSAT (TO) f=645 TT=2400.12
|
composed/composed-75-1-25/ composed-75-1-25-5_ext.xml |
MOPT
f=644 TT=51.646
|
OPTIMUM f=644 TT=58.116 T1=0.9
|
OPTIMUM f=644 TT=51.646 T1=0.91
|
? (TO)
TT=2400.05
|
? (TO)
TT=2400.06
|
MSAT (TO) f=644 TT=2400.05
|
MSAT (TO) f=644 TT=2400.11
|
? (TO)
TT=2400
|
? (TO)
TT=2400.03
|
MSAT (TO) f=644 TT=0
|
composed/composed-75-1-25/ composed-75-1-25-7_ext.xml |
MOPT
f=646 TT=1.049
|
OPTIMUM f=646 TT=1.049 T1=0.82
|
OPTIMUM f=646 TT=1.178 T1=0.8
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.04
|
MSAT (TO) f=645 TT=2400.06 T1=0.76
|
MSAT (TO) f=646 TT=0
|
? (TO)
TT=2400.07
|
? (TO)
TT=2400.07
|
MSAT (TO) f=646 TT=0
|
composed/composed-75-1-25/ composed-75-1-25-9_ext.xml |
MOPT
f=645 TT=44.653
|
OPTIMUM f=645 TT=44.653 T1=0.95
|
OPTIMUM f=645 TT=61.344 T1=0.96
|
? (TO)
TT=2400.1
|
? (TO)
TT=2400.06
|
MSAT (TO) f=644 TT=2400.04
|
MSAT (TO) f=645 TT=0
|
? (TO)
TT=2400.08
|
? (TO)
TT=2400.03
|
MSAT (TO) f=645 TT=0
|
composed/composed-75-1-2/ composed-75-1-2-1_ext.xml |
MOPT
f=622 TT=36.555
|
OPTIMUM f=622 TT=36.555 T1=2.21
|
OPTIMUM f=622 TT=38.372 T1=2.09
|
? (TO)
TT=2400.09
|
? (TO)
TT=2400.08
|
MSAT (TO) f=618 TT=2400.03
|
MSAT (TO) f=622 TT=0
|
? (TO)
TT=2400.05
|
? (TO)
TT=2400.05
|
MSAT (TO) f=622 TT=0
|
composed/composed-75-1-2/ composed-75-1-2-3_ext.xml |
MOPT
f=622 TT=35.157
|
OPTIMUM f=622 TT=35.157 T1=1.07
|
OPTIMUM f=622 TT=44.435 T1=1.09
|
? (TO)
TT=2400.11
|
? (TO)
TT=2400.01
|
MSAT (TO) f=621 TT=2400.03 T1=0.72
|
MSAT (TO) f=622 TT=2400.1
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.05
|
MSAT (TO) f=622 TT=2400.14
|
composed/composed-75-1-2/ composed-75-1-2-5_ext.xml |
MOPT
f=621 TT=41.432
|
OPTIMUM f=621 TT=114.65 T1=0.87
|
OPTIMUM f=621 TT=41.432 T1=1.09
|
? (TO)
TT=2400.03
|
? (TO)
TT=2400.09
|
MSAT (TO) f=616 TT=2400.09 T1=0.74
|
MSAT (TO) f=621 TT=0
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.02
|
MSAT (TO) f=621 TT=2400.03
|
composed/composed-75-1-2/ composed-75-1-2-7_ext.xml |
MOPT
f=623 TT=1.032
|
OPTIMUM f=623 TT=1.032 T1=0.76
|
OPTIMUM f=623 TT=1.26 T1=0.76
|
? (TO)
TT=2400.1
|
? (TO)
TT=2400.08
|
MSAT (TO) f=622 TT=2400.07 T1=0.72
|
MSAT (TO) f=623 TT=2400.08
|
? (TO)
TT=2400.05
|
? (TO)
TT=2400.04
|
MSAT (TO) f=623 TT=2400.11
|
composed/composed-75-1-2/ composed-75-1-2-9_ext.xml |
MOPT
f=622 TT=38.839
|
OPTIMUM f=622 TT=38.839 T1=0.93
|
OPTIMUM f=622 TT=47.332 T1=0.98
|
? (TO)
TT=2400.04
|
? (TO)
TT=2400.05
|
MSAT (TO) f=621 TT=2400.09
|
MSAT (TO) f=622 TT=0
|
? (TO)
TT=2400.07
|
? (TO)
TT=2400.07
|
MSAT (TO) f=622 TT=0
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | aolibdvo 2007-01-17 | aolibpvo 2007-01-17 | CSP4J - MaxCSP 2006-12-19 | toolbar 2007-01-12 | Toolbar_BTD 2007-01-12 | Toolbar_MaxSat 2007-01-19 | Toulbar2 2007-01-12 |
---|
composed/composed-75-1-40/ composed-75-1-40-1_ext.xml |
MOPT
f=660 TT=40.752
|
OPTIMUM f=660 TT=40.752 T1=0.84
|
OPTIMUM f=660 TT=63.333 T1=0.82
|
? (TO)
TT=2400.04
|
? (TO)
TT=2400.04
|
MSAT (TO) f=660 TT=2400.08
|
? (TO)
TT=2400.12
|
? (TO)
TT=2400.08
|
? (TO)
TT=2400.06
|
MSAT (TO) f=660 TT=2400.12
|
composed/composed-75-1-40/ composed-75-1-40-3_ext.xml |
MOPT
f=660 TT=40.709
|
OPTIMUM f=660 TT=40.942 T1=0.82
|
OPTIMUM f=660 TT=40.709 T1=0.87
|
? (TO)
TT=2400.07
|
? (TO)
TT=2400.07
|
MSAT (TO) f=659 TT=2400.08
|
MSAT (TO) f=660 TT=2400.11
|
? (TO)
TT=2400.07
|
? (TO)
TT=2400.07
|
MSAT (TO) f=660 TT=2400.14
|
composed/composed-75-1-40/ composed-75-1-40-5_ext.xml |
MOPT
f=659 TT=53.852
|
OPTIMUM f=659 TT=67.802 T1=0.78
|
OPTIMUM f=659 TT=53.852 T1=0.78
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.1
|
MSAT (TO) f=656 TT=2400.08 T1=0.69
|
MSAT (TO) f=659 TT=2400.04
|
? (TO)
TT=2400.03
|
? (TO)
TT=2400.03
|
MSAT (TO) f=659 TT=2400.14
|
composed/composed-75-1-40/ composed-75-1-40-7_ext.xml |
MOPT
f=661 TT=19.859
|
OPTIMUM f=661 TT=20.463 T1=20.17
|
OPTIMUM f=661 TT=19.859 T1=19.35
|
? (TO)
TT=2400.08
|
? (TO)
TT=2400.08
|
MSAT (TO) f=660 TT=2400.07
|
MSAT (TO) f=661 TT=2400.06
|
? (TO)
TT=2400.07
|
? (TO)
TT=2400.03
|
MSAT (TO) f=661 TT=2400.12
|
composed/composed-75-1-40/ composed-75-1-40-9_ext.xml |
MOPT
f=660 TT=37.002
|
OPTIMUM f=660 TT=40.855 T1=1.08
|
OPTIMUM f=660 TT=37.002 T1=1.11
|
MSAT (TO) f=652 TT=2400.03 T1=436.72
|
? (TO)
TT=2400.1
|
MSAT (TO) f=660 TT=2400.06
|
MSAT (TO) f=660 TT=2400.14
|
? (TO)
TT=2400
|
? (TO)
TT=2400.09
|
MSAT (TO) f=660 TT=2400.07
|
composed/composed-75-1-80/ composed-75-1-80-1_ext.xml |
MOPT
f=700 TT=35.891
|
OPTIMUM f=700 TT=65.842 T1=1.7
|
OPTIMUM f=700 TT=35.891 T1=1.08
|
? (TO)
TT=2400.03
|
? (TO)
TT=2400.05
|
MSAT (TO) f=699 TT=2400.05
|
MSAT (TO) f=700 TT=0
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.02
|
MSAT (TO) f=700 TT=0
|
composed/composed-75-1-80/ composed-75-1-80-3_ext.xml |
MOPT
f=700 TT=38.489
|
OPTIMUM f=700 TT=45.914 T1=0.77
|
OPTIMUM f=700 TT=38.489 T1=1.65
|
? (TO)
TT=2400.11
|
? (TO)
TT=2400.03
|
MSAT (TO) f=696 TT=2400.14
|
MSAT (TO) f=700 TT=0
|
? (TO)
TT=2400.06
|
? (TO)
TT=2400.09
|
MSAT (TO) f=700 TT=0
|
composed/composed-75-1-80/ composed-75-1-80-5_ext.xml |
MOPT
f=699 TT=67.849
|
OPTIMUM f=699 TT=148.964 T1=1.83
|
OPTIMUM f=699 TT=67.849 T1=0.82
|
? (TO)
TT=2400.07
|
? (TO)
TT=2400.06
|
MSAT (TO) f=698 TT=2400.09
|
MSAT (TO) f=699 TT=0
|
? (TO)
TT=2400.01
|
? (TO)
TT=2400.07
|
MSAT (TO) f=699 TT=0
|
composed/composed-75-1-80/ composed-75-1-80-7_ext.xml |
MOPT
f=701 TT=1.082
|
OPTIMUM f=701 TT=1.145 T1=1.69
|
OPTIMUM f=701 TT=1.082 T1=2.42
|
? (TO)
TT=2400.03
|
MSAT (TO) f=698 TT=2400.1 T1=0.94
|
MSAT (TO) f=698 TT=2400.07
|
MSAT (TO) f=701 TT=0
|
? (TO)
TT=2400.09
|
? (TO)
TT=2400.07
|
OPTIMUM f=701 TT=454.374
|
composed/composed-75-1-80/ composed-75-1-80-9_ext.xml |
MOPT
f=700 TT=38.497
|
OPTIMUM f=700 TT=38.497 T1=0.77
|
OPTIMUM f=700 TT=41.258 T1=0.83
|
? (TO)
TT=2400.05
|
? (TO)
TT=2400.04
|
MSAT (TO) f=697 TT=2400.03 T1=0.8
|
MSAT (TO) f=700 TT=2400.09
|
? (TO)
TT=2400.02
|
? (TO)
TT=2400.07
|
MSAT (TO) f=700 TT=0
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | aolibdvo 2007-01-17 | aolibpvo 2007-01-17 | CSP4J - MaxCSP 2006-12-19 | toolbar 2007-01-12 | Toolbar_BTD 2007-01-12 | Toolbar_MaxSat 2007-01-19 | Toulbar2 2007-01-12 |
---|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-11.xml |
MOPT
f=51 TT=0.105
|
OPTIMUM f=51 TT=32.115 T1=0.58
|
OPTIMUM f=51 TT=31.487 T1=0.7
|
OPTIMUM f=51 TT=0.105 T1=0.1
|
OPTIMUM f=51 TT=0.168 T1=0.17
|
?
TT=0.291
|
OPTIMUM f=51 TT=3.353
|
OPTIMUM f=51 TT=3.5
|
? (TO)
TT=2400.08
|
OPTIMUM f=51 TT=3.555
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-1.xml |
MOPT
f=52 TT=0.056
|
OPTIMUM f=52 TT=0.784 T1=0.58
|
OPTIMUM f=52 TT=0.778 T1=0.68
|
OPTIMUM f=52 TT=0.056 T1=0.05
|
OPTIMUM f=52 TT=0.056 T1=0.05
|
?
TT=0.273
|
OPTIMUM f=52 TT=3.103
|
OPTIMUM f=52 TT=3.141
|
? (TO)
TT=2400.01
|
OPTIMUM f=52 TT=2.844
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-21.xml |
MOPT
f=51 TT=0.124
|
OPTIMUM f=51 TT=34.317 T1=0.74
|
OPTIMUM f=51 TT=31.752 T1=0.82
|
OPTIMUM f=51 TT=0.144 T1=0.15
|
OPTIMUM f=51 TT=0.124 T1=0.12
|
?
TT=0.285
|
OPTIMUM f=51 TT=3.272
|
OPTIMUM f=51 TT=3.532
|
? (TO)
TT=2400.02
|
OPTIMUM f=51 TT=3.252
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-31.xml |
MOPT
f=51 TT=0.084
|
OPTIMUM f=51 TT=33.625 T1=0.64
|
OPTIMUM f=51 TT=32.569 T1=0.69
|
OPTIMUM f=51 TT=0.087 T1=0.09
|
OPTIMUM f=51 TT=0.084 T1=0.08
|
?
TT=0.267
|
OPTIMUM f=51 TT=3.632
|
OPTIMUM f=51 TT=3.693
|
? (TO)
TT=2400.08
|
OPTIMUM f=51 TT=3.64
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-41.xml |
MOPT
f=51 TT=0.178
|
OPTIMUM f=51 TT=31.529 T1=0.63
|
OPTIMUM f=51 TT=31.198 T1=0.6
|
OPTIMUM f=51 TT=0.198 T1=0.19
|
OPTIMUM f=51 TT=0.178 T1=0.18
|
?
TT=0.285
|
OPTIMUM f=51 TT=3.106
|
OPTIMUM f=51 TT=3.054
|
? (TO)
TT=2400.12
|
OPTIMUM f=51 TT=3.238
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-51.xml |
MOPT
f=51 TT=0.079
|
OPTIMUM f=51 TT=32.847 T1=0.68
|
OPTIMUM f=51 TT=31.263 T1=0.6
|
OPTIMUM f=51 TT=0.092 T1=0.09
|
OPTIMUM f=51 TT=0.079 T1=0.07
|
?
TT=0.295
|
OPTIMUM f=51 TT=3.543
|
OPTIMUM f=51 TT=3.705
|
? (TO)
TT=2400.15
|
OPTIMUM f=51 TT=3.537
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-61.xml |
MOPT
f=50 TT=0.22
|
OPTIMUM f=50 TT=34.955 T1=0.67
|
OPTIMUM f=50 TT=34.047 T1=0.68
|
OPTIMUM f=50 TT=0.224 T1=0.22
|
OPTIMUM f=50 TT=0.22 T1=0.22
|
?
TT=0.29
|
OPTIMUM f=50 TT=3.308
|
OPTIMUM f=50 TT=3.292
|
? (TO)
TT=2400.01
|
OPTIMUM f=50 TT=3.399
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-71.xml |
MOPT
f=50 TT=0.285
|
OPTIMUM f=50 TT=39.217 T1=0.87
|
OPTIMUM f=50 TT=41.062 T1=0.93
|
OPTIMUM f=50 TT=0.285 T1=0.28
|
OPTIMUM f=50 TT=0.332 T1=0.33
|
?
TT=0.293
|
OPTIMUM f=50 TT=3.579
|
OPTIMUM f=50 TT=3.883
|
? (TO)
TT=2400.1
|
OPTIMUM f=50 TT=3.866
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-81.xml |
MOPT
f=51 TT=0.181
|
OPTIMUM f=51 TT=32.736 T1=0.68
|
OPTIMUM f=51 TT=32.026 T1=0.69
|
OPTIMUM f=51 TT=0.181 T1=0.18
|
OPTIMUM f=51 TT=0.191 T1=0.19
|
?
TT=0.289
|
OPTIMUM f=51 TT=3.384
|
OPTIMUM f=51 TT=3.365
|
? (TO)
TT=2400.12
|
OPTIMUM f=51 TT=3.433
|
MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-91.xml |
MOPT
f=51 TT=0.068
|
OPTIMUM f=51 TT=31.814 T1=0.77
|
OPTIMUM f=51 TT=31.679 T1=0.73
|
OPTIMUM f=51 TT=0.068 T1=0.07
|
OPTIMUM f=51 TT=0.07 T1=0.06
|
?
TT=0.272
|
OPTIMUM f=51 TT=2.628
|
OPTIMUM f=51 TT=2.901
|
? (TO)
TT=2400.07
|
OPTIMUM f=51 TT=2.694
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | aolibdvo 2007-01-17 | aolibpvo 2007-01-17 | CSP4J - MaxCSP 2006-12-19 | toolbar 2007-01-12 | Toolbar_BTD 2007-01-12 | Toolbar_MaxSat 2007-01-19 | Toulbar2 2007-01-12 |
---|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-11.xml |
MOPT
f=47 TT=0.697
|
OPTIMUM f=47 TT=35.248 T1=0.57
|
OPTIMUM f=47 TT=35.313 T1=0.56
|
OPTIMUM f=47 TT=0.697 T1=0.7
|
OPTIMUM f=47 TT=0.701 T1=0.7
|
?
TT=0.291
|
OPTIMUM f=47 TT=4.677
|
OPTIMUM f=47 TT=4.783
|
? (TO)
TT=2400.02
|
OPTIMUM f=47 TT=4.656
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-1.xml |
MOPT
f=46 TT=0.849
|
OPTIMUM f=46 TT=40.444 T1=0.67
|
OPTIMUM f=46 TT=38.14 T1=0.61
|
OPTIMUM f=46 TT=0.911 T1=0.91
|
OPTIMUM f=46 TT=0.849 T1=0.85
|
?
TT=0.286
|
OPTIMUM f=46 TT=4.024
|
OPTIMUM f=46 TT=3.948
|
? (TO)
TT=2400.04
|
OPTIMUM f=46 TT=4.213
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-21.xml |
MOPT
f=47 TT=2.318
|
OPTIMUM f=47 TT=43.518 T1=0.96
|
OPTIMUM f=47 TT=39.333 T1=0.89
|
OPTIMUM f=47 TT=2.318 T1=2.32
|
OPTIMUM f=47 TT=2.422 T1=2.44
|
?
TT=0.293
|
OPTIMUM f=47 TT=4.172
|
OPTIMUM f=47 TT=4.582
|
? (TO)
TT=2400.05
|
OPTIMUM f=47 TT=4.637
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-31.xml |
MOPT
f=45 TT=1.356
|
OPTIMUM f=45 TT=65.51 T1=0.64
|
OPTIMUM f=45 TT=52.907 T1=0.65
|
OPTIMUM f=45 TT=1.356 T1=1.36
|
OPTIMUM f=45 TT=1.759 T1=1.77
|
?
TT=0.261
|
OPTIMUM f=45 TT=3.794
|
OPTIMUM f=45 TT=4.258
|
? (TO)
TT=2400.07
|
OPTIMUM f=45 TT=4.528
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-41.xml |
MOPT
f=47 TT=0.375
|
OPTIMUM f=47 TT=45.351 T1=0.61
|
OPTIMUM f=47 TT=35.096 T1=0.61
|
OPTIMUM f=47 TT=0.375 T1=0.37
|
OPTIMUM f=47 TT=0.394 T1=0.39
|
?
TT=0.279
|
OPTIMUM f=47 TT=3.793
|
OPTIMUM f=47 TT=3.876
|
? (TO)
TT=2400.01
|
OPTIMUM f=47 TT=3.647
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-51.xml |
MOPT
f=46 TT=1.254
|
OPTIMUM f=46 TT=43.206 T1=0.61
|
OPTIMUM f=46 TT=45.465 T1=0.62
|
OPTIMUM f=46 TT=1.301 T1=1.31
|
OPTIMUM f=46 TT=1.254 T1=1.26
|
?
TT=0.289
|
OPTIMUM f=46 TT=3.991
|
OPTIMUM f=46 TT=4.398
|
? (TO)
TT=2400
|
OPTIMUM f=46 TT=4.612
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-61.xml |
MOPT
f=46 TT=0.841
|
OPTIMUM f=46 TT=47.11 T1=0.65
|
OPTIMUM f=46 TT=44.174 T1=0.63
|
OPTIMUM f=46 TT=0.841 T1=0.85
|
OPTIMUM f=46 TT=0.851 T1=0.86
|
?
TT=0.291
|
OPTIMUM f=46 TT=3.367
|
OPTIMUM f=46 TT=3.535
|
? (TO)
TT=2400.1
|
OPTIMUM f=46 TT=3.607
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-71.xml |
MOPT
f=46 TT=0.753
|
OPTIMUM f=46 TT=42.414 T1=0.82
|
OPTIMUM f=46 TT=43.77 T1=0.77
|
OPTIMUM f=46 TT=0.753 T1=0.75
|
OPTIMUM f=46 TT=1.025 T1=1.03
|
?
TT=0.291
|
OPTIMUM f=46 TT=3.945
|
OPTIMUM f=46 TT=4.091
|
? (TO)
TT=2400.01
|
OPTIMUM f=46 TT=4.304
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-81.xml |
MOPT
f=46 TT=1.172
|
OPTIMUM f=46 TT=45.569 T1=0.59
|
OPTIMUM f=46 TT=55.791 T1=0.57
|
OPTIMUM f=46 TT=1.382 T1=1.39
|
OPTIMUM f=46 TT=1.172 T1=1.19
|
?
TT=0.288
|
OPTIMUM f=46 TT=3.761
|
OPTIMUM f=46 TT=4.174
|
? (TO)
TT=2400.02
|
OPTIMUM f=46 TT=4.421
|
MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-91.xml |
MOPT
f=46 TT=0.945
|
OPTIMUM f=46 TT=48.675 T1=0.62
|
OPTIMUM f=46 TT=44.037 T1=0.58
|
OPTIMUM f=46 TT=0.964 T1=0.96
|
OPTIMUM f=46 TT=0.945 T1=0.95
|
?
TT=0.289
|
OPTIMUM f=46 TT=3.814
|
OPTIMUM f=46 TT=4.13
|
? (TO)
TT=2400.03
|
OPTIMUM f=46 TT=3.788
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | aolibdvo 2007-01-17 | aolibpvo 2007-01-17 | CSP4J - MaxCSP 2006-12-19 | toolbar 2007-01-12 | Toolbar_BTD 2007-01-12 | Toolbar_MaxSat 2007-01-19 | Toulbar2 2007-01-12 |
---|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-11.xml |
MOPT
f=107 TT=3.666
|
OPTIMUM f=107 TT=60.502 T1=0.73
|
OPTIMUM f=107 TT=53.013 T1=0.67
|
OPTIMUM f=107 TT=4.626 T1=4.66
|
OPTIMUM f=107 TT=4.598 T1=4.59
|
?
TT=0.308
|
OPTIMUM f=107 TT=3.666
|
OPTIMUM f=107 TT=4.041
|
? (TO)
TT=2400.07
|
OPTIMUM f=107 TT=4.676
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-1.xml |
MOPT
f=107 TT=4.373
|
OPTIMUM f=107 TT=83.767 T1=0.69
|
OPTIMUM f=107 TT=95.089 T1=0.81
|
OPTIMUM f=107 TT=6.644 T1=6.65
|
OPTIMUM f=107 TT=7.117 T1=7.11
|
?
TT=0.307
|
OPTIMUM f=107 TT=4.373
|
OPTIMUM f=107 TT=4.56
|
? (TO)
TT=2400.02
|
OPTIMUM f=107 TT=5.537
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-21.xml |
MOPT
f=107 TT=3.811
|
OPTIMUM f=107 TT=78.218 T1=0.72
|
OPTIMUM f=107 TT=44.178 T1=0.69
|
OPTIMUM f=107 TT=3.811 T1=3.82
|
OPTIMUM f=107 TT=4.66 T1=4.7
|
?
TT=0.308
|
OPTIMUM f=107 TT=4.306
|
OPTIMUM f=107 TT=4.451
|
? (TO)
TT=2400.05
|
OPTIMUM f=107 TT=5.137
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-31.xml |
MOPT
f=106 TT=4.239
|
OPTIMUM f=106 TT=208.923 T1=3.43
|
OPTIMUM f=106 TT=95.137 T1=3.16
|
OPTIMUM f=106 TT=12.759 T1=12.87
|
OPTIMUM f=106 TT=12.555 T1=12.61
|
?
TT=0.291
|
OPTIMUM f=106 TT=4.239
|
OPTIMUM f=106 TT=4.457
|
? (TO)
TT=2400.02
|
OPTIMUM f=106 TT=5.697
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-41.xml |
MOPT
f=107 TT=2.404
|
OPTIMUM f=107 TT=63.203 T1=0.96
|
OPTIMUM f=107 TT=33.727 T1=1.08
|
OPTIMUM f=107 TT=2.404 T1=2.41
|
OPTIMUM f=107 TT=2.45 T1=2.47
|
?
TT=0.3
|
OPTIMUM f=107 TT=3.845
|
OPTIMUM f=107 TT=4.024
|
? (TO)
TT=2400.06
|
OPTIMUM f=107 TT=4.572
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-51.xml |
MOPT
f=107 TT=3.928
|
OPTIMUM f=107 TT=75.019 T1=0.81
|
OPTIMUM f=107 TT=68.71 T1=0.81
|
OPTIMUM f=107 TT=11.572 T1=11.67
|
OPTIMUM f=107 TT=10.942 T1=11.02
|
?
TT=0.306
|
OPTIMUM f=107 TT=3.928
|
OPTIMUM f=107 TT=4.111
|
? (TO)
TT=2400.01
|
OPTIMUM f=107 TT=4.687
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-61.xml |
MOPT
f=107 TT=4.361
|
OPTIMUM f=107 TT=71.367 T1=2.35
|
OPTIMUM f=107 TT=72.713 T1=2.37
|
OPTIMUM f=107 TT=4.389 T1=4.4
|
OPTIMUM f=107 TT=12.845 T1=12.9
|
?
TT=0.295
|
OPTIMUM f=107 TT=4.361
|
OPTIMUM f=107 TT=4.581
|
? (TO)
TT=2400.08
|
OPTIMUM f=107 TT=5.409
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-71.xml |
MOPT
f=107 TT=2.203
|
OPTIMUM f=107 TT=50.369 T1=1.85
|
OPTIMUM f=107 TT=46.089 T1=2.02
|
OPTIMUM f=107 TT=2.407 T1=2.41
|
OPTIMUM f=107 TT=2.203 T1=2.2
|
?
TT=0.308
|
OPTIMUM f=107 TT=3.572
|
OPTIMUM f=107 TT=3.74
|
? (TO)
TT=2400.04
|
OPTIMUM f=107 TT=4.373
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-81.xml |
MOPT
f=107 TT=4.053
|
OPTIMUM f=107 TT=61.69 T1=3.01
|
OPTIMUM f=107 TT=69.95 T1=3.23
|
OPTIMUM f=107 TT=6.963 T1=6.99
|
OPTIMUM f=107 TT=6.961 T1=6.99
|
?
TT=0.305
|
OPTIMUM f=107 TT=4.053
|
OPTIMUM f=107 TT=4.26
|
? (TO)
TT=2400.09
|
OPTIMUM f=107 TT=4.718
|
MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-91.xml |
MOPT
f=106 TT=4.207
|
OPTIMUM f=106 TT=134.141 T1=0.73
|
OPTIMUM f=106 TT=106.163 T1=0.71
|
OPTIMUM f=106 TT=6.223 T1=6.29
|
OPTIMUM f=106 TT=5.866 T1=5.88
|
?
TT=0.312
|
OPTIMUM f=106 TT=4.207
|
OPTIMUM f=106 TT=4.463
|
? (TO)
TT=2400.1
|
OPTIMUM f=106 TT=6.869
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | aolibdvo 2007-01-17 | aolibpvo 2007-01-17 | CSP4J - MaxCSP 2006-12-19 | toolbar 2007-01-12 | Toolbar_BTD 2007-01-12 | Toolbar_MaxSat 2007-01-19 | Toulbar2 2007-01-12 |
---|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-11.xml |
MOPT
f=99 TT=18.546
|
OPTIMUM f=99 TT=1268.45 T1=0.66
|
OPTIMUM f=99 TT=956.849 T1=0.64
|
OPTIMUM f=99 TT=701.082 T1=703.81
|
OPTIMUM f=99 TT=705.752 T1=708.27
|
?
TT=0.3
|
OPTIMUM f=99 TT=18.546
|
OPTIMUM f=99 TT=21.251
|
? (TO)
TT=2400.05
|
OPTIMUM f=99 TT=69.285
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-1.xml |
MOPT
f=100 TT=18.887
|
MSAT (TO) f=100 TT=2400.06 T1=0.81
|
MSAT (TO) f=100 TT=2400.09 T1=0.8
|
OPTIMUM f=100 TT=173.018 T1=173.76
|
OPTIMUM f=100 TT=172.725 T1=172.76
|
?
TT=0.306
|
OPTIMUM f=100 TT=18.887
|
OPTIMUM f=100 TT=20.51
|
? (TO)
TT=2400.07
|
OPTIMUM f=100 TT=69.249
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-21.xml |
MOPT
f=99 TT=19.126
|
MSAT (TO) f=99 TT=2400.16 T1=0.74
|
MSAT (TO) f=99 TT=2400.1 T1=0.72
|
OPTIMUM f=99 TT=170.588 T1=171.25
|
OPTIMUM f=99 TT=172.875 T1=173.54
|
?
TT=0.286
|
OPTIMUM f=99 TT=19.126
|
OPTIMUM f=99 TT=19.26
|
? (TO)
TT=2400.01
|
OPTIMUM f=99 TT=94.02
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-31.xml |
MOPT
f=100 TT=8.577
|
OPTIMUM f=100 TT=1576.76 T1=1.26
|
OPTIMUM f=100 TT=1342.1 T1=1.36
|
OPTIMUM f=100 TT=160.661 T1=161.41
|
OPTIMUM f=100 TT=227.25 T1=227.31
|
?
TT=0.305
|
OPTIMUM f=100 TT=8.577
|
OPTIMUM f=100 TT=9.07
|
? (TO)
TT=2400
|
OPTIMUM f=100 TT=27.853
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-41.xml |
MOPT
f=99 TT=6.564
|
OPTIMUM f=99 TT=653.891 T1=3.65
|
OPTIMUM f=99 TT=525.883 T1=3.91
|
OPTIMUM f=99 TT=54.668 T1=55.09
|
OPTIMUM f=99 TT=65.376 T1=65.61
|
?
TT=0.302
|
OPTIMUM f=99 TT=6.564
|
OPTIMUM f=99 TT=6.861
|
? (TO)
TT=2400.02
|
OPTIMUM f=99 TT=16.96
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-51.xml |
MOPT
f=101 TT=10.936
|
OPTIMUM f=101 TT=1002 T1=0.71
|
OPTIMUM f=101 TT=831.785 T1=0.67
|
OPTIMUM f=101 TT=171.263 T1=172.6
|
OPTIMUM f=101 TT=175.225 T1=175.27
|
?
TT=0.303
|
OPTIMUM f=101 TT=10.936
|
OPTIMUM f=101 TT=11.664
|
? (TO)
TT=2400.02
|
OPTIMUM f=101 TT=37.851
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-61.xml |
MOPT
f=99 TT=0
|
MSAT (TO) f=99 TT=2400.11 T1=2.35
|
MSAT (TO) f=99 TT=2400.13 T1=2.41
|
OPTIMUM f=99 TT=241.121 T1=242.92
|
OPTIMUM f=99 TT=226.467 T1=228.16
|
?
TT=0.301
|
OPTIMUM f=99 TT=17.426
|
OPTIMUM f=99 TT=18.653
|
? (TO)
TT=2400.04
|
OPTIMUM f=99 TT=0
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-71.xml |
MOPT
f=99 TT=20.429
|
OPTIMUM f=99 TT=1972.04 T1=1.02
|
OPTIMUM f=99 TT=1979.67 T1=0.98
|
OPTIMUM f=99 TT=173.163 T1=173.84
|
OPTIMUM f=99 TT=172.893 T1=174.18
|
?
TT=0.292
|
OPTIMUM f=99 TT=20.429
|
OPTIMUM f=99 TT=21.962
|
? (TO)
TT=2400.08
|
OPTIMUM f=99 TT=63.907
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-81.xml |
MOPT
f=100 TT=8.316
|
OPTIMUM f=100 TT=806.052 T1=1.48
|
OPTIMUM f=100 TT=1093.33 T1=1.55
|
OPTIMUM f=100 TT=98.78 T1=99.52
|
OPTIMUM f=100 TT=94.242 T1=94.95
|
?
TT=0.308
|
OPTIMUM f=100 TT=8.316
|
OPTIMUM f=100 TT=8.738
|
? (TO)
TT=2400.02
|
OPTIMUM f=100 TT=24.959
|
MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-91.xml |
MOPT
f=99 TT=9.874
|
MSAT (TO) f=99 TT=2400.13 T1=0.61
|
MSAT (TO) f=99 TT=2400.12 T1=0.63
|
OPTIMUM f=99 TT=236.251 T1=237.1
|
OPTIMUM f=99 TT=200.697 T1=201.47
|
?
TT=0.288
|
OPTIMUM f=99 TT=10.022
|
OPTIMUM f=99 TT=9.874
|
? (TO)
TT=2400.05
|
OPTIMUM f=99 TT=36.206
|
Bench name | Best results on this instance | AbsconMax 109 EPFC | AbsconMax 109 PFC | aolibdvo 2007-01-17 | aolibpvo 2007-01-17 | CSP4J - MaxCSP 2006-12-19 | toolbar 2007-01-12 | Toolbar_BTD 2007-01-12 | Toolbar_MaxSat 2007-01-19 | Toulbar2 2007-01-12 |
---|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-11.xml |
MOPT
f=96 TT=3.028
|
OPTIMUM f=96 TT=95.094 T1=92.06
|
OPTIMUM f=96 TT=89.491 T1=87.59
|
OPTIMUM f=96 TT=6.876 T1=6.93
|
OPTIMUM f=96 TT=29.662 T1=29.88
|
?
TT=0.304
|
OPTIMUM f=96 TT=3.028
|
OPTIMUM f=96 TT=3.076
|
? (TO)
TT=2400.06
|
OPTIMUM f=96 TT=3.237
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-1.xml |
MOPT
f=95 TT=2.469
|
OPTIMUM f=95 TT=99.149 T1=2.72
|
OPTIMUM f=95 TT=86.554 T1=2.52
|
OPTIMUM f=95 TT=2.469 T1=2.49
|
OPTIMUM f=95 TT=6.093 T1=6.14
|
?
TT=0.304
|
OPTIMUM f=95 TT=3.449
|
OPTIMUM f=95 TT=3.625
|
? (TO)
TT=2400.01
|
OPTIMUM f=95 TT=4.69
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-21.xml |
MOPT
f=96 TT=3.115
|
OPTIMUM f=96 TT=39.45 T1=2.9
|
OPTIMUM f=96 TT=50.184 T1=2.65
|
OPTIMUM f=96 TT=10.744 T1=10.83
|
OPTIMUM f=96 TT=9.088 T1=9.16
|
?
TT=0.293
|
OPTIMUM f=96 TT=3.115
|
OPTIMUM f=96 TT=3.301
|
? (TO)
TT=2400.03
|
OPTIMUM f=96 TT=3.584
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-31.xml |
MOPT
f=96 TT=0.734
|
OPTIMUM f=96 TT=45.938 T1=2.66
|
OPTIMUM f=96 TT=52.064 T1=2.6
|
OPTIMUM f=96 TT=1.205 T1=1.21
|
OPTIMUM f=96 TT=0.734 T1=0.74
|
?
TT=0.304
|
OPTIMUM f=96 TT=3.632
|
OPTIMUM f=96 TT=3.868
|
? (TO)
TT=2400.01
|
OPTIMUM f=96 TT=3.529
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-41.xml |
MOPT
f=96 TT=2.002
|
OPTIMUM f=96 TT=65.896 T1=0.72
|
OPTIMUM f=96 TT=62.454 T1=0.71
|
OPTIMUM f=96 TT=2.002 T1=2
|
OPTIMUM f=96 TT=2.379 T1=2.37
|
?
TT=0.304
|
OPTIMUM f=96 TT=3.306
|
OPTIMUM f=96 TT=3.462
|
? (TO)
TT=2400.02
|
OPTIMUM f=96 TT=3.72
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-51.xml |
MOPT
f=95 TT=3.522
|
OPTIMUM f=95 TT=98.678 T1=6.75
|
OPTIMUM f=95 TT=89.384 T1=6.74
|
OPTIMUM f=95 TT=11.102 T1=11.1
|
OPTIMUM f=95 TT=12.607 T1=12.65
|
?
TT=0.3
|
OPTIMUM f=95 TT=3.522
|
OPTIMUM f=95 TT=3.75
|
? (TO)
TT=2400.09
|
OPTIMUM f=95 TT=5.579
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-61.xml |
MOPT
f=96 TT=3.19
|
OPTIMUM f=96 TT=54.291 T1=1.13
|
OPTIMUM f=96 TT=60.714 T1=1.08
|
OPTIMUM f=96 TT=16.472 T1=16.59
|
OPTIMUM f=96 TT=42.393 T1=42.76
|
?
TT=0.29
|
OPTIMUM f=96 TT=3.19
|
OPTIMUM f=96 TT=3.402
|
? (TO)
TT=2400.05
|
OPTIMUM f=96 TT=3.353
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-71.xml |
MOPT
f=96 TT=3.164
|
OPTIMUM f=96 TT=78.648 T1=3.57
|
OPTIMUM f=96 TT=78.099 T1=3.53
|
OPTIMUM f=96 TT=3.787 T1=3.81
|
OPTIMUM f=96 TT=3.203 T1=3.23
|
?
TT=0.303
|
OPTIMUM f=96 TT=3.164
|
OPTIMUM f=96 TT=3.219
|
? (TO)
TT=2400.04
|
OPTIMUM f=96 TT=3.609
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-81.xml |
MOPT
f=95 TT=2.905
|
OPTIMUM f=95 TT=86.617 T1=0.82
|
OPTIMUM f=95 TT=85.823 T1=0.88
|
OPTIMUM f=95 TT=2.905 T1=2.91
|
OPTIMUM f=95 TT=3.004 T1=3
|
?
TT=0.287
|
OPTIMUM f=95 TT=3.649
|
OPTIMUM f=95 TT=3.834
|
? (TO)
TT=2400.07
|
OPTIMUM f=95 TT=3.995
|
MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-91.xml |
MOPT
f=97 TT=0.94
|
OPTIMUM f=97 TT=1.114 T1=0.67
|
OPTIMUM f=97 TT=0.94 T1=0.67
|
OPTIMUM f=97 TT=12.461 T1=12.53
|
OPTIMUM f=97 TT=13.867 T1=13.97
|
?
TT=0.283
|
OPTIMUM f=97 TT=3.075
|
OPTIMUM f=97 TT=3.252
|
? (TO)
TT=2400.01
|
OPTIMUM f=97 TT=3.073
|