PB'11 competition: WBO track: results by benchmark

Results by benchmark for category both soft and hard constraints, big integers, linear constraints (PARTIAL-BIGINT-LIN)

This page displays the results of the different solvers for each benchmark for category both soft and hard constraints, big integers, linear constraints (PARTIAL-BIGINT-LIN)

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

Description of a cell contents:

Cell exampleMeaning
AnswerSolver result
f=...value of the objective function for the model reported by the solver
TT=...Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

AbbreviationMeaning
f=...Value of the objective function
TOTime Out
MOMem. Out (out of memory)

Meaning of the different colors:

ColorMeaning
textthe solver cannot handle this instance
textthe solver gave no answer
textthe solver could give an answer (SAT)
textthe solver gave a definitive answer (OPTIMUM FOUND or UNSAT)
textthe solver performed better than the other ones on that instance
textthe solver was ended by a signal
textthe solver gave an incomplete answer
textthe solver was disqualified in the category
textthe solver gave a wrong answer

For better readability, you may choose to hide some solvers:
Sat4j Resolution 2011-06-08 (complete)

Bench nameBest results
on this
instance		Sat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-33-100-0.wbo 		MOPT
f=2
TT=34.438
T1=34.2
 OPTIMUM
f=2
TT=34.438
T1=34.2
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo 		MSAT TO
f=77
TT=1800.32
T1=1800.03
 MSAT (TO)
f=77
TT=1800.32
T1=1800.03
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo 		MSAT TO
f=29
TT=1800.29
T1=1798.96
 MSAT (TO)
f=29
TT=1800.29
T1=1798.96
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo 		MSAT TO
f=429
TT=1800.36
T1=1800.06
 MSAT (TO)
f=429
TT=1800.36
T1=1800.06
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo 		MOPT
f=1
TT=481.496
T1=431.33
 OPTIMUM
f=1
TT=481.496
T1=431.33
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo 		MOPT
f=1
TT=19.037
T1=16.84
 OPTIMUM
f=1
TT=19.037
T1=16.84
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo 		MOPT
f=1
TT=68.934
T1=66.03
 OPTIMUM
f=1
TT=68.934
T1=66.03
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv12.ucl--soft-33-100-0.wbo 		MOPT
f=1
TT=137.095
T1=128.61
 OPTIMUM
f=1
TT=137.095
T1=128.61
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv12.ucl--soft-66-100-0.wbo 		MOPT
f=1
TT=36.422
T1=22.42
 OPTIMUM
f=1
TT=36.422
T1=22.42
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv14.ucl--soft-33-100-0.wbo 		MSAT TO
f=356
TT=1800.23
T1=1754
 MSAT (TO)
f=356
TT=1800.23
T1=1754
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv14.ucl--soft-66-100-0.wbo 		MSAT TO
f=1
TT=1800.38
T1=117.56
 MSAT (TO)
f=1
TT=1800.38
T1=117.56
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf10.ucl--soft-33-100-0.wbo 		MOPT
f=1
TT=453.778
T1=451.86
 OPTIMUM
f=1
TT=453.778
T1=451.86
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf10.ucl--soft-66-100-0.wbo 		MOPT
f=1
TT=214.728
T1=214.41
 OPTIMUM
f=1
TT=214.728
T1=214.41
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-33-100-0.wbo 		MOPT
f=1
TT=19.567
T1=19.38
 OPTIMUM
f=1
TT=19.567
T1=19.38
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo 		MSAT TO
f=996
TT=1800.23
T1=1515.21
 MSAT (TO)
f=996
TT=1800.23
T1=1515.21
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo 		MOPT
f=1
TT=764.414
T1=721
 OPTIMUM
f=1
TT=764.414
T1=721
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-66-100-0.wbo 		MOPT
f=1
TT=238.656
T1=171.59
 OPTIMUM
f=1
TT=238.656
T1=171.59
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo 		MSAT TO
f=417
TT=1800.3
T1=1709.44
 MSAT (TO)
f=417
TT=1800.3
T1=1709.44
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo 		MSAT TO
f=64
TT=1800.32
T1=1793.65
 MSAT (TO)
f=64
TT=1800.32
T1=1793.65
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo 		MSAT TO
f=2969
TT=1800.33
T1=1799.57
 MSAT (TO)
f=2969
TT=1800.33
T1=1799.57
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo 		MSAT TO
f=1
TT=1800.32
T1=960.12
 MSAT (TO)
f=1
TT=1800.32
T1=960.12
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-33-100-0.wbo 		MOPT
f=1
TT=397.321
T1=389.86
 OPTIMUM
f=1
TT=397.321
T1=389.86
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-33-100-0.wbo 		MOPT
f=1
TT=67.066
T1=66.95
 OPTIMUM
f=1
TT=67.066
T1=66.95
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-33-100-0.wbo 		MOPT
f=1
TT=116.079
T1=113.2
 OPTIMUM
f=1
TT=116.079
T1=113.2
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag14.ucl--soft-33-100-0.wbo 		MSAT TO
f=416
TT=1800.2
T1=1778.27
 MSAT (TO)
f=416
TT=1800.2
T1=1778.27
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag14.ucl--soft-66-100-0.wbo 		MOPT
f=1
TT=323.623
T1=315.53
 OPTIMUM
f=1
TT=323.623
T1=315.53
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo 		MSAT TO
f=917
TT=1800.34
T1=1789.07
 MSAT (TO)
f=917
TT=1800.34
T1=1789.07
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo 		MOPT
f=1
TT=1352.12
T1=328.7
 OPTIMUM
f=1
TT=1352.12
T1=328.7
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12013_1-unsat--soft-33-100-0.wbo 		MSAT TO
f=2320
TT=1800.26
T1=5.18
 MSAT (TO)
f=2320
TT=1800.26
T1=5.18
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12013_1-unsat--soft-66-100-0.wbo 		MSAT TO
f=10348
TT=1800.31
T1=6.42
 MSAT (TO)
