PB'16 competition: WBO track: results by benchmark

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

This page displays the results of the different solvers for each benchmark for category both soft and hard constraints, small integers, linear constraints (PARTIAL-SMALLINT-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 example	Meaning
Answer	Solver 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:

Abbreviation	Meaning
f=...	Value of the objective function
TO	Time Out
MO	Mem. Out (out of memory)

Meaning of the different colors:

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

For better readability, you may choose to hide some solvers:
NaPS 1.02 (complete)
Sat4j PB 2.3.6 Res+CP PB16 (complete)
Sat4j PB 2.3.6 Resolution PB16 (complete)
toysat 2016-05-02 (complete)

Bench name	Best results on this instance	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=3 TT=1.361 T1=1.36	OPTIMUM f=3 TT=1.361 T1=1.36	OPTIMUM f=3 TT=0.434 T1=0.65	MSAT (TO) f=3 TT=1800.03 T1=1.44	OPTIMUM f=3 TT=1055.98 T1=1056.4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=15 TT=1.142 T1=1.14	OPTIMUM f=15 TT=1.142 T1=1.14	OPTIMUM f=15 TT=0.414 T1=1.14	OPTIMUM f=15 TT=178.56 T1=1.62	OPTIMUM f=15 TT=998.963 T1=999.04
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=21 TT=1.439 T1=1.43	OPTIMUM f=21 TT=1.439 T1=1.43	OPTIMUM f=21 TT=0.456 T1=1.16	OPTIMUM f=21 TT=1186.44 T1=0.48	? (TO) TT=1800.1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=58 TT=2.015 T1=2.01	OPTIMUM f=58 TT=2.015 T1=2.01	OPTIMUM f=58 TT=0.455 T1=1.16	MSAT (TO) f=58 TT=1800.65 T1=0.77	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=20 TT=1.524 T1=1.52	OPTIMUM f=20 TT=1.524 T1=1.52	OPTIMUM f=20 TT=0.623 T1=1.17	OPTIMUM f=20 TT=1585.88 T1=1.93	? (TO) TT=1800.04
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=96 TT=2.269 T1=2.26	OPTIMUM f=96 TT=2.269 T1=2.26	OPTIMUM f=96 TT=0.514 T1=1.16	MSAT (TO) f=96 TT=1800.05 T1=0.29	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=3 TT=1800.02 T1=1800.3	MSAT (TO) f=3 TT=1800.02 T1=1800.3	OPTIMUM f=3 TT=0.613 T1=0.67	MSAT (TO) f=3 TT=1800.04 T1=1.12	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=25 TT=1050.1 T1=1050.25	OPTIMUM f=25 TT=1050.1 T1=1050.25	OPTIMUM f=25 TT=0.676 T1=1.17	MSAT (TO) f=25 TT=1800.09 T1=105.17	? (TO) TT=1800.03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=23 TT=1470.37 T1=1470.6	OPTIMUM f=23 TT=1470.37 T1=1470.6	OPTIMUM f=23 TT=0.763 T1=1.17	MSAT (TO) f=23 TT=1800.06 T1=2.76	? (TO) TT=1800.06
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=54 TT=1800.02 T1=1800.3	MSAT (TO) f=54 TT=1800.02 T1=1800.3	OPTIMUM f=49 TT=1.053 T1=1.18	MSAT (TO) f=49 TT=1800.8 T1=1.58	? (TO) TT=1800.05
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=15 TT=1800.02 T1=1800.3	MSAT (TO) f=15 TT=1800.02 T1=1800.3	OPTIMUM f=15 TT=1.074 T1=1.18	MSAT (TO) f=15 TT=1800.01 T1=1.67	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=7 TT=1468 T1=1468.22	OPTIMUM f=7 TT=1468 T1=1468.22	OPTIMUM f=7 TT=1.163 T1=1.19	MSAT (TO) f=7 TT=1800.57 T1=0.4	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=9 TT=1800.01 T1=1800.3	MSAT (TO) f=9 TT=1800.01 T1=1800.3	OPTIMUM f=6 TT=1.286 T1=1.2	MSAT (TO) f=6 TT=1800.07 T1=1.3	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=6 TT=1800.02 T1=1800.3	MSAT (TO) f=6 TT=1800.02 T1=1800.3	OPTIMUM f=6 TT=1.434 T1=1.19	MSAT (TO) f=6 TT=1800.85 T1=2.87	? (TO) TT=1800.1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=17 TT=1800.02 T1=1800.3	MSAT (TO) f=17 TT=1800.02 T1=1800.3	MSAT (TO) f=17 TT=1800.9 T1=1.2	MSAT (TO) f=17 TT=1800.01 T1=7.62	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=25 TT=1800.02 T1=1800.3	MSAT (TO) f=25 TT=1800.02 T1=1800.3	MSAT (TO) f=19 TT=1800.77 T1=1.34	MSAT (TO) f=32 TT=1800.02 T1=1.96	? (TO) TT=1800.06
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=14 TT=1800.01 T1=1800.3	MSAT (TO) f=14 TT=1800.01 T1=1800.3	MSAT (TO) f=13 TT=1800.95 T1=1.21	MSAT (TO) f=13 TT=1800.02 T1=6.06	? (TO) TT=1800.09
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=8 TT=1800.02 T1=1800.3	MSAT (TO) f=8 TT=1800.02 T1=1800.3	OPTIMUM f=8 TT=1.552 T1=1.21	MSAT (TO) f=8 TT=1800.74 T1=3.26	? (TO) TT=1800.09
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=4 TT=1800.02 T1=1800.3	MSAT (TO) f=4 TT=1800.02 T1=1800.3	OPTIMUM f=3 TT=2.664 T1=1.73	MSAT (TO) f=3 TT=1800.04 T1=18.28	? (TO) TT=1800.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=3 TT=1800.02 T1=1800.3	MSAT (TO) f=3 TT=1800.02 T1=1800.3	OPTIMUM f=3 TT=2.124 T1=0.72	MSAT (TO) f=3 TT=1800.09 T1=14.19	? (TO) TT=1800.03
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=13 TT=1800.02 T1=1800.3	MSAT (TO) f=13 TT=1800.02 T1=1800.3	MSAT (TO) f=12 TT=1800.07 T1=1.24	MSAT (TO) f=12 TT=1800.03 T1=23.27	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=2 TT=1800.02 T1=1800.3	MSAT (TO) f=2 TT=1800.02 T1=1800.3	OPTIMUM f=2 TT=1.674 T1=1.24	MSAT (TO) f=2 TT=1800.08 T1=11.9	? (TO) TT=1800.06
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=20 TT=1800.07 T1=1800.5	MSAT (TO) f=20 TT=1800.07 T1=1800.5	OPTIMUM f=14 TT=2.244 T1=1.26	MSAT (TO) f=14 TT=1800.09 T1=55.37	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=18 TT=1800.02 T1=1800.3	MSAT (TO) f=18 TT=1800.02 T1=1800.3	OPTIMUM f=18 TT=2.314 T1=1.26	MSAT (TO) f=18 TT=1800.66 T1=65.12	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=5 TT=1800.1 T1=1800.4	MSAT (TO) f=5 TT=1800.1 T1=1800.4	OPTIMUM f=3 TT=2.714 T1=1.28	MSAT (TO) f=3 TT=1800.01 T1=4.62	? (TO) TT=1800.04
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=3 TT=1800.03 T1=1800.3	MSAT (TO) f=3 TT=1800.03 T1=1800.3	OPTIMUM f=2 TT=2.514 T1=1.25	MSAT (TO) f=2 TT=1800.1 T1=16.4	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=5 TT=1800.02 T1=1800.3	MSAT (TO) f=5 TT=1800.02 T1=1800.3	OPTIMUM f=4 TT=2.385 T1=1.26	MSAT (TO) f=4 TT=1800.85 T1=33.87	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=17 TT=1800.02 T1=1800.3	MSAT (TO) f=17 TT=1800.02 T1=1800.3	OPTIMUM f=15 TT=2.264 T1=1.26	MSAT (TO) f=15 TT=1800.06 T1=17.78	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=35 TT=1800.05 T1=1800.4	MSAT (TO) f=35 TT=1800.05 T1=1800.4	OPTIMUM f=25 TT=2.513 T1=1.28	MSAT (TO) f=25 TT=1800.73 T1=85.39	? (TO) TT=1800.12
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=16 TT=1800.02 T1=1800.3	MSAT (TO) f=16 TT=1800.02 T1=1800.3	OPTIMUM f=12 TT=2.583 T1=1.78	MSAT (TO) f=12 TT=1800.74 T1=27.24	? (TO) TT=1800.07
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=4 TT=1800.02 T1=1800.3	MSAT (TO) f=4 TT=1800.02 T1=1800.3	OPTIMUM f=4 TT=2.895 T1=1.28	MSAT (TO) f=4 TT=1800.07 T1=46.55	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=4 TT=1800.02 T1=1800.3	MSAT (TO) f=4 TT=1800.02 T1=1800.3	OPTIMUM f=4 TT=3.933 T1=3.29	MSAT (TO) f=4 TT=1800.83 T1=50.33	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=5 TT=1800.06 T1=1800.4	MSAT (TO) f=5 TT=1800.06 T1=1800.4	OPTIMUM f=5 TT=2.644 T1=1.29	MSAT (TO) f=5 TT=1800.77 T1=55.87	? (TO) TT=1800.03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=4 TT=1800.03 T1=1800.3	MSAT (TO) f=4 TT=1800.03 T1=1800.3	OPTIMUM f=3 TT=2.453 T1=1.3	MSAT (TO) f=3 TT=1800.63 T1=30.82	? (TO) TT=1800.09
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=13 TT=1800.11 T1=1800.4	MSAT (TO) f=13 TT=1800.11 T1=1800.4	OPTIMUM f=9 TT=2.894 T1=1.3	MSAT (TO) f=9 TT=1800.8 T1=38.3	? (TO) TT=1800.09
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=5 TT=1800.09 T1=1800.4	MSAT (TO) f=5 TT=1800.09 T1=1800.4	MSAT (TO) f=5 TT=1800.78 T1=1.81	MSAT (TO) f=5 TT=1800.02 T1=73.49	? (TO) TT=1800.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=6 TT=1800.09 T1=1800.5	MSAT (TO) f=6 TT=1800.09 T1=1800.5	OPTIMUM f=4 TT=5.292 T1=3.33	MSAT (TO) f=4 TT=1800.62 T1=40.03	? (TO) TT=1800.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=12 TT=1800.03 T1=1800.3	MSAT (TO) f=12 TT=1800.03 T1=1800.3	OPTIMUM f=12 TT=5.741 T1=3.33	MSAT (TO) f=12 TT=1800.68 T1=221.05	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=3 TT=1800.09 T1=1800.4	MSAT (TO) f=3 TT=1800.09 T1=1800.4	OPTIMUM f=3 TT=3.374 T1=1.83	MSAT (TO) f=3 TT=1800.76 T1=55.77	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=15 TT=1800.02 T1=1800.3	MSAT (TO) f=15 TT=1800.02 T1=1800.3	OPTIMUM f=15 TT=3.458 T1=1.98	MSAT (TO) f=15 TT=1800.01 T1=43.64	? (TO) TT=1800.07
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo	MSAT f=11 TT=1800.04 T1=1800.4	MSAT (TO) f=11 TT=1800.04 T1=1800.4	OPTIMUM f=10 TT=5.822 T1=2.83	MSAT (TO) f=13 TT=1800.08 T1=1682.16	? (TO) TT=1800.1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo	MSAT f=22 TT=1800.1 T1=1800.4	MSAT (TO) f=22 TT=1800.1 T1=1800.4	OPTIMUM f=22 TT=3.433 T1=1.82	MSAT (TO) f=22 TT=1800.01 T1=20.43	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo	MOPT f=1 TT=25.547 T1=25.46	OPTIMUM f=1 TT=25.547 T1=25.46	MSAT (TO) f=5 TT=1800.43 T1=1781.09	OPTIMUM f=1 TT=21.511 T1=16.77	OPTIMUM f=1 TT=79.13 T1=79.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo	MOPT f=2 TT=24.007 T1=17.48	OPTIMUM f=2 TT=25.661 T1=25.62	OPTIMUM f=2 TT=31.918 T1=39.16	OPTIMUM f=2 TT=16.151 T1=10.46	OPTIMUM f=2 TT=24.007 T1=17.48
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo	MOPT f=2 TT=42.091 T1=42.03	OPTIMUM f=2 TT=42.091 T1=42.03	MSAT (TO) f=9 TT=1800.08 T1=1782.02	OPTIMUM f=2 TT=25.833 T1=9.2	OPTIMUM f=2 TT=199.38 T1=187.48
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo	MOPT f=1 TT=26.088 T1=26.05	OPTIMUM f=1 TT=26.088 T1=26.05	OPTIMUM f=1 TT=32.03 T1=31.18	OPTIMUM f=1 TT=22.362 T1=17.48	OPTIMUM f=1 TT=87.709 T1=87.66
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo	MOPT f=4 TT=20.685 T1=10.83	OPTIMUM f=4 TT=30.948 T1=30.85	OPTIMUM f=4 TT=21.632 T1=21.09	OPTIMUM f=4 TT=20.241 T1=17.17	OPTIMUM f=4 TT=20.685 T1=10.83
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo	MOPT f=13 TT=35.575 T1=35.53	OPTIMUM f=13 TT=35.575 T1=35.53	OPTIMUM f=13 TT=53.136 T1=47.36	OPTIMUM f=13 TT=38.597 T1=30.61	OPTIMUM f=13 TT=82.876 T1=57.47
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo	MOPT f=1 TT=31.95 T1=31.84	OPTIMUM f=1 TT=31.95 T1=31.84	OPTIMUM f=1 TT=652.605 T1=625.01	OPTIMUM f=1 TT=16.691 T1=6.41	OPTIMUM f=1 TT=63.965 T1=63.92
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo	MOPT f=1 TT=23.829 T1=23.79	OPTIMUM f=1 TT=23.829 T1=23.79	OPTIMUM f=1 TT=32.96 T1=28.05	OPTIMUM f=1 TT=15.501 T1=10.13	OPTIMUM f=1 TT=40.646 T1=40.59
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo	MOPT f=2 TT=60.439 T1=60.35	OPTIMUM f=2 TT=60.439 T1=60.35	OPTIMUM f=2 TT=41.668 T1=34.39	OPTIMUM f=2 TT=20.93 T1=18.17	OPTIMUM f=2 TT=285.831 T1=275.22
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-66-100-0.wbo	MOPT f=2 TT=52.993 T1=52.95	OPTIMUM f=2 TT=52.993 T1=52.95	MSAT (TO) f=33 TT=1800.05 T1=46.57	OPTIMUM f=2 TT=52.63 T1=50.06	OPTIMUM f=2 TT=59.515 T1=59.46
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo	MOPT f=1 TT=80.74 T1=80.66	OPTIMUM f=1 TT=80.74 T1=80.66	OPTIMUM f=1 TT=85.901 T1=20.57	OPTIMUM f=1 TT=50.636 T1=6.24	OPTIMUM f=1 TT=1686.61 T1=1686.94
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo	MOPT f=1 TT=69.843 T1=69.82	OPTIMUM f=1 TT=69.843 T1=69.82	OPTIMUM f=1 TT=56.906 T1=28	OPTIMUM f=1 TT=17.751 T1=10.49	OPTIMUM f=1 TT=786.115 T1=786.38
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo	MOPT f=1 TT=54.218 T1=54.09	OPTIMUM f=1 TT=54.218 T1=54.09	MSAT (TO) f=4 TT=1800.05 T1=15.52	OPTIMUM f=1 TT=43.51 T1=4.91	OPTIMUM f=1 TT=164.225 T1=164.19
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo	MOPT f=1 TT=41.047 T1=41.03	OPTIMUM f=1 TT=41.047 T1=41.03	MSAT (TO) f=5 TT=1801.13 T1=1782.72	OPTIMUM f=1 TT=14.501 T1=7.45	OPTIMUM f=1 TT=116.539 T1=116.51
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo	MOPT f=1 TT=47.797 T1=47.7	OPTIMUM f=1 TT=47.797 T1=47.7	MSAT (TO) f=18 TT=1800.44 T1=1781.91	OPTIMUM f=1 TT=18.401 T1=13.87	OPTIMUM f=1 TT=297.855 T1=297.86
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo	MOPT f=1 TT=31.536 T1=31.51	OPTIMUM f=1 TT=31.536 T1=31.51	OPTIMUM f=1 TT=35.895 T1=35.15	OPTIMUM f=1 TT=25.691 T1=20.17	OPTIMUM f=1 TT=186.016 T1=185.99
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo	MOPT f=2 TT=33.007 T1=29.93	OPTIMUM f=2 TT=33.007 T1=32.92	MSAT (TO) f=11 TT=1800.05 T1=36.7	OPTIMUM f=2 TT=20.751 T1=17.55	OPTIMUM f=2 TT=35.136 T1=29.93
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo	MOPT f=11 TT=35.804 T1=35.77	OPTIMUM f=11 TT=35.804 T1=35.77	OPTIMUM f=11 TT=30.358 T1=25.48	OPTIMUM f=11 TT=24.081 T1=18.24	OPTIMUM f=11 TT=71.594 T1=39.24
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo	MOPT f=1 TT=18.444 T1=18.35	OPTIMUM f=1 TT=18.444 T1=18.35	MSAT (TO) f=7 TT=1800 T1=67.03	OPTIMUM f=1 TT=9.563 T1=6.75	OPTIMUM f=1 TT=44.806 T1=44.75
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo	MOPT f=1 TT=7.176 T1=7.16	OPTIMUM f=1 TT=7.176 T1=7.16	OPTIMUM f=1 TT=13.403 T1=27.54	OPTIMUM f=1 TT=9.525 T1=6.96	OPTIMUM f=1 TT=21.741 T1=21.68
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo	MOPT f=1 TT=39.598 T1=39.52	OPTIMUM f=1 TT=39.598 T1=39.52	MSAT (TO) f=12 TT=1800.09 T1=1779.02	OPTIMUM f=1 TT=11.345 T1=8.26	OPTIMUM f=1 TT=45.638 T1=45.59
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo	MOPT f=2 TT=31.494 T1=31.47	OPTIMUM f=2 TT=31.494 T1=31.47	OPTIMUM f=2 TT=19.171 T1=30.99	OPTIMUM f=2 TT=15.152 T1=13.26	OPTIMUM f=2 TT=61.131 T1=61.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo	MOPT f=7 TT=22.872 T1=22.78	OPTIMUM f=7 TT=22.872 T1=22.78	MSAT (TO) f=54 TT=1800.8 T1=1777.12	OPTIMUM f=7 TT=27.259 T1=24.48	OPTIMUM f=7 TT=53.406 T1=38.38
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo	MOPT f=12 TT=8.677 T1=3.19	OPTIMUM f=12 TT=11.608 T1=11.57	OPTIMUM f=12 TT=18.776 T1=30.56	OPTIMUM f=12 TT=14.24 T1=12.78	OPTIMUM f=12 TT=8.677 T1=3.19
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo	MOPT f=4 TT=40.941 T1=40.84	OPTIMUM f=4 TT=40.941 T1=40.84	OPTIMUM f=4 TT=50.377 T1=42.15	OPTIMUM f=4 TT=26.539 T1=23.23	OPTIMUM f=4 TT=92.271 T1=55.13
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo	MOPT f=6 TT=30.236 T1=30.21	OPTIMUM f=6 TT=30.236 T1=30.21	OPTIMUM f=6 TT=27.219 T1=29.09	OPTIMUM f=6 TT=35.59 T1=29.38	OPTIMUM f=6 TT=42.06 T1=32.97
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo	MOPT f=1 TT=42.555 T1=42.45	OPTIMUM f=1 TT=42.555 T1=42.45	OPTIMUM f=1 TT=43.997 T1=39.38	OPTIMUM f=1 TT=21.46 T1=17.77	OPTIMUM f=1 TT=50.953 T1=50.9
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo	MOPT f=1 TT=28.615 T1=28.59	OPTIMUM f=1 TT=28.615 T1=28.59	OPTIMUM f=1 TT=18.691 T1=25.07	OPTIMUM f=1 TT=43.608 T1=37.97	OPTIMUM f=1 TT=135.091 T1=135.07
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo	MOPT f=3 TT=30.175 T1=20.03	OPTIMUM f=3 TT=30.175 T1=30.09	MSAT (TO) f=28 TT=1800.05 T1=1777.63	OPTIMUM f=3 TT=15.752 T1=11.33	OPTIMUM f=3 TT=30.59 T1=20.03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo	MOPT f=3 TT=17.221 T1=15.55	OPTIMUM f=3 TT=17.221 T1=17.19	OPTIMUM f=3 TT=18.12 T1=25.56	OPTIMUM f=3 TT=13.593 T1=11.2	OPTIMUM f=3 TT=18.599 T1=15.55
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo	MOPT f=1 TT=37.149 T1=37.03	OPTIMUM f=1 TT=37.149 T1=37.03	MSAT (TO) f=35 TT=1800.01 T1=157.19	OPTIMUM f=1 TT=11.482 T1=9.86	OPTIMUM f=1 TT=38.783 T1=38.72
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo	MOPT f=3 TT=32.927 T1=27.2	OPTIMUM f=3 TT=41.791 T1=41.76	MSAT (TO) f=25 TT=1801.18 T1=19.98	OPTIMUM f=3 TT=22.56 T1=19.42	OPTIMUM f=3 TT=32.927 T1=27.2
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo	MOPT f=2 TT=33.557 T1=33.47	OPTIMUM f=2 TT=33.557 T1=33.47	OPTIMUM f=2 TT=35.39 T1=31.8	OPTIMUM f=2 TT=17.91 T1=15.34	OPTIMUM f=2 TT=58.253 T1=56.75
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo	MOPT f=1 TT=14.558 T1=14.53	OPTIMUM f=1 TT=14.558 T1=14.53	OPTIMUM f=1 TT=41.239 T1=37.27	OPTIMUM f=1 TT=14.88 T1=13.6	OPTIMUM f=1 TT=21.03 T1=20.98
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	MOPT f=1 TT=38.596 T1=38.47	OPTIMUM f=1 TT=38.596 T1=38.47	MSAT (TO) f=15 TT=1800.98 T1=25.72	OPTIMUM f=1 TT=16.932 T1=12.21	OPTIMUM f=1 TT=61.833 T1=61.79
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo	MOPT f=1 TT=23.828 T1=23.79	OPTIMUM f=1 TT=23.828 T1=23.79	MSAT (TO) f=9 TT=1800.08 T1=1769.42	OPTIMUM f=1 TT=10.613 T1=7.22	OPTIMUM f=1 TT=37.027 T1=36.97
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	MOPT f=5 TT=55.539 T1=44.68	OPTIMUM f=5 TT=55.539 T1=55.45	OPTIMUM f=5 TT=62.533 T1=56.77	OPTIMUM f=5 TT=37.368 T1=21.53	OPTIMUM f=5 TT=115.67 T1=44.68
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo	MOPT f=7 TT=46.017 T1=45.99	OPTIMUM f=7 TT=46.017 T1=45.99	OPTIMUM f=7 TT=57.306 T1=38.65	OPTIMUM f=7 TT=55.39 T1=52.18	OPTIMUM f=7 TT=82.306 T1=76.27
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo	MOPT f=8 TT=52.424 T1=39.74	OPTIMUM f=8 TT=52.424 T1=52.34	OPTIMUM f=8 TT=58.195 T1=41.19	OPTIMUM f=8 TT=27.26 T1=20.56	OPTIMUM f=8 TT=64.748 T1=39.74
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo	MOPT f=9 TT=44.265 T1=44.24	OPTIMUM f=9 TT=44.265 T1=44.24	OPTIMUM f=9 TT=55.776 T1=41.15	OPTIMUM f=9 TT=29.67 T1=23.2	OPTIMUM f=9 TT=136.194 T1=136.15
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo	MOPT f=3 TT=54.322 T1=54.22	OPTIMUM f=3 TT=54.322 T1=54.22	MSAT (TO) f=22 TT=1800.08 T1=34.53	OPTIMUM f=3 TT=29.82 T1=21.55	OPTIMUM f=3 TT=116.487 T1=94.22
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo	MOPT f=7 TT=58.949 T1=58.91	OPTIMUM f=7 TT=58.949 T1=58.91	OPTIMUM f=7 TT=45.928 T1=31.69	OPTIMUM f=7 TT=47.45 T1=27.72	OPTIMUM f=7 TT=108.906 T1=108.17
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo	MOPT f=4 TT=20.467 T1=15.89	OPTIMUM f=4 TT=26.981 T1=26.89	MSAT (TO) f=36 TT=1800 T1=41.93	OPTIMUM f=4 TT=18.811 T1=17.29	OPTIMUM f=4 TT=20.467 T1=15.89
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo	MOPT f=13 TT=15.094 T1=11.68	OPTIMUM f=13 TT=15.094 T1=15.07	MSAT (TO) f=13 TT=1801.14 T1=1783.82	OPTIMUM f=13 TT=29.06 T1=26.27	OPTIMUM f=13 TT=28.78 T1=11.68
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo	MOPT f=1 TT=40.782 T1=40.68	OPTIMUM f=1 TT=40.782 T1=40.68	OPTIMUM f=1 TT=31.853 T1=27.11	OPTIMUM f=1 TT=20.481 T1=12.02	OPTIMUM f=1 TT=78.691 T1=78.64
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo	MOPT f=2 TT=55.965 T1=55.94	OPTIMUM f=2 TT=55.965 T1=55.94	OPTIMUM f=2 TT=86.832 T1=26.56	OPTIMUM f=2 TT=52.359 T1=12.2	OPTIMUM f=2 TT=243.814 T1=243.81
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-33-100-0.wbo	MOPT f=1 TT=63.834 T1=63.77	OPTIMUM f=1 TT=63.834 T1=63.77	OPTIMUM f=1 TT=37.328 T1=33.61	OPTIMUM f=1 TT=74.83 T1=5.83	OPTIMUM f=1 TT=222.736 T1=222.71
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo	MOPT f=1 TT=50.158 T1=50.13	OPTIMUM f=1 TT=50.158 T1=50.13	OPTIMUM f=1 TT=34.439 T1=30.13	OPTIMUM f=1 TT=17.71 T1=6.55	OPTIMUM f=1 TT=155.859 T1=155.84
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo	MOPT f=1 TT=89.072 T1=88.99	OPTIMUM f=1 TT=89.072 T1=88.99	OPTIMUM f=1 TT=73.005 T1=63.27	OPTIMUM f=1 TT=104.46 T1=13.75	OPTIMUM f=1 TT=997.699 T1=997.92
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo	MOPT f=1 TT=71.2 T1=71.17	OPTIMUM f=1 TT=71.2 T1=71.17	OPTIMUM f=1 TT=40.438 T1=27.6	OPTIMUM f=1 TT=83.13 T1=5.09	OPTIMUM f=1 TT=1012.42 T1=1012.81
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo	MOPT f=1 TT=29.692 T1=29.59	OPTIMUM f=1 TT=29.692 T1=29.59	MSAT (TO) f=20 TT=1800.07 T1=1654.26	OPTIMUM f=1 TT=17.651 T1=13.42	OPTIMUM f=1 TT=115.51 T1=115.46
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo	MOPT f=1 TT=20.554 T1=20.51	OPTIMUM f=1 TT=20.554 T1=20.51	OPTIMUM f=1 TT=18.84 T1=25.04	OPTIMUM f=1 TT=9.152 T1=6.66	OPTIMUM f=1 TT=45.812 T1=45.76
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo	MOPT f=1 TT=45.12 T1=45.04	OPTIMUM f=1 TT=45.12 T1=45.04	OPTIMUM f=1 TT=272.484 T1=262.27	OPTIMUM f=1 TT=20.322 T1=7.14	OPTIMUM f=1 TT=196.896 T1=196.88
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo	MOPT f=1 TT=38.448 T1=38.42	OPTIMUM f=1 TT=38.448 T1=38.42	OPTIMUM f=1 TT=21.471 T1=20.98	OPTIMUM f=1 TT=20.87 T1=7.79	OPTIMUM f=1 TT=262.459 T1=262.44
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo	MOPT f=1 TT=14.151 T1=14.09	OPTIMUM f=1 TT=19.164 T1=19.06	OPTIMUM f=1 TT=15.913 T1=24.74	OPTIMUM f=1 TT=8.603 T1=7.13	OPTIMUM f=1 TT=14.151 T1=14.09
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo	MOPT f=5 TT=13.341 T1=8.39	OPTIMUM f=5 TT=31.989 T1=31.95	OPTIMUM f=5 TT=18.632 T1=24.03	OPTIMUM f=5 TT=16.93 T1=14.72	OPTIMUM f=5 TT=13.341 T1=8.39
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo	MOPT f=1 TT=22.628 T1=22.56	OPTIMUM f=1 TT=30.802 T1=30.69	OPTIMUM f=1 TT=107.798 T1=114.64	OPTIMUM f=1 TT=13.672 T1=10.58	OPTIMUM f=1 TT=22.628 T1=22.56
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-66-100-0.wbo	MOPT f=3 TT=15.678 T1=8.39	OPTIMUM f=3 TT=20.132 T1=20.1	MSAT (TO) f=10 TT=1800.02 T1=32.09	OPTIMUM f=3 TT=9.703 T1=7.04	OPTIMUM f=3 TT=15.678 T1=8.39
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo	MOPT f=4 TT=9.261 T1=7.82	OPTIMUM f=4 TT=22.287 T1=22.16	OPTIMUM f=4 TT=78.281 T1=74.02	OPTIMUM f=4 TT=23.47 T1=22.05	OPTIMUM f=4 TT=9.261 T1=7.82
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo	MOPT f=19 TT=14.65 T1=14.61	OPTIMUM f=19 TT=14.65 T1=14.61	OPTIMUM f=19 TT=31.929 T1=28.51	OPTIMUM f=19 TT=18.641 T1=16.11	OPTIMUM f=19 TT=34.06 T1=19.68
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo	MOPT f=1 TT=31.439 T1=31.35	OPTIMUM f=1 TT=31.439 T1=31.35	MSAT (TO) f=18 TT=1800.47 T1=112.13	OPTIMUM f=1 TT=11.054 T1=5.45	OPTIMUM f=1 TT=68.01 T1=67.95
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo	MOPT f=1 TT=20.455 T1=20.42	OPTIMUM f=1 TT=20.455 T1=20.42	OPTIMUM f=1 TT=20.252 T1=25.57	OPTIMUM f=1 TT=11.63 T1=5.41	OPTIMUM f=1 TT=51.933 T1=51.89
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-33-100-0.wbo	MOPT f=1 TT=23.055 T1=22.96	OPTIMUM f=1 TT=23.055 T1=22.96	MSAT (TO) f=9 TT=1800 T1=1769.22	OPTIMUM f=1 TT=30.021 T1=23.52	OPTIMUM f=1 TT=83.678 T1=83.63
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo	MOPT f=6 TT=28.338 T1=28.31	OPTIMUM f=6 TT=28.338 T1=28.31	OPTIMUM f=6 TT=39.265 T1=35.55	OPTIMUM f=6 TT=29.92 T1=24.45	OPTIMUM f=6 TT=117.849 T1=112.94
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo	MOPT f=6 TT=24.148 T1=24.05	OPTIMUM f=6 TT=24.148 T1=24.05	MSAT (TO) f=12 TT=1800.74 T1=1773.42	OPTIMUM f=6 TT=31.46 T1=27.89	OPTIMUM f=6 TT=59.741 T1=35.98
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo	MOPT f=12 TT=15.221 T1=15.18	OPTIMUM f=12 TT=15.221 T1=15.18	OPTIMUM f=12 TT=56.744 T1=53.77	OPTIMUM f=12 TT=22.211 T1=18.63	OPTIMUM f=12 TT=35.075 T1=35.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo	MOPT f=1 TT=28.803 T1=28.74	OPTIMUM f=1 TT=29.039 T1=28.93	MSAT (TO) f=30 TT=1800.81 T1=1781.32	OPTIMUM f=1 TT=15.99 T1=13.52	OPTIMUM f=1 TT=28.803 T1=28.74
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo	MOPT f=2 TT=16.025 T1=15.99	OPTIMUM f=2 TT=16.025 T1=15.99	OPTIMUM f=2 TT=31.866 T1=34.07	OPTIMUM f=2 TT=15.532 T1=13.01	OPTIMUM f=2 TT=43.959 T1=39.32
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	MOPT f=1 TT=56.75 T1=56.67	OPTIMUM f=1 TT=56.75 T1=56.67	MSAT (TO) f=32 TT=1800.96 T1=1778.62	OPTIMUM f=1 TT=21.891 T1=5.85	OPTIMUM f=1 TT=673.26 T1=673.4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo	MOPT f=1 TT=54.185 T1=54.17	OPTIMUM f=1 TT=54.185 T1=54.17	OPTIMUM f=1 TT=41.907 T1=10.97	OPTIMUM f=1 TT=31.488 T1=17.59	OPTIMUM f=1 TT=556.455 T1=556.65
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo	MOPT f=3 TT=39.119 T1=35.75	OPTIMUM f=3 TT=39.119 T1=39.03	MSAT (TO) f=9 TT=1800.04 T1=1771.62	OPTIMUM f=3 TT=30.019 T1=24.94	OPTIMUM f=3 TT=52.159 T1=35.75
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo	MOPT f=13 TT=43.317 T1=15.87	OPTIMUM f=13 TT=43.317 T1=43.29	OPTIMUM f=13 TT=49.447 T1=30.56	OPTIMUM f=13 TT=17.261 T1=12.43	OPTIMUM f=13 TT=91.433 T1=15.87
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo	MOPT f=2 TT=19.814 T1=18.88	OPTIMUM f=2 TT=35.719 T1=35.63	MSAT (TO) f=31 TT=1800.03 T1=17.05	OPTIMUM f=2 TT=14.901 T1=13.42	OPTIMUM f=2 TT=19.814 T1=18.88
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo	MOPT f=7 TT=18.65 T1=18.62	OPTIMUM f=7 TT=18.65 T1=18.62	OPTIMUM f=7 TT=34.699 T1=35.17	OPTIMUM f=7 TT=25.67 T1=22.5	OPTIMUM f=7 TT=38.537 T1=33.69
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo	MOPT f=8 TT=89.019 T1=88.91	OPTIMUM f=8 TT=89.019 T1=88.91	OPTIMUM f=8 TT=124.645 T1=53.96	OPTIMUM f=8 TT=60.13 T1=27.04	OPTIMUM f=8 TT=268.249 T1=95.37
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo	MOPT f=12 TT=50.116 T1=50.09	OPTIMUM f=12 TT=50.116 T1=50.09	MSAT (TO) f=137 TT=1800.07 T1=1773.41	OPTIMUM f=12 TT=104.28 T1=86.11	OPTIMUM f=12 TT=332.043 T1=282.78
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo	MOPT f=8 TT=147.615 T1=147.54	OPTIMUM f=8 TT=147.615 T1=147.54	OPTIMUM f=8 TT=235.878 T1=173.81	OPTIMUM f=8 TT=82.75 T1=27	OPTIMUM f=8 TT=454.576 T1=454.72
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo	MOPT f=16 TT=84.319 T1=84.33	OPTIMUM f=16 TT=84.319 T1=84.33	OPTIMUM f=16 TT=151.14 T1=95.93	OPTIMUM f=16 TT=54.66 T1=48.3	OPTIMUM f=16 TT=232.549 T1=186.45
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo	MOPT f=1 TT=23.89 T1=23.83	OPTIMUM f=1 TT=23.89 T1=23.83	MSAT (TO) f=48 TT=1800.04 T1=23.15	OPTIMUM f=1 TT=15.262 T1=10.94	OPTIMUM f=1 TT=389.024 T1=389.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo	MOPT f=1 TT=21.274 T1=21.24	OPTIMUM f=1 TT=21.274 T1=21.24	OPTIMUM f=1 TT=25.04 T1=22.05	OPTIMUM f=1 TT=14.542 T1=7.72	OPTIMUM f=1 TT=50.995 T1=50.93
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo	MOPT f=1 TT=42.393 T1=42.29	OPTIMUM f=1 TT=42.393 T1=42.29	MSAT (TO) f=5 TT=1800.01 T1=1780.03	OPTIMUM f=1 TT=17.28 T1=13.78	OPTIMUM f=1 TT=108.778 T1=108.74
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo	MOPT f=2 TT=37.75 T1=37.71	OPTIMUM f=2 TT=37.75 T1=37.71	OPTIMUM f=2 TT=64.455 T1=38.26	OPTIMUM f=2 TT=53.65 T1=38.19	OPTIMUM f=2 TT=224.85 T1=224.84
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo	MOPT f=1 TT=35.066 T1=35.02	OPTIMUM f=1 TT=35.066 T1=35.02	OPTIMUM f=1 TT=28.049 T1=24.63	OPTIMUM f=1 TT=30.01 T1=25.8	OPTIMUM f=1 TT=49.537 T1=49.48
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo	MOPT f=1 TT=30.319 T1=30.26	OPTIMUM f=1 TT=33.029 T1=33	OPTIMUM f=1 TT=17.791 T1=17.49	OPTIMUM f=1 TT=18.031 T1=13.93	OPTIMUM f=1 TT=30.319 T1=30.26
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo	MOPT f=1 TT=40.932 T1=40.84	OPTIMUM f=1 TT=40.932 T1=40.84	OPTIMUM f=1 TT=22.442 T1=23.65	OPTIMUM f=1 TT=15.192 T1=11.19	OPTIMUM f=1 TT=141.902 T1=141.86
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-66-100-0.wbo	MOPT f=1 TT=26.83 T1=26.82	OPTIMUM f=1 TT=26.83 T1=26.82	OPTIMUM f=1 TT=22.621 T1=30.55	OPTIMUM f=1 TT=13.903 T1=10.77	OPTIMUM f=1 TT=228.676 T1=228.65
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo	MOPT f=1 TT=17.36 T1=17.31	OPTIMUM f=1 TT=17.36 T1=17.31	OPTIMUM f=1 TT=24.531 T1=26.67	OPTIMUM f=1 TT=14.111 T1=8.64	OPTIMUM f=1 TT=186.892 T1=186.86
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo	MOPT f=1 TT=17.832 T1=17.8	OPTIMUM f=1 TT=17.832 T1=17.8	OPTIMUM f=1 TT=24.511 T1=25.53	OPTIMUM f=1 TT=16.332 T1=9.23	OPTIMUM f=1 TT=38.225 T1=38.17
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-33-100-0.wbo	MOPT f=1 TT=23.816 T1=23.73	OPTIMUM f=1 TT=23.816 T1=23.73	MSAT (TO) f=9 TT=1800.09 T1=1776.72	OPTIMUM f=1 TT=12.872 T1=7.2	OPTIMUM f=1 TT=26.323 T1=26.27
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo	MOPT f=1 TT=14.283 T1=14.26	OPTIMUM f=1 TT=14.283 T1=14.26	OPTIMUM f=1 TT=25.74 T1=26.26	OPTIMUM f=1 TT=7.273 T1=6.03	OPTIMUM f=1 TT=16.331 T1=16.27
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo	MOPT f=1 TT=44.068 T1=43.97	OPTIMUM f=1 TT=44.068 T1=43.97	OPTIMUM f=1 TT=68.542 T1=25.16	OPTIMUM f=1 TT=11.701 T1=3.35	OPTIMUM f=1 TT=152.335 T1=152.3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo	MOPT f=1 TT=33.435 T1=33.4	OPTIMUM f=1 TT=33.435 T1=33.4	MSAT (TO) f=83 TT=1800.9 T1=1773.12	OPTIMUM f=1 TT=16.031 T1=10.83	OPTIMUM f=1 TT=67.547 T1=67.49
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo	MOPT f=2 TT=41.816 T1=41.75	OPTIMUM f=2 TT=41.816 T1=41.75	OPTIMUM f=2 TT=37.08 T1=37.7	OPTIMUM f=2 TT=15.842 T1=13.36	OPTIMUM f=2 TT=64.189 T1=61.63
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo	MOPT f=2 TT=30.18 T1=30.15	OPTIMUM f=2 TT=30.18 T1=30.15	OPTIMUM f=2 TT=32.1 T1=30.17	OPTIMUM f=2 TT=18.56 T1=15.36	OPTIMUM f=2 TT=49.574 T1=49.51
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo	MOPT f=1 TT=39.948 T1=39.91	OPTIMUM f=1 TT=39.948 T1=39.91	OPTIMUM f=1 TT=49.987 T1=37.27	OPTIMUM f=1 TT=90.54 T1=5.36	OPTIMUM f=1 TT=255.792 T1=255.77
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo	MOPT f=1 TT=41.27 T1=41.24	OPTIMUM f=1 TT=41.27 T1=41.24	OPTIMUM f=1 TT=25.382 T1=19.51	OPTIMUM f=1 TT=21.42 T1=9.26	OPTIMUM f=1 TT=312.009 T1=312.04
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo	MOPT f=1 TT=51.193 T1=51.11	OPTIMUM f=1 TT=51.193 T1=51.11	MSAT (TO) f=24 TT=1800.03 T1=1770.53	OPTIMUM f=1 TT=32.71 T1=4.44	OPTIMUM f=1 TT=336.999 T1=337.01
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-66-100-0.wbo	MOPT f=1 TT=44.847 T1=44.83	OPTIMUM f=1 TT=44.847 T1=44.83	OPTIMUM f=1 TT=48.294 T1=42.94	OPTIMUM f=1 TT=27.829 T1=15.76	OPTIMUM f=1 TT=214.676 T1=214.64
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo	MOPT f=1 TT=42.122 T1=42.05	OPTIMUM f=1 TT=42.122 T1=42.05	OPTIMUM f=1 TT=29.049 T1=22.19	OPTIMUM f=1 TT=15.021 T1=10.91	OPTIMUM f=1 TT=370.654 T1=370.64
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo	MOPT f=1 TT=35.288 T1=35.25	OPTIMUM f=1 TT=35.288 T1=35.25	MSAT (TO) f=52 TT=1800.04 T1=1781.47	OPTIMUM f=1 TT=24.28 T1=19.84	OPTIMUM f=1 TT=116.187 T1=116.14
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo	MOPT f=1 TT=51.332 T1=51.24	OPTIMUM f=1 TT=51.332 T1=51.24	OPTIMUM f=1 TT=18.15 T1=22.15	OPTIMUM f=1 TT=26.86 T1=17.55	OPTIMUM f=1 TT=99.135 T1=99.06
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo	MOPT f=1 TT=45.601 T1=45.56	OPTIMUM f=1 TT=45.601 T1=45.56	OPTIMUM f=1 TT=36.948 T1=27.48	OPTIMUM f=1 TT=17.813 T1=10.33	OPTIMUM f=1 TT=67.226 T1=67.18
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo	MOPT f=1 TT=56.77 T1=56.7	OPTIMUM f=1 TT=56.77 T1=56.7	MSAT (TO) f=17 TT=1800.03 T1=18.01	OPTIMUM f=1 TT=19.401 T1=10.07	OPTIMUM f=1 TT=421.106 T1=421.12
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo	MOPT f=1 TT=39.939 T1=39.92	OPTIMUM f=1 TT=39.939 T1=39.92	OPTIMUM f=1 TT=30.929 T1=28.11	OPTIMUM f=1 TT=34.54 T1=25.04	OPTIMUM f=1 TT=117.899 T1=117.87
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-33-100-0.wbo	MOPT f=1 TT=86.546 T1=86.44	OPTIMUM f=1 TT=86.546 T1=86.44	OPTIMUM f=1 TT=56.895 T1=41.41	OPTIMUM f=1 TT=27.47 T1=12.36	OPTIMUM f=1 TT=251.853 T1=251.84
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo	MOPT f=1 TT=70.38 T1=70.37	OPTIMUM f=1 TT=70.38 T1=70.37	MSAT (TO) f=42 TT=1800.72 T1=1780.12	OPTIMUM f=1 TT=28.16 T1=21.96	OPTIMUM f=1 TT=145.187 T1=145.14
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo	MOPT f=10 TT=61.487 T1=61.44	OPTIMUM f=10 TT=61.487 T1=61.44	OPTIMUM f=10 TT=66.813 T1=50.71	OPTIMUM f=10 TT=40.688 T1=34.46	OPTIMUM f=10 TT=146.664 T1=84.48
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo	MOPT f=12 TT=75.694 T1=75.67	OPTIMUM f=12 TT=75.694 T1=75.67	OPTIMUM f=12 TT=88.811 T1=60.4	OPTIMUM f=12 TT=39.21 T1=33.13	OPTIMUM f=12 TT=258.536 T1=221.82
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo	MOPT f=1 TT=33.045 T1=32.99	OPTIMUM f=1 TT=37.762 T1=37.64	MSAT (TO) f=2 TT=1800.06 T1=1773.72	OPTIMUM f=1 TT=21.87 T1=19.39	OPTIMUM f=1 TT=33.045 T1=32.99
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo	MOPT f=3 TT=31.782 T1=31.51	OPTIMUM f=3 TT=38.897 T1=38.88	OPTIMUM f=3 TT=22.831 T1=27.56	OPTIMUM f=3 TT=19.411 T1=17.44	OPTIMUM f=3 TT=31.782 T1=31.51
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo	MOPT f=1 TT=61.996 T1=61.89	OPTIMUM f=1 TT=61.996 T1=61.89	MSAT (TO) f=18 TT=1800.06 T1=1582.89	OPTIMUM f=1 TT=42.88 T1=8.68	OPTIMUM f=1 TT=913.945 T1=914.14
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo	MOPT f=1 TT=46.338 T1=46.3	OPTIMUM f=1 TT=46.338 T1=46.3	OPTIMUM f=1 TT=20.022 T1=17.47	OPTIMUM f=1 TT=28.28 T1=11.55	OPTIMUM f=1 TT=335.424 T1=335.46
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo	MOPT f=1 TT=40.88 T1=40.79	OPTIMUM f=1 TT=40.88 T1=40.79	OPTIMUM f=1 TT=26.301 T1=28.51	OPTIMUM f=1 TT=15.301 T1=10.88	OPTIMUM f=1 TT=48.607 T1=48.55
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo	MOPT f=1 TT=18.958 T1=18.9	OPTIMUM f=1 TT=33.414 T1=33.38	OPTIMUM f=1 TT=14.772 T1=27.07	OPTIMUM f=1 TT=20.071 T1=11.27	OPTIMUM f=1 TT=18.958 T1=18.9
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo	MOPT f=2 TT=27.323 T1=27.22	OPTIMUM f=2 TT=27.323 T1=27.22	OPTIMUM f=2 TT=57.605 T1=62.37	OPTIMUM f=2 TT=18.651 T1=15.62	OPTIMUM f=2 TT=32.94 T1=32.89
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo	MOPT f=2 TT=43.588 T1=26.05	OPTIMUM f=2 TT=43.588 T1=43.56	OPTIMUM f=2 TT=42.168 T1=26.56	OPTIMUM f=2 TT=33.02 T1=20.33	OPTIMUM f=2 TT=68.298 T1=26.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo	MOPT f=1 TT=80.642 T1=80.54	OPTIMUM f=1 TT=80.642 T1=80.54	OPTIMUM f=1 TT=25.709 T1=28.7	OPTIMUM f=1 TT=19.841 T1=15.87	OPTIMUM f=1 TT=242.465 T1=242.43
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo	MOPT f=2 TT=111.329 T1=111.31	OPTIMUM f=2 TT=111.329 T1=111.31	OPTIMUM f=2 TT=46.595 T1=37.56	OPTIMUM f=2 TT=101.628 T1=74.23	OPTIMUM f=2 TT=140.284 T1=113.63
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo	MOPT f=2 TT=18.902 T1=12.14	OPTIMUM f=2 TT=26.233 T1=26.12	MSAT (TO) f=48 TT=1800.85 T1=25.63	OPTIMUM f=2 TT=14.963 T1=12.22	OPTIMUM f=2 TT=18.902 T1=12.14
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo	MOPT f=1 TT=5.771 T1=5.71	OPTIMUM f=1 TT=11.734 T1=11.7	OPTIMUM f=1 TT=16.691 T1=32.09	OPTIMUM f=1 TT=9.931 T1=8.17	OPTIMUM f=1 TT=5.771 T1=5.71
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo	MOPT f=1 TT=1.208 T1=1.2	OPTIMUM f=1 TT=1.208 T1=1.2	OPTIMUM f=1 TT=3.922 T1=1.18	OPTIMUM f=1 TT=6.302 T1=4.41	OPTIMUM f=1 TT=10.632 T1=10.57
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo	MOPT f=51 TT=3.896 T1=3.89	OPTIMUM f=51 TT=3.896 T1=3.89	OPTIMUM f=51 TT=21.792 T1=23.57	OPTIMUM f=51 TT=11.272 T1=7.39	OPTIMUM f=51 TT=29.311 T1=17.15
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo	MOPT f=2 TT=4.196 T1=4.19	OPTIMUM f=2 TT=4.196 T1=4.19	MSAT (TO) f=2 TT=1800.04 T1=27.77	OPTIMUM f=2 TT=12.593 T1=10.78	OPTIMUM f=2 TT=16.079 T1=13.7
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo	MOPT f=19 TT=3.922 T1=3.93	OPTIMUM f=19 TT=3.922 T1=3.93	OPTIMUM f=19 TT=18.221 T1=26.39	OPTIMUM f=19 TT=7.992 T1=6.67	OPTIMUM f=19 TT=22.174 T1=14.06
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo	MOPT f=2 TT=6.907 T1=6.9	OPTIMUM f=2 TT=6.907 T1=6.9	OPTIMUM f=2 TT=21.061 T1=28.77	OPTIMUM f=2 TT=11.34 T1=5.12	OPTIMUM f=2 TT=33.161 T1=23.64
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-66-100-0.wbo	MOPT f=1 TT=4.667 T1=4.66	OPTIMUM f=1 TT=4.667 T1=4.66	OPTIMUM f=1 TT=15.293 T1=26.24	OPTIMUM f=1 TT=6.503 T1=2.56	OPTIMUM f=1 TT=21.22 T1=21.16
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo	MOPT f=8 TT=12.413 T1=12.41	OPTIMUM f=8 TT=12.413 T1=12.41	OPTIMUM f=8 TT=86.191 T1=93.95	OPTIMUM f=8 TT=9.942 T1=7.28	OPTIMUM f=8 TT=38.443 T1=38.4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-66-100-0.wbo	MOPT f=14 TT=8.644 T1=8.64	OPTIMUM f=14 TT=8.644 T1=8.64	OPTIMUM f=14 TT=25.91 T1=38.85	OPTIMUM f=14 TT=10.074 T1=6.96	OPTIMUM f=14 TT=31.243 T1=31.18
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo	MOPT f=4 TT=2.741 T1=2.74	OPTIMUM f=4 TT=2.741 T1=2.74	OPTIMUM f=4 TT=29.68 T1=50.31	OPTIMUM f=4 TT=7.772 T1=6.15	OPTIMUM f=4 TT=17.234 T1=14.37
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-66-100-0.wbo	MOPT f=80 TT=9.132 T1=6.41	OPTIMUM f=80 TT=9.132 T1=9.13	OPTIMUM f=80 TT=12.06 T1=28.74	OPTIMUM f=80 TT=6.183 T1=4.76	OPTIMUM f=80 TT=27.657 T1=6.41
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo	MOPT f=23 TT=10.147 T1=10.14	OPTIMUM f=23 TT=10.147 T1=10.14	OPTIMUM f=23 TT=25.12 T1=41.77	OPTIMUM f=23 TT=8.722 T1=4.55	OPTIMUM f=23 TT=51.883 T1=38.83
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo	MOPT f=17 TT=7.077 T1=7.07	OPTIMUM f=17 TT=7.077 T1=7.07	OPTIMUM f=17 TT=15.142 T1=31.74	OPTIMUM f=17 TT=10.551 T1=9.09	OPTIMUM f=17 TT=23.861 T1=23.8
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo	MOPT f=8 TT=12.553 T1=12.55	OPTIMUM f=8 TT=12.553 T1=12.55	OPTIMUM f=8 TT=29.61 T1=43.41	OPTIMUM f=8 TT=12.823 T1=8.88	OPTIMUM f=8 TT=36.416 T1=31.06
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-66-100-0.wbo	MOPT f=19 TT=8.993 T1=8.99	OPTIMUM f=19 TT=8.993 T1=8.99	OPTIMUM f=19 TT=25.63 T1=57.81	OPTIMUM f=19 TT=8.722 T1=6.51	OPTIMUM f=19 TT=36.041 T1=30.29
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-33-100-0.wbo	MOPT f=2 TT=4.037 T1=4.03	OPTIMUM f=2 TT=4.037 T1=4.03	OPTIMUM f=2 TT=17.631 T1=54.39	OPTIMUM f=2 TT=8.233 T1=6.14	OPTIMUM f=2 TT=22.164 T1=16.7
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo	MOPT f=80 TT=21.836 T1=6.69	OPTIMUM f=80 TT=21.836 T1=21.84	OPTIMUM f=80 TT=17.611 T1=21.72	OPTIMUM f=80 TT=9.453 T1=5.07	OPTIMUM f=80 TT=38.468 T1=6.69
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo	MOPT f=14 TT=10.655 T1=10.65	OPTIMUM f=14 TT=10.655 T1=10.65	OPTIMUM f=14 TT=28.171 T1=35.83	OPTIMUM f=14 TT=10.182 T1=7.31	OPTIMUM f=14 TT=44.919 T1=11.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo	MOPT f=49 TT=16.2 T1=12.46	OPTIMUM f=49 TT=16.2 T1=16.2	OPTIMUM f=49 TT=29.72 T1=40.15	OPTIMUM f=49 TT=15.991 T1=14.49	OPTIMUM f=49 TT=62.294 T1=12.46
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo	MOPT f=12 TT=11.75 T1=11.74	OPTIMUM f=12 TT=11.75 T1=11.74	OPTIMUM f=12 TT=35.521 T1=54.85	OPTIMUM f=12 TT=13.532 T1=11.24	OPTIMUM f=12 TT=43.789 T1=43.74
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo	MOPT f=58 TT=13.792 T1=13.79	OPTIMUM f=58 TT=13.792 T1=13.79	OPTIMUM f=58 TT=36.06 T1=46.06	OPTIMUM f=58 TT=19.85 T1=18.19	OPTIMUM f=58 TT=54.209 T1=42.79
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo	MOPT f=8 TT=13.103 T1=13.1	OPTIMUM f=8 TT=13.103 T1=13.1	OPTIMUM f=8 TT=65.776 T1=78.81	OPTIMUM f=8 TT=17.011 T1=12.84	OPTIMUM f=8 TT=45.26 T1=28.39
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo	MOPT f=22 TT=14.606 T1=14.6	OPTIMUM f=22 TT=14.606 T1=14.6	OPTIMUM f=22 TT=36.908 T1=47.59	OPTIMUM f=22 TT=15.832 T1=14.08	OPTIMUM f=22 TT=61.181 T1=34.91
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo	MOPT f=10 TT=4.892 T1=4.89	OPTIMUM f=10 TT=4.892 T1=4.89	OPTIMUM f=10 TT=16.641 T1=25.15	OPTIMUM f=10 TT=7.983 T1=6.29	OPTIMUM f=10 TT=25.485 T1=20.15
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo	MOPT f=80 TT=19.919 T1=12.17	OPTIMUM f=80 TT=19.919 T1=19.92	OPTIMUM f=80 TT=20.462 T1=31.75	OPTIMUM f=80 TT=11.121 T1=7.18	OPTIMUM f=80 TT=49.544 T1=12.17
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo	MOPT f=19 TT=10.115 T1=9.4	OPTIMUM f=19 TT=10.115 T1=10.11	OPTIMUM f=19 TT=26.541 T1=41.82	OPTIMUM f=19 TT=13.472 T1=10.29	OPTIMUM f=19 TT=49.996 T1=9.4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-66-100-0.wbo	MOPT f=73 TT=15.988 T1=15.98	OPTIMUM f=73 TT=15.988 T1=15.98	OPTIMUM f=73 TT=25.839 T1=37.75	OPTIMUM f=73 TT=17.65 T1=10.37	OPTIMUM f=73 TT=67.589 T1=37.98
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo	MOPT f=25 TT=12.187 T1=12.18	OPTIMUM f=25 TT=12.187 T1=12.18	OPTIMUM f=25 TT=268.723 T1=150.14	OPTIMUM f=25 TT=20.07 T1=18.42	OPTIMUM f=25 TT=31.888 T1=25.95
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo	MOPT f=59 TT=18.486 T1=18.48	OPTIMUM f=59 TT=18.486 T1=18.48	OPTIMUM f=59 TT=28.749 T1=30.25	OPTIMUM f=59 TT=15.173 T1=12.36	OPTIMUM f=59 TT=70.991 T1=63.67
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-33-100-0.wbo	MOPT f=2 TT=4.82 T1=4.82	OPTIMUM f=2 TT=4.82 T1=4.82	OPTIMUM f=2 TT=16.082 T1=42.33	OPTIMUM f=2 TT=7.933 T1=5.88	OPTIMUM f=2 TT=19.068 T1=15.3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-66-100-0.wbo	MOPT f=80 TT=17.38 T1=7.26	OPTIMUM f=80 TT=17.38 T1=17.38	OPTIMUM f=80 TT=26.21 T1=40.76	OPTIMUM f=80 TT=13.962 T1=7.81	OPTIMUM f=80 TT=57.571 T1=7.26
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-33-100-0.wbo	MOPT f=2 TT=2.476 T1=2.47	OPTIMUM f=2 TT=2.476 T1=2.47	OPTIMUM f=2 TT=22.39 T1=40.62	OPTIMUM f=2 TT=7.672 T1=6.21	OPTIMUM f=2 TT=18.851 T1=13.52
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo	MOPT f=66 TT=5.04 T1=5.04	OPTIMUM f=66 TT=5.04 T1=5.04	OPTIMUM f=66 TT=38.867 T1=35.69	OPTIMUM f=66 TT=15.383 T1=13.66	OPTIMUM f=66 TT=39.353 T1=33.78
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo	MOPT f=6 TT=4.701 T1=4.7	OPTIMUM f=6 TT=4.701 T1=4.7	OPTIMUM f=6 TT=1139.58 T1=1151.81	OPTIMUM f=6 TT=16.851 T1=14.99	OPTIMUM f=6 TT=36.927 T1=30.97
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-66-100-0.wbo	MOPT f=39 TT=13.592 T1=13.59	OPTIMUM f=39 TT=13.592 T1=13.59	OPTIMUM f=39 TT=48.447 T1=59.11	OPTIMUM f=39 TT=25.339 T1=23.88	OPTIMUM f=39 TT=60.158 T1=38.76
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo	MOPT f=15 TT=11.388 T1=11.39	OPTIMUM f=15 TT=11.388 T1=11.39	OPTIMUM f=15 TT=49.547 T1=69.97	OPTIMUM f=15 TT=19.111 T1=17.45	OPTIMUM f=15 TT=64.826 T1=54.99
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-66-100-0.wbo	MOPT f=69 TT=22.404 T1=22.4	OPTIMUM f=69 TT=22.404 T1=22.4	OPTIMUM f=69 TT=27.549 T1=25.63	OPTIMUM f=69 TT=12.591 T1=9.58	OPTIMUM f=69 TT=57.344 T1=33.1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo	MOPT f=2 TT=2.522 T1=2.52	OPTIMUM f=2 TT=2.522 T1=2.52	OPTIMUM f=2 TT=13.691 T1=35.27	OPTIMUM f=2 TT=5.893 T1=4.96	OPTIMUM f=2 TT=12.947 T1=12.89
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-66-100-0.wbo	MOPT f=80 TT=16.844 T1=9.35	OPTIMUM f=80 TT=16.844 T1=16.84	MSAT (TO) f=80 TT=1800.06 T1=34.89	OPTIMUM f=80 TT=10.943 T1=9.57	OPTIMUM f=80 TT=40.707 T1=9.35
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-33-100-0.wbo	MOPT f=8 TT=6.743 T1=6.74	OPTIMUM f=8 TT=6.743 T1=6.74	MSAT (TO) f=8 TT=1800.09 T1=1810.22	OPTIMUM f=8 TT=9.482 T1=6.12	OPTIMUM f=8 TT=29.841 T1=26.71
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-66-100-0.wbo	MOPT f=22 TT=7.876 T1=7.87	OPTIMUM f=22 TT=7.876 T1=7.87	MSAT (TO) f=22 TT=1800.8 T1=47.48	OPTIMUM f=22 TT=12.541 T1=11	OPTIMUM f=22 TT=44.457 T1=39.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-33-100-0.wbo	MOPT f=2 TT=5.301 T1=5.3	OPTIMUM f=2 TT=5.301 T1=5.3	OPTIMUM f=2 TT=13.461 T1=34.3	OPTIMUM f=2 TT=8.938 T1=4.94	OPTIMUM f=2 TT=26.279 T1=17.28
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-66-100-0.wbo	MOPT f=23 TT=6.403 T1=6.4	OPTIMUM f=23 TT=6.403 T1=6.4	MSAT (TO) f=23 TT=1800.09 T1=48.54	OPTIMUM f=23 TT=13.413 T1=11.71	OPTIMUM f=23 TT=29.285 T1=24.47
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo	MOPT f=29 TT=13.069 T1=8.18	OPTIMUM f=29 TT=13.069 T1=13.07	OPTIMUM f=29 TT=21.802 T1=40.27	OPTIMUM f=29 TT=9.622 T1=5.97	OPTIMUM f=29 TT=33.267 T1=8.18
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-66-100-0.wbo	MOPT f=207 TT=11.019 T1=11.02	OPTIMUM f=207 TT=11.019 T1=11.02	OPTIMUM f=207 TT=13.221 T1=28.73	OPTIMUM f=207 TT=7.283 T1=5.59	OPTIMUM f=207 TT=59.621 T1=52.67
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo	MOPT f=24 TT=9.667 T1=9.66	OPTIMUM f=24 TT=9.667 T1=9.66	OPTIMUM f=24 TT=35.297 T1=45.82	OPTIMUM f=24 TT=10.502 T1=8.13	OPTIMUM f=24 TT=18.797 T1=18.74
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo	MOPT f=18 TT=3.673 T1=3.67	OPTIMUM f=18 TT=3.673 T1=3.67	OPTIMUM f=18 TT=13.824 T1=22.73	OPTIMUM f=18 TT=5.193 T1=3.09	OPTIMUM f=18 TT=23.711 T1=13.65
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-33-100-0.wbo	MOPT f=2 TT=6.659 T1=6.65	OPTIMUM f=2 TT=6.659 T1=6.65	OPTIMUM f=2 TT=26.019 T1=27.02	OPTIMUM f=2 TT=10.794 T1=6.31	OPTIMUM f=2 TT=28.566 T1=19.17
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo	MOPT f=23 TT=27.441 T1=26.01	OPTIMUM f=23 TT=27.441 T1=27.44	OPTIMUM f=23 TT=41.668 T1=57.46	OPTIMUM f=23 TT=25.4 T1=24.14	OPTIMUM f=23 TT=63.487 T1=26.01
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-33-100-0.wbo	MOPT f=8 TT=3.443 T1=3.44	OPTIMUM f=8 TT=3.443 T1=3.44	OPTIMUM f=8 TT=12.902 T1=32.31	OPTIMUM f=8 TT=5.224 T1=3.95	OPTIMUM f=8 TT=18.416 T1=18.36
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-66-100-0.wbo	MOPT f=80 TT=15.292 T1=14.19	OPTIMUM f=80 TT=15.292 T1=15.29	OPTIMUM f=80 TT=18.271 T1=31.3	OPTIMUM f=80 TT=8.613 T1=7.47	OPTIMUM f=80 TT=58.415 T1=14.19
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo	MOPT f=4 TT=10.097 T1=10.09	OPTIMUM f=4 TT=10.097 T1=10.09	OPTIMUM f=4 TT=17.551 T1=22.74	OPTIMUM f=4 TT=7.273 T1=4.65	OPTIMUM f=4 TT=46.413 T1=40.04
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo	MOPT f=78 TT=22.773 T1=22.77	OPTIMUM f=78 TT=22.773 T1=22.77	OPTIMUM f=78 TT=25.069 T1=45.3	OPTIMUM f=78 TT=12.042 T1=10.4	OPTIMUM f=78 TT=74.216 T1=67.64
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo	MOPT f=2 TT=9.423 T1=9.42	OPTIMUM f=2 TT=9.423 T1=9.42	OPTIMUM f=2 TT=21.54 T1=41.82	OPTIMUM f=2 TT=7.032 T1=4.55	OPTIMUM f=2 TT=22.383 T1=22.33
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-66-100-0.wbo	MOPT f=68 TT=30.673 T1=30.67	OPTIMUM f=68 TT=30.673 T1=30.67	OPTIMUM f=68 TT=56.027 T1=56.76	OPTIMUM f=68 TT=22.321 T1=21.29	OPTIMUM f=68 TT=128.005 T1=36.14
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo	MOPT f=8 TT=11.485 T1=11.49	OPTIMUM f=8 TT=11.485 T1=11.49	OPTIMUM f=8 TT=25.538 T1=45.08	OPTIMUM f=8 TT=11.841 T1=9.73	OPTIMUM f=8 TT=38.655 T1=22.49
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo	MOPT f=22 TT=9.056 T1=9.05	OPTIMUM f=22 TT=9.056 T1=9.05	OPTIMUM f=22 TT=46.676 T1=62.64	OPTIMUM f=22 TT=23.71 T1=21.41	OPTIMUM f=22 TT=42.043 T1=22.3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo	MOPT f=27 TT=6.929 T1=6.93	OPTIMUM f=27 TT=6.929 T1=6.93	OPTIMUM f=27 TT=29.219 T1=39.95	OPTIMUM f=27 TT=17.592 T1=16.3	OPTIMUM f=27 TT=34.416 T1=21.95
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo	MOPT f=80 TT=14.548 T1=11.47	OPTIMUM f=80 TT=14.548 T1=14.54	MSAT (TO) f=80 TT=1800.02 T1=37.73	OPTIMUM f=80 TT=12.584 T1=10.49	OPTIMUM f=80 TT=52.799 T1=11.47
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-33-100-0.wbo	MOPT f=2 TT=5.898 T1=5.89	OPTIMUM f=2 TT=5.898 T1=5.89	OPTIMUM f=2 TT=22.002 T1=26.8	OPTIMUM f=2 TT=10.582 T1=7.32	OPTIMUM f=2 TT=22.331 T1=19.36
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo	MOPT f=17 TT=11.612 T1=11.61	OPTIMUM f=17 TT=11.612 T1=11.61	OPTIMUM f=17 TT=18.64 T1=31.32	OPTIMUM f=17 TT=6.822 T1=3.18	OPTIMUM f=17 TT=37.114 T1=29.49
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo	MOPT f=29 TT=17.89 T1=14.63	OPTIMUM f=29 TT=17.89 T1=17.89	OPTIMUM f=29 TT=25.993 T1=31.94	OPTIMUM f=29 TT=11.532 T1=5.96	OPTIMUM f=29 TT=62.518 T1=14.63
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo	MOPT f=63 TT=12.45 T1=12.45	OPTIMUM f=63 TT=12.45 T1=12.45	OPTIMUM f=63 TT=32.82 T1=40.75	OPTIMUM f=63 TT=10.114 T1=3.5	OPTIMUM f=63 TT=91.282 T1=31.74
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo	MOPT f=2 TT=5.042 T1=5.04	OPTIMUM f=2 TT=5.042 T1=5.04	OPTIMUM f=2 TT=24.251 T1=32.33	OPTIMUM f=2 TT=11.571 T1=8.19	OPTIMUM f=2 TT=20.739 T1=15.15
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-66-100-0.wbo	MOPT f=36 TT=11.524 T1=11.52	OPTIMUM f=36 TT=11.524 T1=11.52	MSAT (TO) f=36 TT=1800.07 T1=1814.41	OPTIMUM f=36 TT=10.892 T1=8.47	OPTIMUM f=36 TT=42.66 T1=14.3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo	MOPT f=1 TT=5.928 T1=5.92	OPTIMUM f=1 TT=5.928 T1=5.92	OPTIMUM f=1 TT=25.009 T1=25.56	OPTIMUM f=1 TT=7.643 T1=7.01	OPTIMUM f=1 TT=28.029 T1=27.97
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-66-100-0.wbo	MOPT f=17 TT=15.035 T1=15.03	OPTIMUM f=17 TT=15.035 T1=15.03	OPTIMUM f=17 TT=26.8 T1=40.35	OPTIMUM f=17 TT=9.106 T1=7.12	OPTIMUM f=17 TT=26.435 T1=17.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo	MOPT f=8 TT=12.863 T1=12.86	OPTIMUM f=8 TT=12.863 T1=12.86	OPTIMUM f=8 TT=31.509 T1=47.26	OPTIMUM f=8 TT=13.352 T1=9.32	OPTIMUM f=8 TT=51.934 T1=22.18
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo	MOPT f=22 TT=6.352 T1=6.35	OPTIMUM f=22 TT=6.352 T1=6.35	OPTIMUM f=22 TT=17.851 T1=42.78	OPTIMUM f=22 TT=8.762 T1=7.08	OPTIMUM f=22 TT=43.448 T1=18.12
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo	MOPT f=29 TT=14.629 T1=9.99	OPTIMUM f=29 TT=14.629 T1=14.62	MSAT (TO) f=31 TT=1802.23 T1=1819.01	OPTIMUM f=29 TT=16.472 T1=14.95	OPTIMUM f=29 TT=30.677 T1=9.99
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo	MOPT f=80 TT=16.156 T1=8.04	OPTIMUM f=80 TT=16.156 T1=16.16	MSAT (TO) f=80 TT=1800.05 T1=34.23	OPTIMUM f=80 TT=7.584 T1=5.84	OPTIMUM f=80 TT=40.272 T1=8.04
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-33-100-0.wbo	MOPT f=2 TT=9.164 T1=9.16	OPTIMUM f=2 TT=9.164 T1=9.16	MSAT (TO) f=2 TT=1800.02 T1=1811.72	OPTIMUM f=2 TT=20.693 T1=19.14	OPTIMUM f=2 TT=30.358 T1=26.72
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo	MOPT f=14 TT=5.134 T1=5.13	OPTIMUM f=14 TT=5.134 T1=5.13	OPTIMUM f=14 TT=29.198 T1=52.01	OPTIMUM f=14 TT=12.581 T1=11.23	OPTIMUM f=14 TT=31.303 T1=30.49
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo	MOPT f=2 TT=3.583 T1=3.58	OPTIMUM f=2 TT=3.583 T1=3.58	MSAT (TO) f=2 TT=1800.08 T1=1818.82	OPTIMUM f=2 TT=8.783 T1=7.23	OPTIMUM f=2 TT=23.415 T1=17.68
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-66-100-0.wbo	MOPT f=6 TT=3.519 T1=3.52	OPTIMUM f=6 TT=3.519 T1=3.52	OPTIMUM f=6 TT=34.461 T1=47.57	OPTIMUM f=6 TT=9.573 T1=7.8	OPTIMUM f=6 TT=19.601 T1=17.39
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo	MOPT f=4 TT=7.86 T1=7.86	OPTIMUM f=4 TT=7.86 T1=7.86	MSAT (TO) f=4 TT=1800.06 T1=65.81	OPTIMUM f=4 TT=11.425 T1=8.76	OPTIMUM f=4 TT=32.141 T1=21.87
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo	MOPT f=18 TT=6.187 T1=6.18	OPTIMUM f=18 TT=6.187 T1=6.18	OPTIMUM f=18 TT=19.171 T1=37.24	OPTIMUM f=18 TT=10.971 T1=8.61	OPTIMUM f=18 TT=31.932 T1=29.66
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo	MOPT f=2 TT=2.747 T1=2.74	OPTIMUM f=2 TT=2.747 T1=2.74	OPTIMUM f=2 TT=14.792 T1=44.83	OPTIMUM f=2 TT=4.242 T1=3.53	OPTIMUM f=2 TT=25.888 T1=25.83
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo	MOPT f=14 TT=4.778 T1=4.77	OPTIMUM f=14 TT=4.778 T1=4.77	MSAT (TO) f=14 TT=1800.05 T1=36.14	OPTIMUM f=14 TT=15.953 T1=14.32	OPTIMUM f=14 TT=32.597 T1=26.25
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo	MOPT f=8 TT=7.143 T1=7.14	OPTIMUM f=8 TT=7.143 T1=7.14	OPTIMUM f=8 TT=24.432 T1=41.71	OPTIMUM f=8 TT=9.362 T1=6.76	OPTIMUM f=8 TT=37.397 T1=23.43
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo	MOPT f=22 TT=6.983 T1=6.98	OPTIMUM f=22 TT=6.983 T1=6.98	OPTIMUM f=22 TT=32.229 T1=34.98	OPTIMUM f=22 TT=11.341 T1=9.63	OPTIMUM f=22 TT=49.307 T1=41.52
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo	MOPT f=12 TT=8.937 T1=8.93	OPTIMUM f=12 TT=8.937 T1=8.93	MSAT (TO) f=16 TT=1800.01 T1=1813.31	OPTIMUM f=12 TT=12.412 T1=5.89	OPTIMUM f=12 TT=40.771 T1=15.34
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo	MOPT f=80 TT=18.29 T1=18.29	OPTIMUM f=80 TT=18.29 T1=18.29	OPTIMUM f=80 TT=18.111 T1=14	OPTIMUM f=80 TT=7.474 T1=6.36	OPTIMUM f=80 TT=47.404 T1=47.35
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-33-100-0.wbo	MOPT f=2 TT=7.333 T1=7.33	OPTIMUM f=2 TT=7.333 T1=7.33	MSAT (TO) f=8 TT=1800.15 T1=1817.92	OPTIMUM f=2 TT=11.693 T1=9.29	OPTIMUM f=2 TT=44.757 T1=36.13
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-66-100-0.wbo	MOPT f=9 TT=17.426 T1=17.42	OPTIMUM f=9 TT=17.426 T1=17.42	OPTIMUM f=9 TT=24.299 T1=36.82	OPTIMUM f=9 TT=9.332 T1=8.41	OPTIMUM f=9 TT=46.001 T1=39.79
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo	MOPT f=24 TT=11.222 T1=11.22	OPTIMUM f=24 TT=11.222 T1=11.22	OPTIMUM f=24 TT=36.109 T1=48.66	OPTIMUM f=24 TT=14.951 T1=13.36	OPTIMUM f=24 TT=60.498 T1=38.68
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo	MOPT f=80 TT=18.14 T1=17.42	OPTIMUM f=80 TT=18.14 T1=18.14	OPTIMUM f=80 TT=23.1 T1=30.04	OPTIMUM f=80 TT=12.142 T1=11.2	OPTIMUM f=80 TT=68.069 T1=17.42
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo	MOPT f=2 TT=3.824 T1=3.82	OPTIMUM f=2 TT=3.824 T1=3.82	OPTIMUM f=2 TT=21.49 T1=35.43	OPTIMUM f=2 TT=11.533 T1=9.84	OPTIMUM f=2 TT=19.246 T1=15.73
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo	MOPT f=19 TT=5.703 T1=5.7	OPTIMUM f=19 TT=5.703 T1=5.7	OPTIMUM f=19 TT=12.891 T1=22.37	OPTIMUM f=19 TT=6.723 T1=5.72	OPTIMUM f=19 TT=18.377 T1=17.33
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-33-100-0.wbo	MOPT f=9 TT=6.26 T1=6.26	OPTIMUM f=9 TT=6.26 T1=6.26	OPTIMUM f=9 TT=18.431 T1=39.82	OPTIMUM f=9 TT=11.374 T1=7.63	OPTIMUM f=9 TT=24.159 T1=8.35
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo	MOPT f=80 TT=30.636 T1=5.14	OPTIMUM f=80 TT=30.636 T1=30.63	OPTIMUM f=80 TT=21.981 T1=27.22	OPTIMUM f=80 TT=11.253 T1=7.96	OPTIMUM f=80 TT=42.84 T1=5.14
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-33-100-0.wbo	MOPT f=4 TT=5.168 T1=5.16	OPTIMUM f=4 TT=5.168 T1=5.16	OPTIMUM f=4 TT=21.882 T1=33.28	OPTIMUM f=4 TT=12.243 T1=10.48	OPTIMUM f=4 TT=24.541 T1=14.38
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo	MOPT f=1 TT=8.341 T1=8.34	OPTIMUM f=1 TT=8.341 T1=8.34	OPTIMUM f=1 TT=18.741 T1=27.38	OPTIMUM f=1 TT=10.792 T1=9.4	OPTIMUM f=1 TT=11.263 T1=11.2
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo	MOPT f=2 TT=3.902 T1=3.9	OPTIMUM f=2 TT=3.902 T1=3.9	OPTIMUM f=2 TT=16.316 T1=34.45	OPTIMUM f=2 TT=6.052 T1=3.98	OPTIMUM f=2 TT=25.541 T1=20.34
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-66-100-0.wbo	MOPT f=60 TT=7.439 T1=7.44	OPTIMUM f=60 TT=7.439 T1=7.44	OPTIMUM f=60 TT=14.992 T1=34.26	OPTIMUM f=60 TT=7.453 T1=6.07	OPTIMUM f=60 TT=37.139 T1=28.66
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	MOPT f=2 TT=3.39 T1=3.38	OPTIMUM f=2 TT=3.39 T1=3.38	OPTIMUM f=2 TT=14.383 T1=30.78	OPTIMUM f=2 TT=5.643 T1=4.07	OPTIMUM f=2 TT=19.937 T1=17.77
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-66-100-0.wbo	MOPT f=69 TT=9.878 T1=9.87	OPTIMUM f=69 TT=9.878 T1=9.87	OPTIMUM f=69 TT=15.562 T1=21.81	OPTIMUM f=69 TT=8.943 T1=6.28	OPTIMUM f=69 TT=39.794 T1=38.75
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo	MOPT f=28 TT=23.778 T1=23.78	OPTIMUM f=28 TT=23.778 T1=23.78	OPTIMUM f=28 TT=22.901 T1=24.25	OPTIMUM f=28 TT=10.015 T1=4.06	OPTIMUM f=28 TT=53.017 T1=52.96
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo	MOPT f=80 TT=32.994 T1=15.13	OPTIMUM f=80 TT=32.994 T1=32.99	OPTIMUM f=80 TT=22.861 T1=18.27	OPTIMUM f=80 TT=14.114 T1=12.85	OPTIMUM f=80 TT=70.495 T1=15.13
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo	MOPT f=2 TT=5.233 T1=5.23	OPTIMUM f=2 TT=5.233 T1=5.23	OPTIMUM f=2 TT=21.182 T1=41.83	OPTIMUM f=2 TT=8.503 T1=5.75	OPTIMUM f=2 TT=33.137 T1=25.25
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-66-100-0.wbo	MOPT f=23 TT=6.531 T1=6.53	OPTIMUM f=23 TT=6.531 T1=6.53	OPTIMUM f=23 TT=19.69 T1=36.06	OPTIMUM f=23 TT=10.263 T1=7.91	OPTIMUM f=23 TT=39.01 T1=28.65
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo	MOPT f=5 TT=6.43 T1=6.43	OPTIMUM f=5 TT=6.43 T1=6.43	OPTIMUM f=5 TT=14.952 T1=38.34	OPTIMUM f=5 TT=6.294 T1=2.06	OPTIMUM f=5 TT=34.081 T1=34.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo	MOPT f=22 TT=7.22 T1=7.22	OPTIMUM f=22 TT=7.22 T1=7.22	OPTIMUM f=22 TT=19.661 T1=23.75	OPTIMUM f=22 TT=7.574 T1=5.58	OPTIMUM f=22 TT=19.668 T1=12.66
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo	MOPT f=8 TT=9.048 T1=9.04	OPTIMUM f=8 TT=9.048 T1=9.04	OPTIMUM f=8 TT=48.586 T1=65.83	OPTIMUM f=8 TT=11.942 T1=9.5	OPTIMUM f=8 TT=26.701 T1=18.33
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo	MOPT f=78 TT=13.578 T1=13.57	OPTIMUM f=78 TT=13.578 T1=13.57	OPTIMUM f=78 TT=15.168 T1=21.71	OPTIMUM f=78 TT=6.354 T1=5.82	OPTIMUM f=78 TT=23.822 T1=17.84
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo	MOPT f=9 TT=16.838 T1=16.83	OPTIMUM f=9 TT=16.838 T1=16.83	OPTIMUM f=9 TT=20.44 T1=43.29	OPTIMUM f=9 TT=10.48 T1=6.82	OPTIMUM f=9 TT=39.443 T1=39.4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-66-100-0.wbo	MOPT f=80 TT=11.322 T1=11.32	OPTIMUM f=80 TT=11.322 T1=11.32	MSAT (TO) f=80 TT=1800 T1=33.29	OPTIMUM f=80 TT=10.41 T1=9.69	OPTIMUM f=80 TT=60.794 T1=18.87
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo	MOPT f=2 TT=6.005 T1=6	OPTIMUM f=2 TT=6.005 T1=6	OPTIMUM f=2 TT=20.901 T1=23.58	OPTIMUM f=2 TT=5.763 T1=3.39	OPTIMUM f=2 TT=26.052 T1=18.2
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo	MOPT f=19 TT=13 T1=13	OPTIMUM f=19 TT=13 T1=13	OPTIMUM f=19 TT=22.04 T1=27.6	OPTIMUM f=19 TT=9.332 T1=6.55	OPTIMUM f=19 TT=38.14 T1=29.64
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo	MOPT f=12 TT=10.274 T1=10.28	OPTIMUM f=12 TT=10.274 T1=10.28	MSAT (TO) f=12 TT=1800.02 T1=50.22	OPTIMUM f=12 TT=23.73 T1=22.08	OPTIMUM f=12 TT=39.928 T1=34.4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo	MOPT f=39 TT=17.751 T1=17.75	OPTIMUM f=39 TT=17.751 T1=17.75	OPTIMUM f=39 TT=55.257 T1=75.15	OPTIMUM f=39 TT=12.702 T1=11.01	OPTIMUM f=39 TT=54.851 T1=49.63
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo	MOPT f=15 TT=4.117 T1=4.11	OPTIMUM f=15 TT=4.117 T1=4.11	OPTIMUM f=15 TT=38.987 T1=65.71	OPTIMUM f=15 TT=20.54 T1=19.02	OPTIMUM f=15 TT=21.929 T1=17.79
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo	MOPT f=80 TT=6.633 T1=6.63	OPTIMUM f=80 TT=6.633 T1=6.63	MSAT (TO) f=80 TT=1801.11 T1=22.22	OPTIMUM f=80 TT=5.623 T1=4.07	OPTIMUM f=80 TT=28.103 T1=9.01
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo	MOPT f=8 TT=8.588 T1=8.58	OPTIMUM f=8 TT=8.588 T1=8.58	OPTIMUM f=8 TT=25.27 T1=46.92	OPTIMUM f=8 TT=11.282 T1=9.57	OPTIMUM f=8 TT=32.504 T1=31.98
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-66-100-0.wbo	MOPT f=22 TT=9.929 T1=9.93	OPTIMUM f=22 TT=9.929 T1=9.93	OPTIMUM f=22 TT=86.341 T1=91.38	OPTIMUM f=22 TT=11.281 T1=10.36	OPTIMUM f=22 TT=24.305 T1=16.27
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-33-100-0.wbo	MOPT f=2 TT=5.24 T1=5.23	OPTIMUM f=2 TT=5.24 T1=5.23	OPTIMUM f=2 TT=27.4 T1=47.49	OPTIMUM f=2 TT=12.131 T1=9.86	OPTIMUM f=2 TT=22.258 T1=18.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo	MOPT f=64 TT=10.044 T1=10.04	OPTIMUM f=64 TT=10.044 T1=10.04	OPTIMUM f=64 TT=22.362 T1=36.27	OPTIMUM f=64 TT=13.552 T1=11.33	OPTIMUM f=64 TT=50.661 T1=19.47
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-33-100-0.wbo	MOPT f=8 TT=7.269 T1=7.27	OPTIMUM f=8 TT=7.269 T1=7.27	OPTIMUM f=8 TT=16.411 T1=33.77	OPTIMUM f=8 TT=6.503 T1=2.61	OPTIMUM f=8 TT=33.37 T1=33.32
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-66-100-0.wbo	MOPT f=71 TT=36.578 T1=36.58	OPTIMUM f=71 TT=36.578 T1=36.58	OPTIMUM f=71 TT=38.277 T1=29.23	OPTIMUM f=71 TT=19.802 T1=18.25	OPTIMUM f=71 TT=78.289 T1=78.25
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo	MOPT f=2 TT=3.63 T1=3.62	OPTIMUM f=2 TT=3.63 T1=3.62	MSAT (TO) f=2 TT=1800.01 T1=50.68	OPTIMUM f=2 TT=19.97 T1=18.2	OPTIMUM f=2 TT=20.621 T1=19.71
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-66-100-0.wbo	MOPT f=35 TT=5.166 T1=5.16	OPTIMUM f=35 TT=5.166 T1=5.16	OPTIMUM f=35 TT=23.631 T1=39.57	OPTIMUM f=35 TT=7.482 T1=5.91	OPTIMUM f=35 TT=36.389 T1=17.44
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-33-100-0.wbo	MOPT f=1 TT=2.904 T1=2.93	OPTIMUM f=1 TT=2.904 T1=2.93	OPTIMUM f=1 TT=13.403 T1=26.88	OPTIMUM f=1 TT=6.172 T1=4.1	OPTIMUM f=1 TT=9.51 T1=9.45
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo	MOPT f=17 TT=4.789 T1=4.78	OPTIMUM f=17 TT=4.789 T1=4.78	OPTIMUM f=17 TT=14.371 T1=30.23	OPTIMUM f=17 TT=6.831 T1=5.2	OPTIMUM f=17 TT=20.5 T1=16.03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo	MOPT f=10 TT=8.348 T1=8.34	OPTIMUM f=10 TT=8.348 T1=8.34	OPTIMUM f=10 TT=45.967 T1=63.03	OPTIMUM f=10 TT=13.262 T1=11.68	OPTIMUM f=10 TT=32.022 T1=15.68
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-66-100-0.wbo	MOPT f=40 TT=6.86 T1=6.86	OPTIMUM f=40 TT=6.86 T1=6.86	OPTIMUM f=40 TT=14.233 T1=20.72	OPTIMUM f=40 TT=8.153 T1=6.07	OPTIMUM f=40 TT=27.585 T1=11.95
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo	MOPT f=15 TT=6.906 T1=6.9	OPTIMUM f=15 TT=6.906 T1=6.9	MSAT (TO) f=15 TT=1800.74 T1=1821.02	OPTIMUM f=15 TT=12.822 T1=11.36	OPTIMUM f=15 TT=23.702 T1=20.49
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo	MOPT f=19 TT=4.822 T1=4.82	OPTIMUM f=19 TT=4.822 T1=4.82	OPTIMUM f=19 TT=30.799 T1=49.78	OPTIMUM f=19 TT=14.161 T1=12.74	OPTIMUM f=19 TT=29.844 T1=16.88
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-33-100-0.wbo	MOPT f=2 TT=6.04 T1=6.04	OPTIMUM f=2 TT=6.04 T1=6.04	OPTIMUM f=2 TT=16.7 T1=27.39	OPTIMUM f=2 TT=7.563 T1=5.78	OPTIMUM f=2 TT=20.549 T1=20.49
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	MOPT f=66 TT=11.846 T1=11.84	OPTIMUM f=66 TT=11.846 T1=11.84	OPTIMUM f=66 TT=15.342 T1=17.77	OPTIMUM f=66 TT=9.623 T1=5.6	OPTIMUM f=66 TT=31.888 T1=25.25
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-33-100-0.wbo	MOPT f=2 TT=3.506 T1=3.5	OPTIMUM f=2 TT=3.506 T1=3.5	OPTIMUM f=2 TT=23.79 T1=36.93	OPTIMUM f=2 TT=10.852 T1=9.21	OPTIMUM f=2 TT=30.222 T1=25.26
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo	MOPT f=49 TT=10.775 T1=10.77	OPTIMUM f=49 TT=10.775 T1=10.77	OPTIMUM f=49 TT=18.939 T1=26.24	OPTIMUM f=49 TT=7.322 T1=6.01	OPTIMUM f=49 TT=27.597 T1=18.38
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-33-100-0.wbo	MOPT f=2 TT=1.541 T1=1.54	OPTIMUM f=2 TT=1.541 T1=1.54	OPTIMUM f=2 TT=14.972 T1=30.76	OPTIMUM f=2 TT=4.694 T1=3.57	OPTIMUM f=2 TT=15.859 T1=14.44
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-66-100-0.wbo	MOPT f=17 TT=2.707 T1=2.7	OPTIMUM f=17 TT=2.707 T1=2.7	MSAT (TO) f=17 TT=1801.45 T1=763.02	OPTIMUM f=17 TT=6.553 T1=4.62	OPTIMUM f=17 TT=10.944 T1=8.86
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo	MOPT f=11 TT=6.161 T1=6.16	OPTIMUM f=11 TT=6.161 T1=6.16	OPTIMUM f=11 TT=52.978 T1=70.72	OPTIMUM f=11 TT=14.314 T1=12.38	OPTIMUM f=11 TT=20.872 T1=20.83
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-66-100-0.wbo	MOPT f=80 TT=18.02 T1=18.02	OPTIMUM f=80 TT=18.02 T1=18.02	OPTIMUM f=80 TT=16.322 T1=11.7	OPTIMUM f=80 TT=11.832 T1=10.28	OPTIMUM f=80 TT=47.436 T1=24.88
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo	MOPT f=10 TT=9.31 T1=9.3	OPTIMUM f=10 TT=9.31 T1=9.3	OPTIMUM f=10 TT=866.981 T1=879.61	OPTIMUM f=10 TT=12.682 T1=10.52	OPTIMUM f=10 TT=63.767 T1=38.61
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-66-100-0.wbo	MOPT f=10 TT=6.265 T1=6.26	OPTIMUM f=10 TT=6.265 T1=6.26	MSAT (TO) f=10 TT=1800.31 T1=666.33	OPTIMUM f=10 TT=20.211 T1=18.55	OPTIMUM f=10 TT=34.514 T1=32.47
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo	MSAT f=1 TT=1800.06 T1=1800.4	MSAT (TO) f=1 TT=1800.06 T1=1800.4	OPTIMUM f=1 TT=23.931 T1=11.89	MSAT (TO) f=1 TT=1800.03 T1=273.2	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo	MSAT f=1 TT=1800.05 T1=1800.4	MSAT (TO) f=1 TT=1800.05 T1=1800.4	OPTIMUM f=1 TT=20.603 T1=10.9	MSAT (TO) f=3 TT=1800.82 T1=906.56	? (TO) TT=1800.13
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	MSAT f=3 TT=1800.13 T1=1800.4	MSAT (TO) f=3 TT=1800.13 T1=1800.4	OPTIMUM f=3 TT=2.842 T1=1.38	MSAT (TO) f=3 TT=1800.04 T1=1196.68	? (TO) TT=1800.19
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo	MSAT f=4 TT=1800.12 T1=1800.4	MSAT (TO) f=4 TT=1800.12 T1=1800.4	OPTIMUM f=4 TT=2.763 T1=1.35	MSAT (TO) f=4 TT=1800.08 T1=1059.02	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo	MOPT f=1 TT=0.362 T1=0.36	OPTIMUM f=1 TT=0.362 T1=0.36	OPTIMUM f=1 TT=0.325 T1=0.64	OPTIMUM f=1 TT=283.1 T1=0.32	OPTIMUM f=1 TT=604.2 T1=604.23
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo	MOPT f=1 TT=0.557 T1=0.55	OPTIMUM f=1 TT=0.557 T1=0.55	OPTIMUM f=1 TT=0.324 T1=0.63	OPTIMUM f=1 TT=79.03 T1=0.6	OPTIMUM f=1 TT=670.818 T1=670.86
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	MOPT f=2 TT=0.724 T1=0.72	OPTIMUM f=2 TT=0.724 T1=0.72	OPTIMUM f=2 TT=0.223 T1=1.14	OPTIMUM f=2 TT=978.21 T1=0.23	? (TO) TT=1800.01
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo	MOPT f=35 TT=0.487 T1=0.48	OPTIMUM f=35 TT=0.487 T1=0.48	OPTIMUM f=35 TT=0.263 T1=1.14	OPTIMUM f=35 TT=36.96 T1=0.24	? (TO) TT=1800.04
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo	MSAT f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.02 T1=1800.3	OPTIMUM f=1 TT=0.934 T1=0.68	MSAT (TO) f=1 TT=1800.01 T1=1.02	? (TO) TT=1800.03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo	MSAT f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.02 T1=1800.3	OPTIMUM f=1 TT=1.153 T1=0.66	MSAT (TO) f=1 TT=1800.03 T1=1.54	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo	MSAT f=9 TT=1800.02 T1=1800.3	MSAT (TO) f=9 TT=1800.02 T1=1800.3	OPTIMUM f=7 TT=0.435 T1=1.17	MSAT (TO) f=7 TT=1800.77 T1=2.05	? (TO) TT=1800.01
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo	MSAT f=7 TT=1800.02 T1=1800.3	MSAT (TO) f=7 TT=1800.02 T1=1800.3	OPTIMUM f=7 TT=0.365 T1=1.16	MSAT (TO) f=7 TT=1800.07 T1=0.29	? (TO) TT=1800.04
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo	MSAT f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.02 T1=1800.3	OPTIMUM f=1 TT=1.643 T1=0.69	MSAT (TO) f=1 TT=1800.05 T1=2.56	? (TO) TT=1800.06
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	MSAT f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.02 T1=1800.3	OPTIMUM f=1 TT=1.734 T1=0.69	MSAT (TO) f=1 TT=1800.97 T1=2.17	? (TO) TT=1800.1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo	MSAT f=14 TT=1800.02 T1=1800.3	MSAT (TO) f=14 TT=1800.02 T1=1800.3	OPTIMUM f=9 TT=1.174 T1=1.2	MSAT (TO) f=9 TT=1800.79 T1=0.89	? (TO) TT=1800.01
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo	MSAT f=23 TT=1800.02 T1=1800.3	MSAT (TO) f=23 TT=1800.02 T1=1800.3	MSAT (TO) f=23 TT=1800.08 T1=1.21	MSAT (TO) f=23 TT=1800.05 T1=0.39	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo	MSAT f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.02 T1=1800.3	OPTIMUM f=1 TT=2.155 T1=0.73	MSAT (TO) f=1 TT=1800 T1=9.11	? (TO) TT=1800.03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo	MSAT f=1 TT=1800.03 T1=1800.3	MSAT (TO) f=1 TT=1800.03 T1=1800.3	OPTIMUM f=1 TT=3.392 T1=2.22	MSAT (TO) f=1 TT=1800.94 T1=11.41	? (TO) TT=1800.06
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo	MSAT f=10 TT=1800.03 T1=1800.3	MSAT (TO) f=10 TT=1800.03 T1=1800.3	OPTIMUM f=10 TT=0.965 T1=1.23	MSAT (TO) f=10 TT=1800.02 T1=0.51	? (TO) TT=1800.1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo	MSAT f=24 TT=1800.02 T1=1800.3	MSAT (TO) f=24 TT=1800.02 T1=1800.3	OPTIMUM f=23 TT=0.885 T1=1.22	MSAT (TO) f=23 TT=1800.09 T1=1.29	? (TO) TT=1800.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo	MSAT f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.02 T1=1800.3	OPTIMUM f=1 TT=2.915 T1=1.77	MSAT (TO) f=1 TT=1800.92 T1=0.7	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo	MSAT f=1 TT=1800.03 T1=1800.3	MSAT (TO) f=1 TT=1800.03 T1=1800.3	OPTIMUM f=1 TT=2.663 T1=1.25	MSAT (TO) f=1 TT=1800.02 T1=2.21	? (TO) TT=1800.07
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo	MSAT f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.58 T1=1.27	MSAT (TO) f=1 TT=1800.75 T1=9.08	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo	MSAT f=9 TT=1800.11 T1=1800.4	MSAT (TO) f=9 TT=1800.11 T1=1800.4	OPTIMUM f=9 TT=1.274 T1=1.27	MSAT (TO) f=9 TT=1800 T1=2.76	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	MSAT f=1 TT=1800.03 T1=1800.3	MSAT (TO) f=1 TT=1800.03 T1=1800.3	MSAT (TO) f=1 TT=1800.05 T1=3.29	MSAT (TO) f=1 TT=1800.1 T1=236.52	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo	MSAT f=1 TT=1800.09 T1=1800.4	MSAT (TO) f=1 TT=1800.09 T1=1800.4	OPTIMUM f=1 TT=3.853 T1=1.78	MSAT (TO) f=1 TT=1800.09 T1=26.72	? (TO) TT=1800.03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo	MSAT f=1 TT=1800.12 T1=1800.4	MSAT (TO) f=1 TT=1800.12 T1=1800.4	MSAT (TO) f=1 TT=1800.87 T1=1.29	MSAT (TO) f=1 TT=1800.04 T1=54.54	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo	MSAT f=4 TT=1800.02 T1=1800.3	MSAT (TO) f=4 TT=1800.02 T1=1800.3	OPTIMUM f=4 TT=1.273 T1=1.3	MSAT (TO) f=4 TT=1800.02 T1=32.53	? (TO) TT=1800.03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo	MSAT f=1 TT=1800.02 T1=1800.3	MSAT (TO) f=1 TT=1800.02 T1=1800.3	OPTIMUM f=1 TT=5.925 T1=2.82	MSAT (TO) f=1 TT=1800.08 T1=1.36	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo	MSAT f=1 TT=1800.1 T1=1800.4	MSAT (TO) f=1 TT=1800.1 T1=1800.4	OPTIMUM f=1 TT=9.413 T1=5.35	MSAT (TO) f=1 TT=1800.04 T1=50.47	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo	MSAT f=7 TT=1800.1 T1=1800.4	MSAT (TO) f=7 TT=1800.1 T1=1800.4	OPTIMUM f=6 TT=1.783 T1=1.31	MSAT (TO) f=6 TT=1800.04 T1=202.01	? (TO) TT=1800.12
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo	MSAT f=1 TT=1800.1 T1=1800.4	MSAT (TO) f=1 TT=1800.1 T1=1800.4	OPTIMUM f=1 TT=1.734 T1=1.33	MSAT (TO) f=1 TT=1800.78 T1=30.49	? (TO) TT=1800.07
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo	MSAT f=1 TT=1800.04 T1=1800.4	MSAT (TO) f=1 TT=1800.04 T1=1800.4	OPTIMUM f=1 TT=12.181 T1=6.33	MSAT (TO) f=1 TT=1800.07 T1=539.47	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo	MSAT f=1 TT=1800.08 T1=1800.4	MSAT (TO) f=1 TT=1800.08 T1=1800.4	OPTIMUM f=1 TT=11.583 T1=5.82	MSAT (TO) f=1 TT=1800.05 T1=480.42	? (TO) TT=1800.12
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo	MSAT f=1 TT=1800.11 T1=1800.4	MSAT (TO) f=1 TT=1800.11 T1=1800.4	OPTIMUM f=1 TT=2.303 T1=0.83	MSAT (TO) f=22 TT=1800.99 T1=1389.18	? (TO) TT=1800.1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo	MSAT f=1 TT=1800.1 T1=1800.5	MSAT (TO) f=1 TT=1800.1 T1=1800.5	OPTIMUM f=1 TT=1.813 T1=1.33	MSAT (TO) f=1 TT=1800 T1=23.4	? (TO) TT=1800.02
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo	MSAT f=1 TT=1800.08 T1=1800.4	MSAT (TO) f=1 TT=1800.08 T1=1800.4	OPTIMUM f=1 TT=13.592 T1=6.35	MSAT (TO) f=2 TT=1800.87 T1=1455.99	? (TO) TT=1800.1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo	MSAT f=1 TT=1800.07 T1=1800.5	MSAT (TO) f=1 TT=1800.07 T1=1800.5	OPTIMUM f=1 TT=17.7 T1=8.84	MSAT (TO) f=4 TT=1800.07 T1=1515.62	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo	MSAT f=1 TT=1800.08 T1=1800.4	MSAT (TO) f=1 TT=1800.08 T1=1800.4	MSAT (TO) f=1 TT=1800.97 T1=0.86	MSAT (TO) f=1 TT=1800.09 T1=11.59	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo	MSAT f=2 TT=1800.05 T1=1800.4	MSAT (TO) f=2 TT=1800.05 T1=1800.4	OPTIMUM f=2 TT=2.023 T1=1.34	MSAT (TO) f=2 TT=1800.74 T1=829.69	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	MOPT f=1 TT=2.258 T1=2.22	OPTIMUM f=1 TT=166.983 T1=166.2	OPTIMUM f=1 TT=7.293 T1=7.57	OPTIMUM f=1 TT=2.785 T1=1.14	OPTIMUM f=1 TT=2.258 T1=2.22
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-22s.smv--soft-66-100-0.wbo	MOPT f=1 TT=1.832 T1=1.79	OPTIMUM f=1 TT=80.955 T1=80.63	OPTIMUM f=1 TT=3.823 T1=1.39	OPTIMUM f=1 TT=1.844 T1=0.72	OPTIMUM f=1 TT=1.832 T1=1.79
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-25s.smv--soft-33-100-0.wbo	MOPT f=2 TT=1.816 T1=1.83	OPTIMUM f=2 TT=119.153 T1=118.55	OPTIMUM f=2 TT=6.022 T1=2.42	OPTIMUM f=2 TT=2.614 T1=1	OPTIMUM f=2 TT=1.816 T1=1.83
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-25s.smv--soft-66-100-0.wbo	MOPT f=1 TT=1.421 T1=1.37	OPTIMUM f=1 TT=35.701 T1=35.54	OPTIMUM f=1 TT=4.183 T1=2.35	OPTIMUM f=1 TT=1.994 T1=0.79	OPTIMUM f=1 TT=1.421 T1=1.37
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-37s.smv--soft-33-100-0.wbo	MOPT f=1 TT=0.669 T1=0.65	OPTIMUM f=1 TT=12.538 T1=12.45	OPTIMUM f=1 TT=2.035 T1=1.89	OPTIMUM f=1 TT=1.435 T1=0.59	OPTIMUM f=1 TT=0.669 T1=0.65
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-37s.smv--soft-66-100-0.wbo	MOPT f=1 TT=0.433 T1=0.41	OPTIMUM f=1 TT=3.159 T1=3.13	OPTIMUM f=1 TT=3.584 T1=1.88	OPTIMUM f=1 TT=1.014 T1=0.41	OPTIMUM f=1 TT=0.433 T1=0.41
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-43s.smv--soft-33-100-0.wbo	MOPT f=1 TT=2.568 T1=2.54	OPTIMUM f=1 TT=55.508 T1=55.22	OPTIMUM f=1 TT=6.004 T1=3.41	OPTIMUM f=1 TT=2.503 T1=0.88	OPTIMUM f=1 TT=2.568 T1=2.54
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-43s.smv--soft-66-100-0.wbo	MOPT f=1 TT=2.291 T1=2.24	OPTIMUM f=1 TT=30.02 T1=29.88	OPTIMUM f=1 TT=5.284 T1=2.82	OPTIMUM f=1 TT=2.165 T1=0.78	OPTIMUM f=1 TT=2.291 T1=2.24
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-44s.smv--soft-33-100-0.wbo	MOPT f=1 TT=0.232 T1=0.22	OPTIMUM f=1 TT=1.519 T1=1.5	OPTIMUM f=1 TT=1.304 T1=1.28	OPTIMUM f=1 TT=0.764 T1=0.33	OPTIMUM f=1 TT=0.232 T1=0.22
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-44s.smv--soft-66-100-0.wbo	MOPT f=1 TT=0.205 T1=0.19	OPTIMUM f=1 TT=0.98 T1=0.97	OPTIMUM f=1 TT=1.253 T1=0.76	OPTIMUM f=1 TT=0.624 T1=0.32	OPTIMUM f=1 TT=0.205 T1=0.19
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	MOPT f=1 TT=0.642 T1=0.62	OPTIMUM f=1 TT=19.457 T1=19.34	OPTIMUM f=1 TT=3.243 T1=2.43	OPTIMUM f=1 TT=1.685 T1=0.7	OPTIMUM f=1 TT=0.642 T1=0.62
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-46s.smv--soft-66-100-0.wbo	MOPT f=1 TT=0.553 T1=0.53	OPTIMUM f=1 TT=6.931 T1=6.89	OPTIMUM f=1 TT=2.654 T1=1.89	OPTIMUM f=1 TT=1.163 T1=0.52	OPTIMUM f=1 TT=0.553 T1=0.53
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo	MOPT f=1 TT=0.12 T1=0.11	OPTIMUM f=1 TT=0.97 T1=0.96	OPTIMUM f=1 TT=3.035 T1=0.67	OPTIMUM f=1 TT=0.525 T1=0.27	OPTIMUM f=1 TT=0.12 T1=0.11
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo	MOPT f=1 TT=0.09 T1=0.04	OPTIMUM f=1 TT=0.74 T1=0.73	OPTIMUM f=1 TT=2.944 T1=0.67	OPTIMUM f=1 TT=0.523 T1=0.27	OPTIMUM f=1 TT=0.09 T1=0.04
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo	MOPT f=8 TT=0.069 T1=0.06	OPTIMUM f=8 TT=0.788 T1=0.78	OPTIMUM f=8 TT=0.374 T1=0.71	OPTIMUM f=8 TT=0.293 T1=0.19	OPTIMUM f=8 TT=0.069 T1=0.06
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	MOPT f=1 TT=0.061 T1=0.06	OPTIMUM f=1 TT=0.387 T1=0.38	OPTIMUM f=1 TT=0.324 T1=0.69	OPTIMUM f=1 TT=0.264 T1=0.19	OPTIMUM f=1 TT=0.061 T1=0.06
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo	MOPT f=13 TT=0.058 T1=0.05	OPTIMUM f=13 TT=0.853 T1=0.85	OPTIMUM f=13 TT=0.304 T1=0.69	OPTIMUM f=13 TT=0.253 T1=0.19	OPTIMUM f=13 TT=0.058 T1=0.05
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo	MOPT f=5 TT=0.056 T1=0.05	OPTIMUM f=5 TT=0.726 T1=0.72	OPTIMUM f=5 TT=0.275 T1=0.68	OPTIMUM f=5 TT=0.236 T1=0.17	OPTIMUM f=5 TT=0.056 T1=0.05
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-33-100-0.wbo	MOPT f=1 TT=0.344 T1=0.32	OPTIMUM f=1 TT=5.865 T1=5.85	OPTIMUM f=1 TT=1.413 T1=0.78	OPTIMUM f=1 TT=0.703 T1=0.36	OPTIMUM f=1 TT=0.344 T1=0.32
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo	MOPT f=1 TT=0.369 T1=0.35	OPTIMUM f=1 TT=4.507 T1=4.5	OPTIMUM f=1 TT=1.394 T1=0.78	OPTIMUM f=1 TT=0.854 T1=0.29	OPTIMUM f=1 TT=0.369 T1=0.35
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo	MOPT f=1 TT=1.091 T1=1.05	OPTIMUM f=1 TT=93.222 T1=93.12	OPTIMUM f=1 TT=2.034 T1=0.97	OPTIMUM f=1 TT=1.384 T1=0.59	OPTIMUM f=1 TT=1.091 T1=1.05
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo	MOPT f=4 TT=0.947 T1=0.9	OPTIMUM f=4 TT=91.031 T1=90.95	OPTIMUM f=4 TT=1.964 T1=0.97	OPTIMUM f=4 TT=1.203 T1=0.52	OPTIMUM f=4 TT=0.947 T1=0.9
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo	MOPT f=3 TT=1.465 T1=1.41	OPTIMUM f=3 TT=132.813 T1=132.64	OPTIMUM f=3 TT=5.613 T1=5.1	OPTIMUM f=3 TT=2.834 T1=1.5	OPTIMUM f=3 TT=1.465 T1=1.41
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo	MOPT f=4 TT=1.274 T1=1.22	OPTIMUM f=4 TT=114.918 T1=114.81	OPTIMUM f=4 TT=2.654 T1=1.01	OPTIMUM f=4 TT=1.393 T1=0.59	OPTIMUM f=4 TT=1.274 T1=1.22
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo	MOPT f=1 TT=0.991 T1=0.95	OPTIMUM f=1 TT=31.393 T1=31.29	OPTIMUM f=1 TT=4.383 T1=4.97	OPTIMUM f=1 TT=2.195 T1=0.94	OPTIMUM f=1 TT=0.991 T1=0.95
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-66-100-0.wbo	MOPT f=2 TT=1.152 T1=1.12	OPTIMUM f=2 TT=22.809 T1=22.76	OPTIMUM f=2 TT=2.004 T1=0.89	OPTIMUM f=2 TT=1.543 T1=0.66	OPTIMUM f=2 TT=1.152 T1=1.12
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo	MOPT f=4 TT=7.4 T1=7.29	MSAT f=86 TT=637.778 T1=637.34	OPTIMUM f=4 TT=5.562 T1=1.9	OPTIMUM f=4 TT=2.875 T1=1.25	OPTIMUM f=4 TT=7.4 T1=7.29
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-33-100-0.wbo	MOPT f=3 TT=5.621 T1=5.53	OPTIMUM f=3 TT=181.011 T1=179.67	OPTIMUM f=3 TT=7.964 T1=7.71	OPTIMUM f=3 TT=3.005 T1=1.22	OPTIMUM f=3 TT=5.621 T1=5.53
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo	MOPT f=3 TT=1.594 T1=1.43	OPTIMUM f=3 TT=95.066 T1=94.46	OPTIMUM f=3 TT=6.003 T1=5.37	OPTIMUM f=3 TT=2.753 T1=1.28	OPTIMUM f=3 TT=1.594 T1=1.43
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-33-100-0.wbo	MOPT f=2 TT=0.727 T1=0.71	OPTIMUM f=2 TT=37.807 T1=37.57	OPTIMUM f=2 TT=4.473 T1=2.04	OPTIMUM f=2 TT=2.304 T1=0.9	OPTIMUM f=2 TT=0.727 T1=0.71
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-66-100-0.wbo	MOPT f=41 TT=0.536 T1=0.51	OPTIMUM f=41 TT=12.439 T1=12.36	OPTIMUM f=41 TT=5.013 T1=2.58	OPTIMUM f=41 TT=1.624 T1=0.64	OPTIMUM f=41 TT=0.536 T1=0.51
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo	MOPT f=1 TT=4.968 T1=4.92	OPTIMUM f=1 TT=305.837 T1=304.5	OPTIMUM f=1 TT=7.222 T1=4.65	OPTIMUM f=1 TT=3.623 T1=1.71	OPTIMUM f=1 TT=4.968 T1=4.92
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo	MOPT f=1 TT=3.799 T1=3.75	OPTIMUM f=1 TT=72.135 T1=71.79	OPTIMUM f=1 TT=5.984 T1=3.97	OPTIMUM f=1 TT=2.732 T1=1.07	OPTIMUM f=1 TT=3.799 T1=3.75
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo	MOPT f=1 TT=6.272 T1=6.22	OPTIMUM f=1 TT=209.406 T1=208.35	OPTIMUM f=1 TT=13.633 T1=20.14	OPTIMUM f=1 TT=5.855 T1=3.77	OPTIMUM f=1 TT=6.272 T1=6.22
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo	MOPT f=1 TT=5.74 T1=5.7	OPTIMUM f=1 TT=92.807 T1=92.39	OPTIMUM f=1 TT=7.054 T1=8.15	OPTIMUM f=1 TT=3.432 T1=1.89	OPTIMUM f=1 TT=5.74 T1=5.7
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-33-100-0.wbo	MOPT f=1 TT=3.072 T1=3.04	OPTIMUM f=1 TT=102.991 T1=102.56	OPTIMUM f=1 TT=5.343 T1=1.29	OPTIMUM f=1 TT=2.564 T1=0.79	OPTIMUM f=1 TT=3.072 T1=3.04
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-66-100-0.wbo	MOPT f=1 TT=2.921 T1=2.89	OPTIMUM f=1 TT=32.474 T1=32.27	OPTIMUM f=1 TT=5.142 T1=3.91	OPTIMUM f=1 TT=2.883 T1=1.28	OPTIMUM f=1 TT=2.921 T1=2.89
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-33-100-0.wbo	MOPT f=1 TT=0.023 T1=0.02	OPTIMUM f=1 TT=0.023 T1=0.02	OPTIMUM f=1 TT=0.204 T1=1.15	OPTIMUM f=1 TT=0.184 T1=0.15	OPTIMUM f=1 TT=0.031 T1=0.02
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-66-100-0.wbo	MOPT f=9 TT=0.015 T1=0.01	OPTIMUM f=9 TT=0.015 T1=0.01	OPTIMUM f=9 TT=0.194 T1=0.65	OPTIMUM f=9 TT=0.204 T1=0.15	OPTIMUM f=9 TT=0.024 T1=0.02
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-33-100-0.wbo	MOPT f=1 TT=0.355 T1=0.34	OPTIMUM f=1 TT=7.091 T1=7.04	OPTIMUM f=1 TT=1.865 T1=1.9	OPTIMUM f=1 TT=1.093 T1=0.48	OPTIMUM f=1 TT=0.355 T1=0.34
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-66-100-0.wbo	MOPT f=2 TT=0.306 T1=0.29	OPTIMUM f=2 TT=3.32 T1=3.29	OPTIMUM f=2 TT=1.852 T1=1.37	OPTIMUM f=2 TT=0.874 T1=0.42	OPTIMUM f=2 TT=0.306 T1=0.29
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-33-100-0.wbo	MOPT f=1 TT=1.86 T1=1.83	OPTIMUM f=1 TT=124.578 T1=123.82	OPTIMUM f=1 TT=4.612 T1=1.84	OPTIMUM f=1 TT=2.515 T1=0.94	OPTIMUM f=1 TT=1.86 T1=1.83
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-66-100-0.wbo	MOPT f=1 TT=1.434 T1=1.41	OPTIMUM f=1 TT=58.586 T1=58.24	OPTIMUM f=1 TT=4.973 T1=5.43	OPTIMUM f=1 TT=2.344 T1=0.94	OPTIMUM f=1 TT=1.434 T1=1.41
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-66-100-0.wbo	MOPT f=1 TT=7.202 T1=7.11	OPTIMUM f=1 TT=391.576 T1=389.47	OPTIMUM f=1 TT=9.764 T1=8.06	OPTIMUM f=1 TT=6.054 T1=4.2	OPTIMUM f=1 TT=7.202 T1=7.11
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo	MOPT f=1 TT=14.259 T1=14.22	OPTIMUM f=1 TT=25.112 T1=24.98	OPTIMUM f=1 TT=8.922 T1=14.2	OPTIMUM f=1 TT=3.632 T1=1.45	OPTIMUM f=1 TT=14.259 T1=14.22
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo	MOPT f=1 TT=7.012 T1=6.97	OPTIMUM f=1 TT=7.012 T1=6.97	OPTIMUM f=1 TT=9.313 T1=8.58	OPTIMUM f=1 TT=4.002 T1=1.36	OPTIMUM f=1 TT=17.271 T1=17.23
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo	MOPT f=1 TT=78.964 T1=78.93	OPTIMUM f=1 TT=125.161 T1=124.44	OPTIMUM f=1 TT=14.952 T1=4.26	OPTIMUM f=1 TT=5.853 T1=0.96	OPTIMUM f=1 TT=78.964 T1=78.93
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo	MOPT f=1 TT=34.271 T1=34.09	OPTIMUM f=1 TT=34.271 T1=34.09	OPTIMUM f=1 TT=18.721 T1=16.12	OPTIMUM f=1 TT=7.022 T1=1.7	OPTIMUM f=1 TT=54.967 T1=54.94
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo	MOPT f=1 TT=2.567 T1=2.54	OPTIMUM f=1 TT=69.882 T1=69.49	OPTIMUM f=1 TT=5.973 T1=5.43	OPTIMUM f=1 TT=2.845 T1=1.24	OPTIMUM f=1 TT=2.567 T1=2.54
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo	MOPT f=1 TT=1.793 T1=1.77	OPTIMUM f=1 TT=36.829 T1=36.64	OPTIMUM f=1 TT=4.732 T1=2.25	OPTIMUM f=1 TT=2.064 T1=0.86	OPTIMUM f=1 TT=1.793 T1=1.77
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo	MOPT f=1 TT=613.745 T1=611.77	OPTIMUM f=1 TT=613.745 T1=611.77	OPTIMUM f=1 TT=502.599 T1=10.3	OPTIMUM f=1 TT=241.94 T1=2.57	? (TO) TT=1800.07
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-66-100-0.wbo	MOPT f=1 TT=349.326 T1=347.66	OPTIMUM f=1 TT=349.326 T1=347.66	OPTIMUM f=1 TT=37.267 T1=1.49	OPTIMUM f=1 TT=16.652 T1=0.91	OPTIMUM f=1 TT=601.227 T1=601.32
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-33-100-0.wbo	MOPT f=1 TT=0.565 T1=0.55	OPTIMUM f=1 TT=9.437 T1=9.36	OPTIMUM f=1 TT=2.756 T1=1.98	OPTIMUM f=1 TT=1.894 T1=0.75	OPTIMUM f=1 TT=0.565 T1=0.55
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-66-100-0.wbo	MOPT f=2 TT=0.576 T1=0.55	OPTIMUM f=2 TT=8.63 T1=8.58	OPTIMUM f=2 TT=2.645 T1=2.93	OPTIMUM f=2 TT=1.533 T1=0.62	OPTIMUM f=2 TT=0.576 T1=0.55
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-33-100-0.wbo	MOPT f=1 TT=2.052 T1=2.03	OPTIMUM f=1 TT=57.933 T1=57.54	OPTIMUM f=1 TT=6.293 T1=10.82	OPTIMUM f=1 TT=2.623 T1=1.04	OPTIMUM f=1 TT=2.052 T1=2.03
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-66-100-0.wbo	MOPT f=1 TT=2.048 T1=2.02	OPTIMUM f=1 TT=33.297 T1=33.09	OPTIMUM f=1 TT=8.024 T1=9.2	OPTIMUM f=1 TT=2.684 T1=1.26	OPTIMUM f=1 TT=2.048 T1=2.02
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-33-100-0.wbo	MOPT f=1 TT=11.831 T1=11.79	OPTIMUM f=1 TT=103.489 T1=102.84	OPTIMUM f=1 TT=13.333 T1=18.47	OPTIMUM f=1 TT=4.633 T1=2.78	OPTIMUM f=1 TT=11.831 T1=11.79
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-66-100-0.wbo	MOPT f=1 TT=4.852 T1=4.8	OPTIMUM f=1 TT=82.368 T1=81.9	OPTIMUM f=1 TT=26.96 T1=45.41	OPTIMUM f=1 TT=5.502 T1=4.08	OPTIMUM f=1 TT=4.852 T1=4.8
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-66-100-0.wbo	MOPT f=1 TT=46.076 T1=46.03	OPTIMUM f=1 TT=139.269 T1=138.36	OPTIMUM f=1 TT=27.46 T1=39.87	OPTIMUM f=1 TT=9.514 T1=7.64	OPTIMUM f=1 TT=46.076 T1=46.03
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-33-100-0.wbo	MOPT f=1 TT=57.835 T1=57.76	OPTIMUM f=1 TT=284.079 T1=282.78	OPTIMUM f=1 TT=20.232 T1=11.6	OPTIMUM f=1 TT=7.474 T1=2.58	OPTIMUM f=1 TT=57.835 T1=57.76
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-66-100-0.wbo	MOPT f=1 TT=38.572 T1=38.49	OPTIMUM f=1 TT=96.031 T1=95.5	OPTIMUM f=1 TT=25.049 T1=20.6	OPTIMUM f=1 TT=9.393 T1=7.7	OPTIMUM f=1 TT=38.572 T1=38.49
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	MOPT f=1 TT=185.205 T1=185.15	OPTIMUM f=1 TT=258.573 T1=256.97	OPTIMUM f=1 TT=72.933 T1=18.93	OPTIMUM f=1 TT=20.573 T1=8.03	OPTIMUM f=1 TT=185.205 T1=185.15
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-33-100-0.wbo	MOPT f=1 TT=5.44 T1=5.39	OPTIMUM f=1 TT=35.809 T1=35.58	OPTIMUM f=1 TT=6.793 T1=7.25	OPTIMUM f=1 TT=3.074 T1=1.62	OPTIMUM f=1 TT=5.44 T1=5.39
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-66-100-0.wbo	MOPT f=2 TT=7.44 T1=5.52	OPTIMUM f=2 TT=12.935 T1=12.85	OPTIMUM f=2 TT=8.567 T1=11.79	OPTIMUM f=2 TT=6.113 T1=4.56	OPTIMUM f=2 TT=7.44 T1=5.52
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo	MOPT f=9 TT=0.942 T1=0.9	OPTIMUM f=9 TT=27.569 T1=27.31	OPTIMUM f=9 TT=6.093 T1=2.96	OPTIMUM f=9 TT=1.794 T1=0.72	OPTIMUM f=9 TT=0.942 T1=0.9
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j301_4-unsat--soft-66-100-0.wbo	MOPT f=21 TT=0.566 T1=0.54	OPTIMUM f=21 TT=26.014 T1=25.82	OPTIMUM f=21 TT=4.114 T1=1.14	OPTIMUM f=21 TT=1.323 T1=0.54	OPTIMUM f=21 TT=0.566 T1=0.54
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo	MOPT f=4 TT=770.562 T1=769.24	OPTIMUM f=4 TT=770.562 T1=769.24	MSAT (TO) f=72 TT=1800.23 T1=921.84	Wrong Cert. TT=1800.02	? (TO) TT=1800.04
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo	MOPT f=2 TT=180.507 T1=180.06	OPTIMUM f=2 TT=180.507 T1=180.06	MSAT (TO) f=15 TT=1800.05 T1=1008.02	OPTIMUM f=2 TT=857.77 T1=850.77	? (TO) TT=1800.04
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3041_4-unsat--soft-33-100-0.wbo	MOPT f=1 TT=6.211 T1=6.16	OPTIMUM f=1 TT=218.433 T1=217.21	OPTIMUM f=1 TT=11.502 T1=9.33	OPTIMUM f=1 TT=3.332 T1=1.83	OPTIMUM f=1 TT=6.211 T1=6.16
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo	MOPT f=5 TT=3.067 T1=2.99	OPTIMUM f=5 TT=62.271 T1=62.06	OPTIMUM f=5 TT=1180.3 T1=1146.29	OPTIMUM f=5 TT=19.11 T1=17.16	OPTIMUM f=5 TT=3.067 T1=2.99
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3046_4-unsat--soft-33-100-0.wbo	MOPT f=2 TT=3.114 T1=3.01	OPTIMUM f=2 TT=80.692 T1=80.18	OPTIMUM f=2 TT=5.172 T1=2.52	OPTIMUM f=2 TT=2.053 T1=0.78	OPTIMUM f=2 TT=3.114 T1=3.01
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo	MOPT f=2 TT=2.86 T1=2.78	OPTIMUM f=2 TT=52.823 T1=52.53	OPTIMUM f=2 TT=4.484 T1=1.83	OPTIMUM f=2 TT=1.663 T1=0.64	OPTIMUM f=2 TT=2.86 T1=2.78
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j308_1-unsat--soft-33-100-0.wbo	MOPT f=5 TT=0.973 T1=0.93	OPTIMUM f=5 TT=17.156 T1=17.01	OPTIMUM f=5 TT=2.956 T1=1.09	OPTIMUM f=5 TT=1.373 T1=0.56	OPTIMUM f=5 TT=0.973 T1=0.93
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j308_1-unsat--soft-66-100-0.wbo	MOPT f=83 TT=0.871 T1=0.83	OPTIMUM f=83 TT=17.329 T1=17.16	OPTIMUM f=83 TT=2.923 T1=2.06	OPTIMUM f=83 TT=1.474 T1=0.59	OPTIMUM f=83 TT=0.871 T1=0.83
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j309_10-unsat--soft-33-100-0.wbo	MOPT f=2 TT=5.514 T1=4.71	OPTIMUM f=2 TT=177.444 T1=176.37	MSAT (TO) f=6 TT=1800.1 T1=1758.82	OPTIMUM f=2 TT=26.619 T1=24.62	OPTIMUM f=2 TT=5.514 T1=4.71
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo	MOPT f=1 TT=4.721 T1=4.67	OPTIMUM f=1 TT=100.198 T1=99.62	OPTIMUM f=1 TT=196.116 T1=195.82	OPTIMUM f=1 TT=8.482 T1=6.91	OPTIMUM f=1 TT=4.721 T1=4.67
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo	MOPT f=6 TT=8.399 T1=8.31	OPTIMUM f=6 TT=117.863 T1=116.98	OPTIMUM f=6 TT=4.544 T1=1.55	OPTIMUM f=6 TT=1.985 T1=0.76	OPTIMUM f=6 TT=8.399 T1=8.31
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo	MOPT f=12 TT=7.746 T1=7.67	OPTIMUM f=12 TT=37.719 T1=37.46	OPTIMUM f=12 TT=3.933 T1=1.47	OPTIMUM f=12 TT=1.792 T1=0.69	OPTIMUM f=12 TT=7.746 T1=7.67
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6027_4-unsat--soft-33-100-0.wbo	MOPT f=22 TT=8.723 T1=8.64	OPTIMUM f=22 TT=165.706 T1=164.52	OPTIMUM f=22 TT=4.404 T1=1.52	OPTIMUM f=22 TT=2.054 T1=0.78	OPTIMUM f=22 TT=8.723 T1=8.64
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6027_4-unsat--soft-66-100-0.wbo	MOPT f=24 TT=7.992 T1=7.91	OPTIMUM f=24 TT=35.692 T1=35.4	OPTIMUM f=24 TT=3.983 T1=1.46	OPTIMUM f=24 TT=1.754 T1=0.69	OPTIMUM f=24 TT=7.992 T1=7.91
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j602_7-unsat--soft-33-100-0.wbo	MOPT f=6 TT=1.965 T1=1.98	OPTIMUM f=6 TT=115.157 T1=114.37	OPTIMUM f=6 TT=4.284 T1=1.37	OPTIMUM f=6 TT=1.894 T1=0.7	OPTIMUM f=6 TT=1.965 T1=1.98
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j602_7-unsat--soft-66-100-0.wbo	MOPT f=3 TT=1.39 T1=1.35	OPTIMUM f=3 TT=58.334 T1=57.93	OPTIMUM f=3 TT=3.512 T1=1.41	OPTIMUM f=3 TT=1.482 T1=0.61	OPTIMUM f=3 TT=1.39 T1=1.35
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6030_9-unsat--soft-66-100-0.wbo	MOPT f=8 TT=13.96 T1=13.84	OPTIMUM f=8 TT=79.621 T1=79.08	OPTIMUM f=8 TT=4.774 T1=1.57	OPTIMUM f=8 TT=2.183 T1=0.87	OPTIMUM f=8 TT=13.96 T1=13.84
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo	MOPT f=6 TT=2.242 T1=2.15	OPTIMUM f=6 TT=79.8 T1=79.02	OPTIMUM f=6 TT=4.084 T1=1.51	OPTIMUM f=6 TT=1.996 T1=0.73	OPTIMUM f=6 TT=2.242 T1=2.15
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j603_2-unsat--soft-66-100-0.wbo	MOPT f=31 TT=1.822 T1=1.78	OPTIMUM f=31 TT=44.575 T1=44.23	OPTIMUM f=31 TT=3.413 T1=1.46	OPTIMUM f=31 TT=1.733 T1=0.7	OPTIMUM f=31 TT=1.822 T1=1.78
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6033_2-unsat--soft-66-100-0.wbo	MOPT f=51 TT=2.089 T1=2.04	OPTIMUM f=51 TT=92.482 T1=91.58	OPTIMUM f=51 TT=3.783 T1=1.48	OPTIMUM f=51 TT=1.834 T1=0.78	OPTIMUM f=51 TT=2.089 T1=2.04
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j605_10-unsat--soft-33-100-0.wbo	MSAT f=379 TT=1290.78 T1=1290.5	MSAT (MO) f=379 TT=1290.78 T1=1290.5	MSAT (TO) f=118 TT=1800 T1=906.33	Wrong Cert. TT=1800.01	? (TO) TT=1800.1
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j605_10-unsat--soft-66-100-0.wbo	MSAT f=40 TT=1800.27 T1=1800.4	MSAT (TO) f=40 TT=1800.27 T1=1800.4	MSAT (TO) f=442 TT=1800.75 T1=1378.86	Wrong Cert. TT=1800.54	? (TO) TT=1800.06
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	MOPT f=1 TT=73.317 T1=73.26	MSAT f=636 TT=295.895 T1=295.39	MSAT (TO) f=38 TT=1800.37 T1=1583.82	OPTIMUM f=1 TT=182.505 T1=179.05	OPTIMUM f=1 TT=73.317 T1=73.26
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j605_1-unsat--soft-66-100-0.wbo	MOPT f=1 TT=44.117 T1=44.06	OPTIMUM f=1 TT=166.498 T1=165.67	MSAT (TO) f=34 TT=1800.43 T1=1495.17	OPTIMUM f=1 TT=121 T1=118.07	OPTIMUM f=1 TT=44.117 T1=44.06
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j606_1-unsat--soft-33-100-0.wbo	MOPT f=3 TT=3.684 T1=3.57	OPTIMUM f=3 TT=66.123 T1=65.51	OPTIMUM f=3 TT=4.314 T1=1.52	OPTIMUM f=3 TT=2.102 T1=0.79	OPTIMUM f=3 TT=3.684 T1=3.57
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j606_1-unsat--soft-66-100-0.wbo	MOPT f=25 TT=3.161 T1=3.09	OPTIMUM f=25 TT=140.297 T1=139.34	OPTIMUM f=25 TT=3.926 T1=1.44	OPTIMUM f=25 TT=1.733 T1=0.68	OPTIMUM f=25 TT=3.161 T1=3.09
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9010_6-unsat--soft-66-100-0.wbo	MOPT f=9 TT=21.858 T1=21.75	OPTIMUM f=9 TT=85.452 T1=84.69	OPTIMUM f=9 TT=4.624 T1=1.72	OPTIMUM f=9 TT=2.442 T1=0.92	OPTIMUM f=9 TT=21.858 T1=21.75
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo	MOPT f=54 TT=36.882 T1=36.8	OPTIMUM f=54 TT=96.27 T1=95.41	OPTIMUM f=54 TT=4.254 T1=1.58	OPTIMUM f=54 TT=1.974 T1=0.81	OPTIMUM f=54 TT=36.882 T1=36.8
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9014_1-unsat--soft-66-100-0.wbo	MOPT f=6 TT=39.529 T1=39.41	OPTIMUM f=6 TT=309.832 T1=307.7	OPTIMUM f=6 TT=24.359 T1=27.43	OPTIMUM f=6 TT=5.894 T1=4.09	OPTIMUM f=6 TT=39.529 T1=39.41
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo	MOPT f=29 TT=43.144 T1=43.07	OPTIMUM f=29 TT=123.047 T1=122.21	OPTIMUM f=29 TT=4.392 T1=1.65	OPTIMUM f=29 TT=2.114 T1=0.86	OPTIMUM f=29 TT=43.144 T1=43.07
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	MOPT f=20 TT=34.301 T1=34.18	OPTIMUM f=20 TT=96.62 T1=95.94	OPTIMUM f=20 TT=4.443 T1=1.64	OPTIMUM f=20 TT=2.065 T1=0.84	OPTIMUM f=20 TT=34.301 T1=34.18
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j903_10-unsat--soft-66-100-0.wbo	MOPT f=4 TT=3.189 T1=3.11	OPTIMUM f=4 TT=66.824 T1=66.29	OPTIMUM f=4 TT=4.082 T1=1.48	OPTIMUM f=4 TT=1.943 T1=0.77	OPTIMUM f=4 TT=3.189 T1=3.11
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9039_3-unsat--soft-66-100-0.wbo	MOPT f=42 TT=10.287 T1=10.2	OPTIMUM f=42 TT=147.889 T1=146.58	OPTIMUM f=42 TT=4.594 T1=1.66	OPTIMUM f=42 TT=2.222 T1=0.9	OPTIMUM f=42 TT=10.287 T1=10.2
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9048_1-unsat--soft-66-100-0.wbo	MOPT f=22 TT=71.787 T1=71.69	OPTIMUM f=22 TT=120.475 T1=119.58	OPTIMUM f=22 TT=4.613 T1=1.76	OPTIMUM f=22 TT=2.373 T1=0.9	OPTIMUM f=22 TT=71.787 T1=71.69
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j907_8-unsat--soft-66-100-0.wbo	MOPT f=14 TT=10.169 T1=10.09	OPTIMUM f=14 TT=68.929 T1=68.42	OPTIMUM f=14 TT=4.177 T1=1.47	OPTIMUM f=14 TT=1.903 T1=0.76	OPTIMUM f=14 TT=10.169 T1=10.09
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-16wqueens_wcsp.wbo	MOPT f=2 TT=0.259 T1=0.26	OPTIMUM f=2 TT=0.259 T1=0.26	OPTIMUM f=2 TT=119.646 T1=104.31	OPTIMUM f=2 TT=88.65 T1=86.83	OPTIMUM f=2 TT=8.333 T1=8.27
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	MOPT f=0 TT=0.008 T1=0	OPTIMUM f=0 TT=0.008 T1=0	OPTIMUM f=0 TT=0.224 T1=0.67	OPTIMUM f=0 TT=0.223 T1=0.16	OPTIMUM f=0 TT=0.034 T1=0.03
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4wqueens_wcsp.wbo	MOPT f=0 TT=0.002 T1=0	OPTIMUM f=0 TT=0.002 T1=0	OPTIMUM f=0 TT=0.175 T1=0.64	OPTIMUM f=0 TT=0.174 T1=0.13	OPTIMUM f=0 TT=0.02 T1=0.01
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8queens_wcsp.wbo	MOPT f=0 TT=0.013 T1=0.01	OPTIMUM f=0 TT=0.013 T1=0.01	OPTIMUM f=0 TT=0.424 T1=0.69	OPTIMUM f=0 TT=0.305 T1=0.21	OPTIMUM f=0 TT=0.05 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	MOPT f=2 TT=0.022 T1=0.02	OPTIMUM f=2 TT=0.022 T1=0.02	OPTIMUM f=2 TT=0.914 T1=1.22	OPTIMUM f=2 TT=0.354 T1=0.22	OPTIMUM f=2 TT=0.094 T1=0.09
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-donald_wcsp.wbo	MOPT f=0 TT=0.246 T1=0.24	OPTIMUM f=0 TT=0.246 T1=0.24	OPTIMUM f=0 TT=4.413 T1=4.49	OPTIMUM f=0 TT=2.305 T1=1.28	OPTIMUM f=0 TT=0.677 T1=0.64
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-langford-2-4_wcsp.wbo	MOPT f=0 TT=0.015 T1=0.01	OPTIMUM f=0 TT=0.015 T1=0.01	OPTIMUM f=0 TT=0.634 T1=1.69	OPTIMUM f=0 TT=0.364 T1=0.23	OPTIMUM f=0 TT=0.049 T1=0.04
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-langford-3-11_wcsp.wbo	UNSAT TT=16.7	UNSAT TT=16.7	Wrong Cert. TT=1800.53	Wrong Cert. TT=1800.77	UNSAT TT=832.842
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-langford-3-9_wcsp.wbo	MOPT f=0 TT=0.949 T1=0.94	OPTIMUM f=0 TT=0.949 T1=0.94	Wrong Cert. TT=1800.6	OPTIMUM f=0 TT=60.14 T1=58.52	OPTIMUM f=0 TT=5.036 T1=5
/PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo	MOPT f=0 TT=0.533 T1=0.53	OPTIMUM f=0 TT=0.533 T1=0.53	OPTIMUM f=0 TT=10.002 T1=5.6	OPTIMUM f=0 TT=2.054 T1=0.96	OPTIMUM f=0 TT=1.045 T1=1
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-warehouse0_wcsp.wbo	MOPT f=328 TT=0.27 T1=0.27	OPTIMUM f=328 TT=0.27 T1=0.27	OPTIMUM f=328 TT=1.204 T1=0.64	OPTIMUM f=328 TT=0.525 T1=0.13	OPTIMUM f=328 TT=1.386 T1=1.33
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	MOPT f=0 TT=0.558 T1=0.55	OPTIMUM f=0 TT=0.558 T1=0.55	OPTIMUM f=0 TT=2.224 T1=1.04	OPTIMUM f=0 TT=15.701 T1=14.49	OPTIMUM f=0 TT=1.558 T1=1.49
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-zebre-ext_wcsp.wbo	MOPT f=0 TT=0.013 T1=0.01	OPTIMUM f=0 TT=0.013 T1=0.01	OPTIMUM f=0 TT=0.555 T1=2.19	OPTIMUM f=0 TT=0.375 T1=0.24	OPTIMUM f=0 TT=0.046 T1=0.04
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	MSAT f=43 TT=1800.01 T1=1800.3	MSAT (TO) f=43 TT=1800.01 T1=1800.3	MSAT (TO) f=64 TT=1800.76 T1=1.37	MSAT (TO) f=63 TT=1800.55 T1=1797.03	? (TO) TT=1800.17
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-dsjc125-1-5_wcsp.wbo	MOPT f=0 TT=1.535 T1=1.52	OPTIMUM f=0 TT=1.535 T1=1.52	OPTIMUM f=0 TT=154.572 T1=83.08	OPTIMUM f=0 TT=48.99 T1=48.03	? (TO) TT=1800.17
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-3_wcsp.wbo	MOPT f=11 TT=1.597 T1=1.59	OPTIMUM f=11 TT=1.597 T1=1.59	MSAT (TO) f=11 TT=1800 T1=898.85	MSAT (TO) f=15 TT=1800.64 T1=942.62	? (TO) TT=1800.01
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	MOPT f=4 TT=0.155 T1=0.15	OPTIMUM f=4 TT=0.155 T1=0.15	OPTIMUM f=4 TT=86.56 T1=28.71	OPTIMUM f=4 TT=52.45 T1=32.93	OPTIMUM f=4 TT=2.87 T1=2.92
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo	MOPT f=1 TT=0.072 T1=0.07	OPTIMUM f=1 TT=0.072 T1=0.07	OPTIMUM f=1 TT=0.864 T1=0.68	OPTIMUM f=1 TT=0.533 T1=0.27	OPTIMUM f=1 TT=4.589 T1=4.54
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-6_wcsp.wbo	MOPT f=0 TT=0.083 T1=0.08	OPTIMUM f=0 TT=0.083 T1=0.08	OPTIMUM f=0 TT=0.323 T1=0.69	OPTIMUM f=0 TT=0.255 T1=0.18	OPTIMUM f=0 TT=7.148 T1=7.1
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo	MOPT f=22 TT=0.516 T1=0.5	OPTIMUM f=22 TT=0.64 T1=0.63	MSAT (TO) f=23 TT=1800.09 T1=12.19	MSAT (TO) f=23 TT=1800.04 T1=69.39	OPTIMUM f=22 TT=0.516 T1=0.5
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-3_wcsp.wbo	MOPT f=7 TT=0.079 T1=0.07	OPTIMUM f=7 TT=0.079 T1=0.07	OPTIMUM f=7 TT=241.546 T1=5.69	OPTIMUM f=7 TT=1355.22 T1=1.37	OPTIMUM f=7 TT=1.392 T1=1.37
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-4_wcsp.wbo	MOPT f=3 TT=0.094 T1=0.09	OPTIMUM f=3 TT=0.094 T1=0.09	OPTIMUM f=3 TT=3.562 T1=1.68	OPTIMUM f=3 TT=1.184 T1=0.21	OPTIMUM f=3 TT=2.508 T1=2.45
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-5_wcsp.wbo	MOPT f=1 TT=0.07 T1=0.07	OPTIMUM f=1 TT=0.07 T1=0.07	OPTIMUM f=1 TT=0.773 T1=0.71	OPTIMUM f=1 TT=0.353 T1=0.21	OPTIMUM f=1 TT=4.088 T1=4.04
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-6_wcsp.wbo	MOPT f=0 TT=0.085 T1=0.08	OPTIMUM f=0 TT=0.085 T1=0.08	OPTIMUM f=0 TT=0.324 T1=0.7	OPTIMUM f=0 TT=0.263 T1=0.2	OPTIMUM f=0 TT=6.069 T1=6.02
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo	MSAT f=2724 TT=1800.07 T1=1800.4	MSAT (TO) f=2724 TT=1800.07 T1=1800.4	MSAT (TO) f=2666 TT=1800.78 T1=897.43	MSAT (TO) f=2666 TT=1800.07 T1=1770.53	? (TO) TT=1800.02
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-le450-5a-3_wcsp.wbo	MSAT f=1723 TT=1800.07 T1=1800.4	MSAT (TO) f=1723 TT=1800.07 T1=1800.4	MSAT (TO) f=1554 TT=1800.71 T1=28.14	MSAT (TO) f=1585 TT=1800.07 T1=1781.33	? (TO) TT=1800.09
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo	MSAT f=1156 TT=1800.05 T1=1800.4	MSAT (TO) f=1156 TT=1800.05 T1=1800.4	MSAT (TO) f=1082 TT=1800.69 T1=899.53	MSAT (TO) f=1062 TT=1800.09 T1=1793.83	? (TO) TT=1800.06
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-le450-5a-5_wcsp.wbo	MOPT f=0 TT=19.893 T1=19.7	OPTIMUM f=0 TT=19.893 T1=19.7	MSAT (TO) f=1 TT=1800.63 T1=898.94	MSAT (TO) f=1 TT=1800.02 T1=1784.64	? (TO) TT=1800.02
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-myciel5g-3_wcsp.wbo	MSAT f=17 TT=1800.02 T1=1800.3	MSAT (TO) f=17 TT=1800.02 T1=1800.3	MSAT (TO) f=22 TT=1800.69 T1=1770.92	MSAT (TO) f=22 TT=1800.53 T1=0.38	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-myciel5g-4_wcsp.wbo	MOPT f=4 TT=408.45 T1=408.5	OPTIMUM f=4 TT=408.45 T1=408.5	MSAT (TO) f=7 TT=1800.06 T1=4.78	MSAT (TO) f=7 TT=1800.05 T1=1798.93	? (TO) TT=1800.05
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	MOPT f=1 TT=15.821 T1=15.82	OPTIMUM f=1 TT=15.821 T1=15.82	OPTIMUM f=1 TT=535.466 T1=2.79	OPTIMUM f=1 TT=468.33 T1=0.42	? (TO) TT=1800.05
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-myciel5g-6_wcsp.wbo	MOPT f=0 TT=0.4 T1=0.39	OPTIMUM f=0 TT=0.4 T1=0.39	OPTIMUM f=0 TT=0.554 T1=0.77	OPTIMUM f=0 TT=0.413 T1=0.26	OPTIMUM f=0 TT=155.269 T1=155.24
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-queen5-5-3_wcsp.wbo	MSAT f=29 TT=1800.02 T1=1800.3	MSAT (TO) f=29 TT=1800.02 T1=1800.3	MSAT (TO) f=35 TT=1800.01 T1=900.94	MSAT (TO) f=37 TT=1800.3 T1=0.38	? (TO) TT=1800.11
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo	MOPT f=12 TT=414.308 T1=414.36	OPTIMUM f=12 TT=414.308 T1=414.36	MSAT (TO) f=15 TT=1800.02 T1=899.95	MSAT (TO) f=19 TT=1800.01 T1=2.63	? (TO) TT=1800.08
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-queen5-5-5_wcsp.wbo	MOPT f=0 TT=0.173 T1=0.17	OPTIMUM f=0 TT=0.173 T1=0.17	OPTIMUM f=0 TT=0.394 T1=0.72	OPTIMUM f=0 TT=0.295 T1=0.22	OPTIMUM f=0 TT=31.467 T1=31.42
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo	MOPT f=1 TT=1.631 T1=1.61	OPTIMUM f=1 TT=1.83 T1=1.81	OPTIMUM f=1 TT=2.414 T1=1.93	OPTIMUM f=1 TT=1.374 T1=0.56	OPTIMUM f=1 TT=1.631 T1=1.61
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf2670-001_ext.wbo	MOPT f=1 TT=0.451 T1=0.43	OPTIMUM f=1 TT=1.246 T1=1.23	OPTIMUM f=1 TT=1.774 T1=0.91	OPTIMUM f=1 TT=1.116 T1=0.45	OPTIMUM f=1 TT=0.451 T1=0.43
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois100_ext.wbo	MOPT f=1 TT=0.035 T1=0.03	OPTIMUM f=1 TT=0.035 T1=0.03	OPTIMUM f=1 TT=1.614 T1=2.28	OPTIMUM f=1 TT=0.772 T1=0.35	OPTIMUM f=1 TT=1.848 T1=0.18
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	MOPT f=1 TT=0.007 T1=0	OPTIMUM f=1 TT=0.007 T1=0	OPTIMUM f=1 TT=0.785 T1=1.16	OPTIMUM f=1 TT=0.354 T1=0.2	OPTIMUM f=1 TT=0.304 T1=0.28
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo	MOPT f=1 TT=0.007 T1=0	OPTIMUM f=1 TT=0.007 T1=0	OPTIMUM f=1 TT=0.425 T1=0.67	OPTIMUM f=1 TT=0.315 T1=0.19	OPTIMUM f=1 TT=0.267 T1=0.05
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois22_ext.wbo	MOPT f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.573 T1=1.17	OPTIMUM f=1 TT=0.405 T1=0.22	OPTIMUM f=1 TT=0.054 T1=0.03
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo	MOPT f=1 TT=0.009 T1=0.01	OPTIMUM f=1 TT=0.009 T1=0.01	OPTIMUM f=1 TT=0.763 T1=1.17	OPTIMUM f=1 TT=0.386 T1=0.21	OPTIMUM f=1 TT=0.144 T1=0.05
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	MOPT f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=1.102 T1=1.67	OPTIMUM f=1 TT=0.504 T1=0.26	OPTIMUM f=1 TT=0.157 T1=0.05
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	MOPT f=1 TT=0.009 T1=0	OPTIMUM f=1 TT=0.009 T1=0	OPTIMUM f=1 TT=0.653 T1=1.17	OPTIMUM f=1 TT=0.444 T1=0.24	OPTIMUM f=1 TT=0.08 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	MOPT f=1 TT=0.01 T1=0.01	OPTIMUM f=1 TT=0.01 T1=0.01	OPTIMUM f=1 TT=0.593 T1=0.68	OPTIMUM f=1 TT=0.414 T1=0.2	OPTIMUM f=1 TT=0.065 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois27_ext.wbo	MOPT f=1 TT=0.01 T1=0.01	OPTIMUM f=1 TT=0.01 T1=0.01	OPTIMUM f=1 TT=0.635 T1=0.68	OPTIMUM f=1 TT=0.472 T1=0.25	OPTIMUM f=1 TT=0.066 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo	MOPT f=1 TT=0.034 T1=0.03	OPTIMUM f=1 TT=0.034 T1=0.03	OPTIMUM f=1 TT=0.736 T1=1.17	OPTIMUM f=1 TT=0.495 T1=0.24	OPTIMUM f=1 TT=0.069 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois29_ext.wbo	MOPT f=1 TT=0.011 T1=0.01	OPTIMUM f=1 TT=0.011 T1=0.01	OPTIMUM f=1 TT=0.764 T1=1.18	OPTIMUM f=1 TT=0.434 T1=0.23	OPTIMUM f=1 TT=0.271 T1=0.06
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois30_ext.wbo	MOPT f=1 TT=0.011 T1=0.01	OPTIMUM f=1 TT=0.011 T1=0.01	OPTIMUM f=1 TT=0.964 T1=1.68	OPTIMUM f=1 TT=0.445 T1=0.23	OPTIMUM f=1 TT=0.144 T1=0.06
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois50_ext.wbo	MOPT f=1 TT=0.019 T1=0.01	OPTIMUM f=1 TT=0.019 T1=0.01	OPTIMUM f=1 TT=0.904 T1=1.71	OPTIMUM f=1 TT=0.545 T1=0.24	OPTIMUM f=1 TT=0.156 T1=0.15
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo	MOPT f=1 TT=0.084 T1=0.06	OPTIMUM f=1 TT=0.084 T1=0.08	OPTIMUM f=1 TT=1.145 T1=0.72	OPTIMUM f=1 TT=0.703 T1=0.25	OPTIMUM f=1 TT=0.134 T1=0.06
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	MOPT f=1 TT=0.08 T1=0.06	OPTIMUM f=1 TT=0.08 T1=0.08	OPTIMUM f=1 TT=1.114 T1=0.71	OPTIMUM f=1 TT=0.714 T1=0.26	OPTIMUM f=1 TT=0.137 T1=0.06
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	MOPT f=1 TT=0.077 T1=0.05	OPTIMUM f=1 TT=0.077 T1=0.07	OPTIMUM f=1 TT=1.115 T1=1.21	OPTIMUM f=1 TT=0.732 T1=0.28	OPTIMUM f=1 TT=0.122 T1=0.05
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	MOPT f=1 TT=0.075 T1=0.06	OPTIMUM f=1 TT=0.075 T1=0.07	OPTIMUM f=1 TT=1.084 T1=1.22	OPTIMUM f=1 TT=0.714 T1=0.28	OPTIMUM f=1 TT=0.114 T1=0.06
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo	MOPT f=1 TT=0.011 T1=0.01	OPTIMUM f=1 TT=0.011 T1=0.01	OPTIMUM f=1 TT=0.763 T1=1.17	OPTIMUM f=1 TT=0.413 T1=0.19	OPTIMUM f=1 TT=0.091 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	MOPT f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.696 T1=0.66	OPTIMUM f=1 TT=0.434 T1=0.18	OPTIMUM f=1 TT=0.078 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	MOPT f=1 TT=0.009 T1=0	OPTIMUM f=1 TT=0.009 T1=0	OPTIMUM f=1 TT=0.592 T1=1.16	OPTIMUM f=1 TT=0.412 T1=0.18	OPTIMUM f=1 TT=0.096 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	MOPT f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.745 T1=1.25	OPTIMUM f=1 TT=0.424 T1=0.19	OPTIMUM f=1 TT=0.085 T1=0.04
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo	MOPT f=1 TT=0.15 T1=0.14	OPTIMUM f=1 TT=0.266 T1=0.26	OPTIMUM f=1 TT=0.923 T1=1.29	OPTIMUM f=1 TT=0.614 T1=0.29	OPTIMUM f=1 TT=0.15 T1=0.14
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa2670-141_ext.wbo	MOPT f=1 TT=0.416 T1=0.4	OPTIMUM f=1 TT=0.971 T1=0.96	OPTIMUM f=1 TT=1.504 T1=0.85	OPTIMUM f=1 TT=1.015 T1=0.41	OPTIMUM f=1 TT=0.416 T1=0.4
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo	MOPT f=0 TT=0.037 T1=0.03	OPTIMUM f=0 TT=0.037 T1=0.03	OPTIMUM f=0 TT=0.583 T1=0.77	OPTIMUM f=0 TT=0.474 T1=0.27	OPTIMUM f=0 TT=0.094 T1=0.08
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo	MOPT f=95 TT=0.647 T1=0.49	OPTIMUM f=95 TT=14.144 T1=14.08	OPTIMUM f=95 TT=1.496 T1=1.79	OPTIMUM f=95 TT=0.873 T1=0.42	OPTIMUM f=95 TT=0.647 T1=0.49
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh05_wcsp.wbo	MOPT f=183 TT=0.859 T1=0.63	OPTIMUM f=183 TT=5.572 T1=5.54	OPTIMUM f=183 TT=1.694 T1=2.82	OPTIMUM f=183 TT=1.034 T1=0.37	OPTIMUM f=183 TT=0.859 T1=0.63
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo	MOPT f=99 TT=2.348 T1=2.29	OPTIMUM f=99 TT=8.722 T1=8.67	OPTIMUM f=99 TT=1.626 T1=2.81	OPTIMUM f=99 TT=1.005 T1=0.45	OPTIMUM f=99 TT=2.348 T1=2.29
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo	MOPT f=0 TT=0.036 T1=0.03	OPTIMUM f=0 TT=0.036 T1=0.03	OPTIMUM f=0 TT=0.564 T1=0.77	OPTIMUM f=0 TT=0.464 T1=0.28	OPTIMUM f=0 TT=0.089 T1=0.08
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh08_wcsp.wbo	MOPT f=462 TT=1.564 T1=0.97	OPTIMUM f=462 TT=19.959 T1=19.87	OPTIMUM f=462 TT=3.004 T1=8.84	OPTIMUM f=462 TT=1.625 T1=0.69	OPTIMUM f=462 TT=1.564 T1=0.97
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo	MOPT f=333 TT=1.293 T1=0.77	OPTIMUM f=333 TT=11.973 T1=11.91	OPTIMUM f=333 TT=3.753 T1=12.34	OPTIMUM f=333 TT=4.033 T1=2.88	OPTIMUM f=333 TT=1.293 T1=0.77
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	MOPT f=85 TT=0.223 T1=0.18	OPTIMUM f=85 TT=13.21 T1=13.15	OPTIMUM f=85 TT=1.285 T1=2.29	OPTIMUM f=85 TT=0.804 T1=0.38	OPTIMUM f=85 TT=0.223 T1=0.18
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo	MOPT f=172 TT=0.499 T1=0.42	OPTIMUM f=172 TT=10.511 T1=10.46	OPTIMUM f=172 TT=34.322 T1=78.75	OPTIMUM f=172 TT=1.593 T1=0.68	OPTIMUM f=172 TT=0.499 T1=0.42
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh12_wcsp.wbo	MOPT f=0 TT=0.035 T1=0.03	OPTIMUM f=0 TT=0.035 T1=0.03	OPTIMUM f=0 TT=0.608 T1=0.79	OPTIMUM f=0 TT=0.493 T1=0.27	OPTIMUM f=0 TT=0.103 T1=0.09
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	MOPT f=109 TT=0.211 T1=0.18	OPTIMUM f=109 TT=21.616 T1=21.54	OPTIMUM f=109 TT=2.745 T1=2.66	OPTIMUM f=109 TT=0.705 T1=0.34	OPTIMUM f=109 TT=0.211 T1=0.18
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo	MOPT f=101 TT=0.446 T1=0.38	OPTIMUM f=101 TT=12.708 T1=12.64	OPTIMUM f=101 TT=1.905 T1=5.83	OPTIMUM f=101 TT=1.093 T1=0.47	OPTIMUM f=101 TT=0.446 T1=0.38
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo	MOPT f=206 TT=0.696 T1=0.51	OPTIMUM f=206 TT=15.565 T1=15.48	OPTIMUM f=206 TT=2.424 T1=2.8	OPTIMUM f=206 TT=1.604 T1=0.81	OPTIMUM f=206 TT=0.696 T1=0.51
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo	MOPT f=6 TT=0.465 T1=0.44	OPTIMUM f=6 TT=14.175 T1=14.11	OPTIMUM f=6 TT=4.362 T1=28.92	OPTIMUM f=6 TT=1.513 T1=0.71	OPTIMUM f=6 TT=0.465 T1=0.44
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh17_wcsp.wbo	MOPT f=0 TT=0.093 T1=0.08	OPTIMUM f=0 TT=11.932 T1=11.88	OPTIMUM f=0 TT=0.634 T1=0.77	OPTIMUM f=0 TT=0.494 T1=0.27	OPTIMUM f=0 TT=0.093 T1=0.08
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo	MOPT f=130 TT=1.55 T1=1.29	OPTIMUM f=130 TT=11.394 T1=11.34	OPTIMUM f=130 TT=2.853 T1=8.84	OPTIMUM f=130 TT=2.544 T1=1.65	OPTIMUM f=130 TT=1.55 T1=1.29
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo	MOPT f=166 TT=0.701 T1=0.59	OPTIMUM f=166 TT=18.773 T1=18.69	OPTIMUM f=166 TT=1.614 T1=2.3	OPTIMUM f=166 TT=1.005 T1=0.4	OPTIMUM f=166 TT=0.701 T1=0.59
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh201_wcsp.wbo	MOPT f=0 TT=0.034 T1=0.03	OPTIMUM f=0 TT=0.034 T1=0.03	OPTIMUM f=0 TT=0.575 T1=0.76	OPTIMUM f=0 TT=0.453 T1=0.26	OPTIMUM f=0 TT=0.104 T1=0.09
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh202_wcsp.wbo	MOPT f=68 TT=0.175 T1=0.16	OPTIMUM f=68 TT=0.856 T1=0.85	OPTIMUM f=68 TT=1.004 T1=1.27	OPTIMUM f=68 TT=0.595 T1=0.32	OPTIMUM f=68 TT=0.175 T1=0.16
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo	MOPT f=39 TT=0.525 T1=0.47	OPTIMUM f=39 TT=14.144 T1=14.08	OPTIMUM f=39 TT=1.393 T1=1.79	OPTIMUM f=39 TT=0.703 T1=0.36	OPTIMUM f=39 TT=0.525 T1=0.47
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	MOPT f=0 TT=0.105 T1=0.1	OPTIMUM f=0 TT=10.473 T1=10.42	OPTIMUM f=0 TT=1.124 T1=1.78	OPTIMUM f=0 TT=0.664 T1=0.34	OPTIMUM f=0 TT=0.105 T1=0.1
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh207_wcsp.wbo	MOPT f=0 TT=0.095 T1=0.08	OPTIMUM f=0 TT=9.551 T1=9.5	OPTIMUM f=0 TT=0.885 T1=1.54	OPTIMUM f=0 TT=0.597 T1=0.32	OPTIMUM f=0 TT=0.095 T1=0.08
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo	MOPT f=79 TT=0.276 T1=0.23	OPTIMUM f=79 TT=10.122 T1=10.07	OPTIMUM f=79 TT=1.323 T1=1.78	OPTIMUM f=79 TT=0.775 T1=0.37	OPTIMUM f=79 TT=0.276 T1=0.23
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh209_wcsp.wbo	MOPT f=0 TT=0.134 T1=0.12	OPTIMUM f=0 TT=6.736 T1=6.7	OPTIMUM f=0 TT=0.684 T1=0.77	OPTIMUM f=0 TT=0.535 T1=0.29	OPTIMUM f=0 TT=0.134 T1=0.12
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	MOPT f=0 TT=0.033 T1=0.03	OPTIMUM f=0 TT=0.033 T1=0.03	OPTIMUM f=0 TT=0.544 T1=0.77	OPTIMUM f=0 TT=0.483 T1=0.29	OPTIMUM f=0 TT=0.1 T1=0.09
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo	MOPT f=259 TT=0.722 T1=0.63	OPTIMUM f=259 TT=13.105 T1=13.05	OPTIMUM f=259 TT=1.524 T1=2.29	OPTIMUM f=259 TT=1.003 T1=0.36	OPTIMUM f=259 TT=0.722 T1=0.63
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo	MOPT f=0 TT=0.12 T1=0.12	OPTIMUM f=0 TT=0.28 T1=0.27	OPTIMUM f=0 TT=0.544 T1=0.76	OPTIMUM f=0 TT=0.455 T1=0.27	OPTIMUM f=0 TT=0.12 T1=0.12
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo	MOPT f=75 TT=0.259 T1=0.17	OPTIMUM f=75 TT=14.478 T1=14.41	OPTIMUM f=75 TT=1.483 T1=2.28	OPTIMUM f=75 TT=0.803 T1=0.37	OPTIMUM f=75 TT=0.259 T1=0.17
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo	MOPT f=88 TT=0.199 T1=0.17	OPTIMUM f=88 TT=12.149 T1=12.1	OPTIMUM f=88 TT=1.225 T1=1.8	OPTIMUM f=88 TT=0.684 T1=0.34	OPTIMUM f=88 TT=0.199 T1=0.17
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh216_wcsp.wbo	MOPT f=12 TT=0.182 T1=0.17	OPTIMUM f=12 TT=13.391 T1=13.33	OPTIMUM f=12 TT=1.606 T1=2.56	OPTIMUM f=12 TT=0.704 T1=0.34	OPTIMUM f=12 TT=0.182 T1=0.17
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo	MOPT f=0 TT=0.035 T1=0.03	OPTIMUM f=0 TT=0.035 T1=0.03	OPTIMUM f=0 TT=0.672 T1=0.78	OPTIMUM f=0 TT=0.494 T1=0.28	OPTIMUM f=0 TT=0.088 T1=0.08
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	MOPT f=0 TT=0.034 T1=0.03	OPTIMUM f=0 TT=0.034 T1=0.03	OPTIMUM f=0 TT=0.594 T1=0.76	OPTIMUM f=0 TT=0.463 T1=0.26	OPTIMUM f=0 TT=0.099 T1=0.09
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh219_wcsp.wbo	MOPT f=82 TT=0.419 T1=0.36	OPTIMUM f=82 TT=13.625 T1=13.57	OPTIMUM f=82 TT=1.323 T1=1.78	OPTIMUM f=82 TT=0.894 T1=0.4	OPTIMUM f=82 TT=0.419 T1=0.36
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	MOPT f=0 TT=0.036 T1=0.03	OPTIMUM f=0 TT=0.036 T1=0.03	OPTIMUM f=0 TT=0.845 T1=0.76	OPTIMUM f=0 TT=0.584 T1=0.31	OPTIMUM f=0 TT=0.136 T1=0.13
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh301_wcsp.wbo	MOPT f=0 TT=0.116 T1=0.11	OPTIMUM f=0 TT=12.863 T1=12.8	OPTIMUM f=0 TT=0.975 T1=1.3	OPTIMUM f=0 TT=0.655 T1=0.34	OPTIMUM f=0 TT=0.116 T1=0.11
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo	MOPT f=395 TT=1.147 T1=0.64	OPTIMUM f=395 TT=24.147 T1=24.05	OPTIMUM f=395 TT=2.074 T1=1.29	OPTIMUM f=395 TT=1.054 T1=0.31	OPTIMUM f=395 TT=1.147 T1=0.64
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh303_wcsp.wbo	MOPT f=351 TT=2.782 T1=1.68	OPTIMUM f=351 TT=33.078 T1=32.98	OPTIMUM f=351 TT=3.044 T1=6.32	OPTIMUM f=351 TT=5.833 T1=4.24	OPTIMUM f=351 TT=2.782 T1=1.68
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh304_wcsp.wbo	MOPT f=321 TT=1.118 T1=0.94	OPTIMUM f=321 TT=132.251 T1=132.2	OPTIMUM f=321 TT=2.234 T1=3.82	OPTIMUM f=321 TT=1.433 T1=0.64	OPTIMUM f=321 TT=1.118 T1=0.94
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo	MOPT f=742 TT=52.304 T1=36.52	OPTIMUM f=742 TT=79.413 T1=79.31	OPTIMUM f=742 TT=5.693 T1=3.32	OPTIMUM f=742 TT=4.283 T1=2.23	OPTIMUM f=742 TT=52.304 T1=36.52
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo	MOPT f=16 TT=0.39 T1=0.33	OPTIMUM f=16 TT=13.947 T1=13.88	OPTIMUM f=16 TT=1.973 T1=2.8	OPTIMUM f=16 TT=1.273 T1=0.56	OPTIMUM f=16 TT=0.39 T1=0.33
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo	MOPT f=540 TT=3.651 T1=2.82	OPTIMUM f=540 TT=22.509 T1=22.41	OPTIMUM f=540 TT=3.055 T1=5.82	OPTIMUM f=540 TT=3.064 T1=2.02	OPTIMUM f=540 TT=3.651 T1=2.82
Bench name	Best results	NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh308_wcsp.wbo	MOPT f=130 TT=0.935 T1=0.76	OPTIMUM f=130 TT=17.898 T1=17.82	OPTIMUM f=130 TT=2.024 T1=3.32	OPTIMUM f=130 TT=1.163 T1=0.47	OPTIMUM f=130 TT=0.935 T1=0.76
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo	MOPT f=276 TT=0.695 T1=0.52	OPTIMUM f=276 TT=16.027 T1=15.97	OPTIMUM f=276 TT=3.094 T1=5.32	OPTIMUM f=276 TT=1.144 T1=0.49	OPTIMUM f=276 TT=0.695 T1=0.52
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo	MOPT f=463 TT=7.943 T1=2.86	OPTIMUM f=463 TT=40.686 T1=40.59	MSAT (TO) f=463 TT=1800.46 T1=1761.27	OPTIMUM f=463 TT=2.573 T1=1.23	OPTIMUM f=463 TT=7.943 T1=2.86
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-connell_wcsp.wbo	MOPT f=1 TT=0.034 T1=0.03	OPTIMUM f=1 TT=0.034 T1=0.03	OPTIMUM f=1 TT=0.706 T1=0.78	OPTIMUM f=1 TT=0.484 T1=0.26	OPTIMUM f=1 TT=0.116 T1=0.11
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	MOPT f=1 TT=0.045 T1=0.04	OPTIMUM f=1 TT=0.045 T1=0.04	OPTIMUM f=1 TT=0.884 T1=0.79	OPTIMUM f=1 TT=0.523 T1=0.28	OPTIMUM f=1 TT=0.155 T1=0.14
/PARTIAL-SMALLINT-LIN/wcsp/ pedigree/normalized-sobel_wcsp.wbo	MOPT f=0 TT=0.02 T1=0.02	OPTIMUM f=0 TT=0.02 T1=0.02	OPTIMUM f=0 TT=0.394 T1=0.73	OPTIMUM f=0 TT=0.324 T1=0.21	OPTIMUM f=0 TT=0.072 T1=0.06
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo	MOPT f=114 TT=0.133 T1=0.13	OPTIMUM f=114 TT=0.133 T1=0.13	MSAT (TO) f=115 TT=1800.85 T1=1.78	MSAT (TO) f=118 TT=1800.07 T1=0.27	OPTIMUM f=114 TT=0.379 T1=0.34
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	MOPT f=37 TT=0.041 T1=0.04	OPTIMUM f=37 TT=0.041 T1=0.04	OPTIMUM f=37 TT=4.412 T1=2.22	OPTIMUM f=37 TT=2.246 T1=0.48	OPTIMUM f=37 TT=0.332 T1=0.32
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-8_wcsp.wbo	MOPT f=2 TT=0.002 T1=0	OPTIMUM f=2 TT=0.002 T1=0	OPTIMUM f=2 TT=0.175 T1=0.64	OPTIMUM f=2 TT=0.165 T1=0.12	OPTIMUM f=2 TT=0.017 T1=0.01

Statistics		NaPS 1.02 (complete)	Sat4j PB 2.3.6 Res+CP PB16 (complete)	Sat4j PB 2.3.6 Resolution PB16 (complete)	toysat 2016-05-02 (complete)
Number of times the solver is able to give the best known answer		547	0	0	454
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)		399	0	0	150