f=10348
TT=1800.31
T1=6.42
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12015_3-unsat--soft-33-100-0.wbo 		MOPT
f=5
TT=1065.78
T1=1065.52
 OPTIMUM
f=5
TT=1065.78
T1=1065.52
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12015_3-unsat--soft-66-100-0.wbo 		MSAT TO
f=2122
TT=1800.21
T1=1705.83
 MSAT (TO)
f=2122
TT=1800.21
T1=1705.83
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12023_3-unsat--soft-33-100-0.wbo 		MOPT
f=8
TT=4.412
T1=4.15
 OPTIMUM
f=8
TT=4.412
T1=4.15
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12023_3-unsat--soft-66-100-0.wbo 		MOPT
f=2
TT=3.605
T1=3.39
 OPTIMUM
f=2
TT=3.605
T1=3.39
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12026_5-unsat--soft-33-100-0.wbo 		MSAT TO
f=3018
TT=1800.28
T1=14.99
 MSAT (TO)
f=3018
TT=1800.28
T1=14.99
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12026_5-unsat--soft-66-100-0.wbo 		MSAT TO
f=8824
TT=1800.29
T1=602.24
 MSAT (TO)
f=8824
TT=1800.29
T1=602.24
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12027_7-unsat--soft-33-100-0.wbo 		MSAT TO
f=2291
TT=1800.28
T1=4.95
 MSAT (TO)
f=2291
TT=1800.28
T1=4.95
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12027_7-unsat--soft-66-100-0.wbo 		MSAT TO
f=7982
TT=1800.26
T1=3.51
 MSAT (TO)
f=7982
TT=1800.26
T1=3.51
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12041_4-unsat--soft-33-100-0.wbo 		MOPT
f=3
TT=355.612
T1=353.22
 OPTIMUM
f=3
TT=355.612
T1=353.22
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12041_4-unsat--soft-66-100-0.wbo 		MOPT
f=2
TT=64.66
T1=64.46
 OPTIMUM
f=2
TT=64.66
T1=64.46
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j1205_1-unsat--soft-33-100-0.wbo 		MOPT
f=3
TT=3.938
T1=3.62
 OPTIMUM
f=3
TT=3.938
T1=3.62
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j1205_1-unsat--soft-66-100-0.wbo 		MOPT
f=17
TT=3.31
T1=3.02
 OPTIMUM
f=17
TT=3.31
T1=3.02
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j6030_9-unsat--soft-33-100-0.wbo 		MOPT
f=1
TT=2.925
T1=2.66
 OPTIMUM
f=1
TT=2.925
T1=2.66
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j6033_2-unsat--soft-33-100-0.wbo 		MOPT
f=23
TT=2.67
T1=2.43
 OPTIMUM
f=23
TT=2.67
T1=2.43
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9010_6-unsat--soft-33-100-0.wbo 		MOPT
f=20
TT=3.045
T1=2.81
 OPTIMUM
f=20
TT=3.045
T1=2.81
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9012_2-unsat--soft-33-100-0.wbo 		MOPT
f=11
TT=2.605
T1=2.31
 OPTIMUM
f=11
TT=2.605
T1=2.31
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9014_1-unsat--soft-33-100-0.wbo 		MOPT
f=47
TT=1759.82
T1=1759.67
 OPTIMUM
f=47
TT=1759.82
T1=1759.67
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9015_10-unsat--soft-33-100-0.wbo 		MOPT
f=33
TT=2.898
T1=2.62
 OPTIMUM
f=33
TT=2.898
T1=2.62
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9028_2-unsat--soft-33-100-0.wbo 		MOPT
f=1
TT=2.798
T1=2.52
 OPTIMUM
f=1
TT=2.798
T1=2.52
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j903_10-unsat--soft-33-100-0.wbo 		MOPT
f=5
TT=2.703
T1=2.22
 OPTIMUM
f=5
TT=2.703
T1=2.22
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9035_1-unsat--soft-33-100-0.wbo 		MOPT
f=8
TT=3.627
T1=3.16
 OPTIMUM
f=8
TT=3.627
T1=3.16
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9035_1-unsat--soft-66-100-0.wbo 		MOPT
f=3
TT=3.064
T1=2.67
 OPTIMUM
f=3
TT=3.064
T1=2.67
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9039_3-unsat--soft-33-100-0.wbo 		MOPT
f=10
TT=3.109
T1=2.82
 OPTIMUM
f=10
TT=3.109
T1=2.82
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9048_1-unsat--soft-33-100-0.wbo 		MOPT
f=10
TT=3.086
T1=2.78
 OPTIMUM
f=10
TT=3.086
T1=2.78
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j907_8-unsat--soft-33-100-0.wbo 		MOPT
f=2
TT=2.372
T1=2.11
 OPTIMUM
f=2
TT=2.372
T1=2.11
/PARTIAL-BIGINT-LIN/wcsp/
academics/
normalized-slangford-3-11_wcsp.wbo 		MSAT TO
f=899
TT=1800.07
T1=1236.95
 MSAT (TO)
f=899
TT=1800.07
T1=1236.95
/PARTIAL-BIGINT-LIN/
wcsp/academics/
normalized-warehouse1_wcsp.wbo 		MSAT TO
f=674555
TT=1800.14
T1=397.2
 MSAT (TO)
f=674555
TT=1800.14
T1=397.2
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt3cc_wcsp.wbo 		MOPT
f=153
TT=0.351
T1=0.26
 OPTIMUM
f=153
TT=0.351
T1=0.26
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt3c_wcsp.wbo 		MOPT
f=304
TT=0.341
T1=0.26
 OPTIMUM
f=304
TT=0.341
T1=0.26
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt4bc_wcsp.wbo 		MOPT
f=301
TT=1.406
T1=1.21
 OPTIMUM
f=301
TT=1.406
T1=1.21
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt4cc_wcsp.wbo 		MOPT
f=531
TT=1.432
T1=1.2
 OPTIMUM
f=531
TT=1.432
T1=1.2
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt4c_wcsp.wbo 		MOPT
f=456
TT=1.387
T1=1.21
 OPTIMUM
f=456
TT=1.387
T1=1.21
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt5ac_wcsp.wbo 		MOPT
f=608
TT=2.643
T1=2.41
 OPTIMUM
f=608
TT=2.643
T1=2.41
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt5bc_wcsp.wbo 		MOPT
f=338
TT=2.68
T1=2.43
 OPTIMUM
f=338
TT=2.68
T1=2.43
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt5cc_wcsp.wbo 		MOPT
f=866
TT=2.737
T1=2.49
 OPTIMUM
f=866
TT=2.737
T1=2.49
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt5c_wcsp.wbo 		MOPT
f=608
TT=2.637
T1=2.39
 OPTIMUM
f=608
TT=2.637
T1=2.39
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt6_wcsp.wbo 		MOPT
f=460
TT=7.038
T1=6.57
 OPTIMUM
f=460
TT=7.038
T1=6.57
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub0_wcsp.wbo 		MSAT TO
f=171
TT=1800.19
T1=1669.54
 MSAT (TO)
f=171
TT=1800.19
T1=1669.54
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub1-24_wcsp.wbo 		MSAT TO
f=4374
TT=1800.09
T1=418.23
 MSAT (TO)
f=4374
TT=1800.09
T1=418.23
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub1_wcsp.wbo 		MSAT TO
f=4250
TT=1800.09
T1=28.87
 MSAT (TO)
f=4250
TT=1800.09
T1=28.87
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub2_wcsp.wbo 		MSAT TO
f=7973
TT=1800.11
T1=310.68
 MSAT (TO)
f=7973
TT=1800.11
T1=310.68
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub3_wcsp.wbo 		MSAT TO
f=8492
TT=1800.15
T1=1288.32
 MSAT (TO)
f=8492
TT=1800.15
T1=1288.32
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub4-20_wcsp.wbo 		MSAT TO
f=7820
TT=1800.12
T1=4.56
 MSAT (TO)
f=7820
TT=1800.12
T1=4.56
/PARTIAL-BIGINT-LIN/wcsp/
celar/
normalized-celar6-sub4reduc_wcsp.wbo



? (TO)

TT=1800.04
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub4_wcsp.wbo 		MSAT TO
f=7418
TT=1800.17
T1=64.2
 MSAT (TO)
f=7418
TT=1800.17
T1=64.2
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub0_wcsp.wbo 		MSAT TO
f=42425
TT=1800.17
T1=1758.85
 MSAT (TO)
f=42425
TT=1800.17
T1=1758.85
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub1-20_wcsp.wbo 		MSAT TO
f=202138
TT=1800.14
T1=516.2
 MSAT (TO)
f=202138
TT=1800.14
T1=516.2
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub1_wcsp.wbo 		MSAT TO
f=192843
TT=1800.13
T1=944.37
 MSAT (TO)
f=192843
TT=1800.13
T1=944.37
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub2_wcsp.wbo 		MSAT TO
f=373344
TT=1800.16
T1=1791.12
 MSAT (TO)
f=373344
TT=1800.16
T1=1791.12
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub3_wcsp.wbo 		MSAT TO
f=412935
TT=1800.13
T1=1199.12
 MSAT (TO)
f=412935
TT=1800.13
T1=1199.12
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub4-22_wcsp.wbo 		MSAT TO
f=302937
TT=1800.2
T1=122.19
 MSAT (TO)
f=302937
TT=1800.2
T1=122.19
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub4_wcsp.wbo 		MSAT TO
f=513458
TT=1800.24
T1=1235.24
 MSAT (TO)
f=513458
TT=1800.24
T1=1235.24
/PARTIAL-BIGINT-LIN/
wcsp/depot/
normalized-depot01ac_wcsp.wbo 		MOPT
f=1549
TT=0.333
T1=0.25
 OPTIMUM
f=1549
TT=0.333
T1=0.25
/PARTIAL-BIGINT-LIN/
wcsp/depot/
normalized-depot01bc_wcsp.wbo 		MOPT
f=1794
TT=0.425
T1=0.26
 OPTIMUM
f=1794
TT=0.425
T1=0.26
/PARTIAL-BIGINT-LIN/
wcsp/depot/
normalized-depot01cc_wcsp.wbo 		MOPT
f=1982
TT=0.372
T1=0.25
 OPTIMUM
f=1982
TT=0.372
T1=0.25
/PARTIAL-BIGINT-LIN/wcsp/depot/
normalized-depot01c_wcsp.wbo 		MOPT
f=1549
TT=0.349
T1=0.25
 OPTIMUM
f=1549
TT=0.349
T1=0.25
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog01bc_wcsp.wbo 		MOPT
f=2413
TT=0.378
T1=0.26
 OPTIMUM
f=2413
TT=0.378
T1=0.26
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog01cc_wcsp.wbo 		MOPT
f=1045
TT=0.349
T1=0.25
 OPTIMUM
f=1045
TT=0.349
T1=0.25
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog01c_wcsp.wbo 		MOPT
f=1113
TT=0.348
T1=0.25
 OPTIMUM
f=1113
TT=0.348
T1=0.25
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog02ac_wcsp.wbo 		MOPT
f=1934
TT=30.692
T1=5.34
 OPTIMUM
f=1934
TT=30.692
T1=5.34
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog02bc_wcsp.wbo 		MOPT
f=2009
TT=14.479
T1=3.85
 OPTIMUM
f=2009
TT=14.479
T1=3.85
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog02cc_wcsp.wbo 		MOPT
f=2407
TT=3.425
T1=2.93
 OPTIMUM
f=2407
TT=3.425
T1=2.93
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog02c_wcsp.wbo 		MOPT
f=1934
TT=30.672
T1=5.4
 OPTIMUM
f=1934
TT=30.672
T1=5.4
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog04ac_wcsp.wbo 		MOPT
f=1718
TT=4.526
T1=1.9
 OPTIMUM
f=1718
TT=4.526
T1=1.9
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog04bc_wcsp.wbo 		MOPT
f=1885
TT=3.966
T1=2.4
 OPTIMUM
f=1885
TT=3.966
T1=2.4
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog04cc_wcsp.wbo 		MOPT
f=2842
TT=4.519
T1=2.92
 OPTIMUM
f=2842
TT=4.519
T1=2.92
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog04c_wcsp.wbo 		MOPT
f=1718
TT=4.598
T1=1.96
 OPTIMUM
f=1718
TT=4.598
T1=1.96
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog05ac_wcsp.wbo 		MOPT
f=1278
TT=5.079
T1=3.98
 OPTIMUM
f=1278
TT=5.079
T1=3.98
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog05bc_wcsp.wbo 		MOPT
f=1308
TT=5.094
T1=3.32
 OPTIMUM
f=1308
TT=5.094
T1=3.32
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog05cc_wcsp.wbo 		MOPT
f=2641
TT=5.002
T1=4.08
 OPTIMUM
f=2641
TT=5.002
T1=4.08
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog05c_wcsp.wbo 		MOPT
f=1278
TT=5.097
T1=3.98
 OPTIMUM
f=1278
TT=5.097
T1=3.98
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog08ac_wcsp.wbo 		MOPT
f=2120
TT=11.492
T1=9.55
 OPTIMUM
f=2120
TT=11.492
T1=9.55
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog08bc_wcsp.wbo 		MOPT
f=2257
TT=10.46
T1=9.38
 OPTIMUM
f=2257
TT=10.46
T1=9.38
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog08cc_wcsp.wbo 		MOPT
f=4027
TT=6.791
T1=5.37
 OPTIMUM
f=4027
TT=6.791
T1=5.37
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog08c_wcsp.wbo 		MOPT
f=2120
TT=11.68
T1=9.79
 OPTIMUM
f=2120
TT=11.68
T1=9.79
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog09_wcsp.wbo 		MOPT
f=744
TT=14.576
T1=13.85
 OPTIMUM
f=744
TT=14.576
T1=13.85
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlogs03_wcsp.wbo 		MOPT
f=1177
TT=3.891
T1=2.05
 OPTIMUM
f=1177
TT=3.891
T1=2.05
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlogs06_wcsp.wbo 		MOPT
f=1011
TT=3.532
T1=1.6
 OPTIMUM
f=1011
TT=3.532
T1=1.6
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph05_wcsp.wbo 		MSAT TO
f=37897
TT=1800.32
T1=127.96
 MSAT (TO)
f=37897
TT=1800.32
T1=127.96
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph06_wcsp.wbo 		MSAT TO
f=115680
TT=1800.35
T1=531.05
 MSAT (TO)
f=115680
TT=1800.35
T1=531.05
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo 		MSAT TO
f=12066
TT=1800.3
T1=239.32
 MSAT (TO)
f=12066
TT=1800.3
T1=239.32
/PARTIAL-BIGINT-LIN/wcsp/
graphs/
normalized-graph11reducmore_wcsp.wbo



? (TO)

TT=1800.11
/PARTIAL-BIGINT-LIN/
wcsp/graphs/
normalized-graph11reduc_wcsp.wbo



? (TO)

TT=1800.15
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph11_wcsp.wbo



? (TO)

TT=1803.26
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph12_wcsp.wbo 		MSAT TO
f=61628
TT=1800.38
T1=997.35
 MSAT (TO)
f=61628
TT=1800.38
T1=997.35
/PARTIAL-BIGINT-LIN/wcsp/
graphs/
normalized-graph13reducmore_wcsp.wbo



? (TO)

TT=1800.2
/PARTIAL-BIGINT-LIN/
wcsp/graphs/
normalized-graph13reduc_wcsp.wbo



? (TO)

TT=1800.17
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph13_wcsp.wbo



? (TO)

TT=1800.2
/PARTIAL-BIGINT-LIN/wcsp/
logistics/
normalized-logistics01ac_wcsp.wbo 		MOPT
f=8265
TT=1.195
T1=0.79
 OPTIMUM
f=8265
TT=1.195
T1=0.79
/PARTIAL-BIGINT-LIN/wcsp/
logistics/
normalized-logistics01bc_wcsp.wbo 		MOPT
f=7560
TT=1.184
T1=0.78
 OPTIMUM
f=7560
TT=1.184
T1=0.78
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/wcsp/
logistics/
normalized-logistics01cc_wcsp.wbo 		MOPT
f=4198
TT=1.221
T1=0.78
 OPTIMUM
f=4198
TT=1.221
T1=0.78
/PARTIAL-BIGINT-LIN/wcsp/
logistics/
normalized-logistics01c_wcsp.wbo 		MOPT
f=8265
TT=1.193
T1=0.79
 OPTIMUM
f=8265
TT=1.193
T1=0.79
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime01ac_wcsp.wbo 		MOPT
f=174
TT=2.559
T1=2.38
 OPTIMUM
f=174
TT=2.559
T1=2.38
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime01bc_wcsp.wbo 		MOPT
f=244
TT=2.614
T1=2.48
 OPTIMUM
f=244
TT=2.614
T1=2.48
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime01cc_wcsp.wbo 		MOPT
f=603
TT=2.195
T1=2.06
 OPTIMUM
f=603
TT=2.195
T1=2.06
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime01c_wcsp.wbo 		MOPT
f=174
TT=2.556
T1=2.36
 OPTIMUM
f=174
TT=2.556
T1=2.36
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime03ac_wcsp.wbo 		MOPT
f=278
TT=0.296
T1=0.24
 OPTIMUM
f=278
TT=0.296
T1=0.24
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime03bc_wcsp.wbo 		MOPT
f=353
TT=0.301
T1=0.26
 OPTIMUM
f=353
TT=0.301
T1=0.26
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime03cc_wcsp.wbo 		MOPT
f=326
TT=0.307
T1=0.25
 OPTIMUM
f=326
TT=0.307
T1=0.25
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime03c_wcsp.wbo 		MOPT
f=278
TT=0.3
T1=0.25
 OPTIMUM
f=278
TT=0.3
T1=0.25
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime04ac_wcsp.wbo 		MOPT
f=562
TT=6.055
T1=5.9
 OPTIMUM
f=562
TT=6.055
T1=5.9
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime04bc_wcsp.wbo 		MOPT
f=467
TT=5.452
T1=5.36
 OPTIMUM
f=467
TT=5.452
T1=5.36
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime04cc_wcsp.wbo 		MOPT
f=896
TT=2.515
T1=2.25
 OPTIMUM
f=896
TT=2.515
T1=2.25
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime04c_wcsp.wbo 		MOPT
f=562
TT=6.152
T1=5.99
 OPTIMUM
f=562
TT=6.152
T1=5.99
/PARTIAL-BIGINT-LIN/wcsp/
pedigree/normalized-eye_wcsp.wbo 		MOPT
f=1
TT=104.15
T1=103.81
 OPTIMUM
f=1
TT=104.15
T1=103.81
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck1000_wcsp.wbo 		MSAT TO
f=497
TT=1800.2
T1=1213.34
 MSAT (TO)
f=497
TT=1800.2
T1=1213.34
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck350l2_wcsp.wbo 		MOPT
f=1
TT=16.818
T1=16.37
 OPTIMUM
f=1
TT=16.818
T1=16.37
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck350l3_wcsp.wbo 		MOPT
f=0
TT=18.088
T1=17.81
 OPTIMUM
f=0
TT=18.088
T1=17.81
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck350_wcsp.wbo 		MOPT
f=2
TT=32.278
T1=30.58
 OPTIMUM
f=2
TT=32.278
T1=30.58
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck60-L12_wcsp.wbo 		MSAT TO
f=11
TT=1800.19
T1=653.41
 MSAT (TO)
f=11
TT=1800.19
T1=653.41
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck60-L1_wcsp.wbo 		MOPT
f=2
TT=7.191
T1=6.93
 OPTIMUM
f=2
TT=7.191
T1=6.93
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck60-L2_wcsp.wbo 		MOPT
f=2
TT=11.901
T1=11.28
 OPTIMUM
f=2
TT=11.901
T1=11.28
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-saudiarabia_wcsp.wbo 		MOPT
f=0
TT=5.665
T1=5.46
 OPTIMUM
f=0
TT=5.665
T1=5.46
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4nr_wcsp.wbo



? (TO)

TT=1800.33
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r-4-0_wcsp.wbo



? (TO)

TT=1800.22
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r-4-1_wcsp.wbo 		MSAT TO
f=37
TT=1800.4
T1=1607.21
 MSAT (TO)
f=37
TT=1800.4
T1=1607.21
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r-4-2_wcsp.wbo



? (TO)

TT=1800.18
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r-4-3_wcsp.wbo



? (TO)

TT=1800.22
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r_wcsp.wbo



? (TO)

TT=1800.31
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-wijsmanguo_wcsp.wbo 		MSAT TO
f=20
TT=1800.26
T1=816.69
 MSAT (TO)
f=20
TT=1800.26
T1=816.69
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/rover/
normalized-rovers02ac_wcsp.wbo 		MOPT
f=1579
TT=1.164
T1=0.92
 OPTIMUM
f=1579
TT=1.164
T1=0.92
/PARTIAL-BIGINT-LIN/
wcsp/rover/
normalized-rovers02bc_wcsp.wbo 		MOPT
f=1552
TT=1.143
T1=0.74
 OPTIMUM
f=1552
TT=1.143
T1=0.74
/PARTIAL-BIGINT-LIN/
wcsp/rover/
normalized-rovers02cc_wcsp.wbo 		MOPT
f=1587
TT=1.25
T1=0.97
 OPTIMUM
f=1587
TT=1.25
T1=0.97
/PARTIAL-BIGINT-LIN/
wcsp/rover/
normalized-rovers02c_wcsp.wbo 		MOPT
f=1579
TT=1.154
T1=0.74
 OPTIMUM
f=1579
TT=1.154
T1=0.74
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite01ac_wcsp.wbo 		MOPT
f=1494
TT=1.885
T1=1.62
 OPTIMUM
f=1494
TT=1.885
T1=1.62
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite01bc_wcsp.wbo 		MOPT
f=1773
TT=1.866
T1=1.61
 OPTIMUM
f=1773
TT=1.866
T1=1.61
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite01cc_wcsp.wbo 		MOPT
f=1494
TT=1.807
T1=1.58
 OPTIMUM
f=1494
TT=1.807
T1=1.58
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite01c_wcsp.wbo 		MOPT
f=1494
TT=1.906
T1=1.65
 OPTIMUM
f=1494
TT=1.906
T1=1.65
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite02ac_wcsp.wbo 		MOPT
f=1559
TT=9.979
T1=8.38
 OPTIMUM
f=1559
TT=9.979
T1=8.38
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite02bc_wcsp.wbo 		MOPT
f=2211
TT=7.921
T1=6.09
 OPTIMUM
f=2211
TT=7.921
T1=6.09
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite02cc_wcsp.wbo 		MOPT
f=2086
TT=8.864
T1=8.02
 OPTIMUM
f=2086
TT=8.864
T1=8.02
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-16reduc_wcsp.wbo



? (TO)

TT=1800.05
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-16_wcsp.wbo 		MSAT TO
f=44357
TT=1800.22
T1=47.22
 MSAT (TO)
f=44357
TT=1800.22
T1=47.22
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-18reduc_wcsp.wbo



? (TO)

TT=1800.05
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-18_wcsp.wbo 		MSAT TO
f=43850
TT=1800.18
T1=30.67
 MSAT (TO)
f=43850
TT=1800.18
T1=30.67
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-20reduc_wcsp.wbo



? (TO)

TT=1800.12
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-20_wcsp.wbo 		MSAT TO
f=35196
TT=1800.26
T1=23.74
 MSAT (TO)
f=35196
TT=1800.26
T1=23.74
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-22reduc_wcsp.wbo



? (TO)

TT=1800.05
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-22_wcsp.wbo 		MSAT TO
f=46671
TT=1800.25
T1=45.11
 MSAT (TO)
f=46671
TT=1800.25
T1=45.11
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-24reduc_wcsp.wbo



? (TO)

TT=1800.07
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-24_wcsp.wbo 		MSAT TO
f=25327
TT=1800.27
T1=336.04
 MSAT (TO)
f=25327
TT=1800.27
T1=336.04
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-30reduc_wcsp.wbo



? (TO)

TT=1800.07
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-30_wcsp.wbo 		MSAT TO
f=18474
TT=1800.14
T1=3.19
 MSAT (TO)
f=18474
TT=1800.14
T1=3.19
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06reduc_wcsp.wbo



? (TO)

TT=1800.14
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06_wcsp.wbo 		MSAT TO
f=60426
TT=1800.33
T1=316.02
 MSAT (TO)
f=60426
TT=1800.33
T1=316.02
/PARTIAL-BIGINT-LIN/wcsp/
scens/
normalized-scen07_10000_30r_wcsp.wbo 		MSAT TO
f=147
TT=1800.16
T1=2.98
 MSAT (TO)
f=147
TT=1800.16
T1=2.98
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen07reduc_wcsp.wbo



? (TO)

TT=1800.14
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen07_wcsp.wbo 		MSAT TO
f=94941706
TT=1800.34
T1=1648.11
 MSAT (TO)
f=94941706
TT=1800.34
T1=1648.11
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen08reduc_wcsp.wbo



? (TO)

TT=1800.27
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen08_wcsp.wbo



? (TO)

TT=1800.25
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen09_wcsp.wbo 		MSAT TO
f=14246
TT=1800.37
T1=509.83
 MSAT (TO)
f=14246
TT=1800.37
T1=509.83
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen10_wcsp.wbo 		MSAT TO
f=28742
TT=1800.35
T1=1027.7
 MSAT (TO)
f=28742
TT=1800.35
T1=1027.7
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1401_wcsp.wbo 		MSAT TO
f=498099
TT=1800.15
T1=1672.93
 MSAT (TO)
f=498099
TT=1800.15
T1=1672.93
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1403_wcsp.wbo 		MSAT TO
f=495271
TT=1800.17
T1=397.68
 MSAT (TO)
f=495271
TT=1800.17
T1=397.68
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1405_wcsp.wbo 		MSAT TO
f=500453
TT=1800.24
T1=3.36
 MSAT (TO)
f=500453
TT=1800.24
T1=3.36
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1407_wcsp.wbo 		MSAT TO
f=497671
TT=1800.2
T1=175.66
 MSAT (TO)
f=497671
TT=1800.2
T1=175.66
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1502_wcsp.wbo 		MSAT TO
f=28042
TT=1800.13
T1=0.25
 MSAT (TO)
f=28042
TT=1800.13
T1=0.25
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1504_wcsp.wbo 		MSAT TO
f=182320
TT=1800.15
T1=851.61
 MSAT (TO)
f=182320
TT=1800.15
T1=851.61
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1506_wcsp.wbo 		MSAT TO
f=392559
TT=1800.15
T1=26.14
 MSAT (TO)
f=392559
TT=1800.15
T1=26.14
/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-28_wcsp.wbo 		MSAT TO
f=277120
TT=1800.15
T1=1562.42
 MSAT (TO)
f=277120
TT=1800.15
T1=1562.42
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-29_wcsp.wbo 		MOPT
f=8059
TT=337.712
T1=0.76
 OPTIMUM
f=8059
TT=337.712
T1=0.76
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-408_wcsp.wbo 		MSAT TO
f=6233
TT=1800.13
T1=1600.1
 MSAT (TO)
f=6233
TT=1800.13
T1=1600.1
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-412_wcsp.wbo 		MSAT TO
f=36397
TT=1800.1
T1=703.75
 MSAT (TO)
f=36397
TT=1800.1
T1=703.75
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-414_wcsp.wbo 		MSAT TO
f=40506
TT=1800.09
T1=2.55
 MSAT (TO)
f=40506
TT=1800.09
T1=2.55
/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-42_wcsp.wbo 		MSAT TO
f=163059
TT=1800.12
T1=1394.51
 MSAT (TO)
f=163059
TT=1800.12
T1=1394.51
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-503_wcsp.wbo 		MSAT TO
f=11115
TT=1800.34
T1=142.39
 MSAT (TO)
f=11115
TT=1800.34
T1=142.39
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-505_wcsp.wbo 		MSAT TO
f=22263
TT=1800.08
T1=1531.59
 MSAT (TO)
f=22263
TT=1800.08
T1=1531.59
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-507_wcsp.wbo 		MSAT TO
f=28426
TT=1800.07
T1=1.96
 MSAT (TO)
f=28426
TT=1800.07
T1=1.96
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-509_wcsp.wbo 		MSAT TO
f=40470
TT=1800.09
T1=827.93
 MSAT (TO)
f=40470
TT=1800.09
T1=827.93
/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-5_wcsp.wbo 		MSAT TO
f=272
TT=1800.16
T1=844.06
 MSAT (TO)
f=272
TT=1800.16
T1=844.06
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap101_wcsp.wbo 		MSAT TO
f=7851242
TT=1800.15
T1=0.49
 MSAT (TO)
f=7851242
TT=1800.15
T1=0.49
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap102_wcsp.wbo 		MSAT TO
f=8486670
TT=1800.09
T1=1.04
 MSAT (TO)
f=8486670
TT=1800.09
T1=1.04
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap103_wcsp.wbo 		MSAT TO
f=8943592
TT=1800.06
T1=0.5
 MSAT (TO)
f=8943592
TT=1800.06
T1=0.5
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap104_wcsp.wbo 		MSAT TO
f=9340135
TT=1800.14
T1=0.51
 MSAT (TO)
f=9340135
TT=1800.14
T1=0.51
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap111_wcsp.wbo 		MSAT TO
f=8157049
TT=1800.16
T1=1.02
 MSAT (TO)
f=8157049
TT=1800.16
T1=1.02
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap112_wcsp.wbo 		MSAT TO
f=8768573
TT=1800.11
T1=1.35
 MSAT (TO)
f=8768573
TT=1800.11
T1=1.35
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap113_wcsp.wbo 		MSAT TO
f=9206047
TT=1800.1
T1=1.02
 MSAT (TO)
f=9206047
TT=1800.1
T1=1.02
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap114_wcsp.wbo 		MSAT TO
f=9360533
TT=1800.09
T1=1.35
 MSAT (TO)
f=9360533
TT=1800.09
T1=1.35
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap121_wcsp.wbo 		MSAT TO
f=8157049
TT=1800.14
T1=1.02
 MSAT (TO)
f=8157049
TT=1800.14
T1=1.02
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap122_wcsp.wbo 		MSAT TO
f=8768573
TT=1800.2
T1=1.59
 MSAT (TO)
f=8768573
TT=1800.2
T1=1.59
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap123_wcsp.wbo 		MSAT TO
f=9206047
TT=1800.15
T1=1.03
 MSAT (TO)
f=9206047
TT=1800.15
T1=1.03
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap124_wcsp.wbo 		MSAT TO
f=9360533
TT=1800.07
T1=1.34
 MSAT (TO)
f=9360533
TT=1800.07
T1=1.34
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap131_wcsp.wbo 		MSAT TO
f=8157049
TT=1800.19
T1=1
 MSAT (TO)
f=8157049
TT=1800.19
T1=1
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap132_wcsp.wbo 		MSAT TO
f=8768573
TT=1800.2
T1=1.58
 MSAT (TO)
f=8768573
TT=1800.2
T1=1.58
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap133_wcsp.wbo 		MSAT TO
f=9206047
TT=1800.19
T1=0.79
 MSAT (TO)
f=9206047
TT=1800.19
T1=0.79
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap134_wcsp.wbo 		MSAT TO
f=9360533
TT=1800.14
T1=1.33
 MSAT (TO)
f=9360533
TT=1800.14
T1=1.33
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap41_wcsp.wbo 		MSAT TO
f=9065142
TT=1800.15
T1=0.48
 MSAT (TO)
f=9065142
TT=1800.15
T1=0.48
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap42_wcsp.wbo 		MSAT TO
f=9556215
TT=1800.06
T1=0.5
 MSAT (TO)
f=9556215
TT=1800.06
T1=0.5
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap43_wcsp.wbo 		MSAT TO
f=9939840
TT=1800.06
T1=0.48
 MSAT (TO)
f=9939840
TT=1800.06
T1=0.48
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap44_wcsp.wbo 		MSAT TO
f=10336274
TT=1800.08
T1=0.5
 MSAT (TO)
f=10336274
TT=1800.08
T1=0.5
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap51_wcsp.wbo 		MSAT TO
f=9939840
TT=1800.09
T1=0.51
 MSAT (TO)
f=9939840
TT=1800.09
T1=0.51
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap61_wcsp.wbo 		MSAT TO
f=9065142
TT=1800.05
T1=0.52
 MSAT (TO)
f=9065142
TT=1800.05
T1=0.52
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap62_wcsp.wbo 		MSAT TO
f=9556215
TT=1800.13
T1=0.51
 MSAT (TO)
f=9556215
TT=1800.13
T1=0.51
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap63_wcsp.wbo 		MSAT TO
f=9939840
TT=1800.07
T1=0.5
 MSAT (TO)
f=9939840
TT=1800.07
T1=0.5
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap64_wcsp.wbo 		MSAT TO
f=10336274
TT=1800.14
T1=0.51
 MSAT (TO)
f=10336274
TT=1800.14
T1=0.51
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap71_wcsp.wbo 		MSAT TO
f=9065142
TT=1800.09
T1=0.51
 MSAT (TO)
f=9065142
TT=1800.09
T1=0.51
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap72_wcsp.wbo 		MSAT TO
f=9556215
TT=1800.07
T1=0.46
 MSAT (TO)
f=9556215
TT=1800.07
T1=0.46
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap73_wcsp.wbo 		MSAT TO
f=9939840
TT=1800.09
T1=0.5
 MSAT (TO)
f=9939840
TT=1800.09
T1=0.5
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap74_wcsp.wbo 		MSAT TO
f=10336274
TT=1800.06
T1=0.43
 MSAT (TO)
f=10336274
TT=1800.06
T1=0.43
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap81_wcsp.wbo 		MSAT TO
f=7851242
TT=1800.15
T1=0.5
 MSAT (TO)
f=7851242
TT=1800.15
T1=0.5
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap82_wcsp.wbo 		MSAT TO
f=8486670
TT=1800.17
T1=1.08
 MSAT (TO)
f=8486670
TT=1800.17
T1=1.08
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap83_wcsp.wbo 		MSAT TO
f=8943592
TT=1800.05
T1=0.51
 MSAT (TO)
f=8943592
TT=1800.05
T1=0.51
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap84_wcsp.wbo 		MSAT TO
f=9340135
TT=1800.08
T1=0.5
 MSAT (TO)
f=9340135
TT=1800.08
T1=0.5
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap91_wcsp.wbo 		MSAT TO
f=7851242
TT=1800.11
T1=0.52
 MSAT (TO)
f=7851242
TT=1800.11
T1=0.52
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap92_wcsp.wbo 		MSAT TO
f=8486670
TT=1800.12
T1=1.05
 MSAT (TO)
f=8486670
TT=1800.12
T1=1.05
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap93_wcsp.wbo 		MSAT TO
f=8943592
TT=1800.16
T1=0.49
 MSAT (TO)
f=8943592
TT=1800.16
T1=0.49
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap94_wcsp.wbo 		MSAT TO
f=9340135
TT=1800.12
T1=0.52
 MSAT (TO)
f=9340135
TT=1800.12
T1=0.52
/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-capa_wcsp.wbo 		MSAT TO
f=25941163
TT=1800.3
T1=73.04
 MSAT (TO)
f=25941163
TT=1800.3
T1=73.04
/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-capb_wcsp.wbo 		MSAT TO
f=23081200
TT=1800.35
T1=98.24
 MSAT (TO)
f=23081200
TT=1800.35
T1=98.24
/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-capc_wcsp.wbo 		MSAT TO
f=15750354
TT=1800.38
T1=186.45
 MSAT (TO)
f=15750354
TT=1800.38
T1=186.45
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo1_wcsp.wbo 		MSAT TO
f=1125496
TT=1800.22
T1=2.89
 MSAT (TO)
f=1125496
TT=1800.22
T1=2.89
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo2_wcsp.wbo 		MSAT TO
f=1243610
TT=1800.2
T1=2.96
 MSAT (TO)
f=1243610
TT=1800.2
T1=2.96
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo3_wcsp.wbo 		MSAT TO
f=1223633
TT=1800.23
T1=3
 MSAT (TO)
f=1223633
TT=1800.23
T1=3
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo4_wcsp.wbo 		MSAT TO
f=1137948
TT=1800.16
T1=2.54
 MSAT (TO)
f=1137948
TT=1800.16
T1=2.54
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo5_wcsp.wbo 		MSAT TO
f=1095506
TT=1800.25
T1=2.61
 MSAT (TO)
f=1095506
TT=1800.25
T1=2.61
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp1_wcsp.wbo 		MSAT TO
f=2425136
TT=1800.22
T1=12.7
 MSAT (TO)
f=2425136
TT=1800.22
T1=12.7
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp2_wcsp.wbo 		MSAT TO
f=2348845
TT=1800.26
T1=18.47
 MSAT (TO)
f=2348845
TT=1800.26
T1=18.47
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp3_wcsp.wbo 		MSAT TO
f=2350440
TT=1800.24
T1=11.83
 MSAT (TO)
f=2350440
TT=1800.24
T1=11.83
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp4_wcsp.wbo 		MSAT TO
f=2548106
TT=1800.2
T1=12.79
 MSAT (TO)
f=2548106
TT=1800.2
T1=12.79
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp5_wcsp.wbo 		MSAT TO
f=2240403
TT=1800.28
T1=11.88
 MSAT (TO)
f=2240403
TT=1800.28
T1=11.88
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmq1_wcsp.wbo 		MSAT TO
f=3438412
TT=1800.26
T1=47.76
 MSAT (TO)
f=3438412
TT=1800.26
T1=47.76
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmq2_wcsp.wbo 		MSAT TO
f=3357945
TT=1800.27
T1=69.77
 MSAT (TO)
f=3357945
TT=1800.27
T1=69.77
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmq3_wcsp.wbo 		MSAT TO
f=3506826
TT=1800.27
T1=47.86
 MSAT (TO)
f=3506826
TT=1800.27
T1=47.86
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmq4_wcsp.wbo 		MSAT TO
f=3728234
TT=1800.31
T1=70.02
 MSAT (TO)
f=3728234
TT=1800.31
T1=70.02
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmq5_wcsp.wbo 		MSAT TO
f=3662214
TT=1800.28
T1=70.07
 MSAT (TO)
f=3662214
TT=1800.28
T1=70.07
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel02ac_wcsp.wbo 		MOPT
f=2401
TT=1.32
T1=1.17
 OPTIMUM
f=2401
TT=1.32
T1=1.17
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel02bc_wcsp.wbo 		MOPT
f=2251
TT=1.455
T1=1.16
 OPTIMUM
f=2251
TT=1.455
T1=1.16
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel02cc_wcsp.wbo 		MOPT
f=724
TT=1.15
T1=0.92
 OPTIMUM
f=724
TT=1.15
T1=0.92
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel02c_wcsp.wbo 		MOPT
f=2401
TT=1.319
T1=1.17
 OPTIMUM
f=2401
TT=1.319
T1=1.17
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel04ac_wcsp.wbo 		MOPT
f=4116
TT=2.561
T1=2.21
 OPTIMUM
f=4116
TT=2.561
T1=2.21
Bench nameBest resultsSat4j Resolution
2011-06-08
(complete)
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel04bc_wcsp.wbo 		MOPT
f=3956
TT=2.432
T1=1.87
 OPTIMUM
f=3956
TT=2.432
T1=1.87
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel04cc_wcsp.wbo 		MOPT
f=1555
TT=2.248
T1=1.79
 OPTIMUM
f=1555
TT=2.248
T1=1.79
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel04c_wcsp.wbo 		MOPT
f=4116
TT=2.537
T1=2.19
 OPTIMUM
f=4116
TT=2.537
T1=2.19



StatisticsSat4j Resolution
2011-06-08
(complete)
Number of times the solver is able to give the best known answer241
Number of times the solver is the best solver from a complete solver point of view
(i.e. best known answer and best TT time)		241