PB'07 evaluation: results by benchmark

Results by benchmark for category no optimisation, small integers, linear constraints (SATUNSAT-SMALLINT-LIN), subcategory Handmade, subsubcategory Traveling Salesperson Problem

This page displays the results of the different solvers for each benchmark for category no optimisation, small integers, linear constraints (SATUNSAT-SMALLINT-LIN), subcategory Handmade, subsubcategory Traveling Salesperson Problem

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
T1=...	Time to get the best model (T1): this is the wall clock time (in seconds) ellapsed when the solver found its best model. This time is obtained from the 'o lines'. It is useful to compare both complete and incomplete solvers. It doesn't take into account the time to prove optimality of the solution.

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 (complete solvers point of view)
text	the solver performed better than the other ones on that instance (incomplete solvers point of view)
text	the solver was ended by a signal or other problem
text	the solver gave an incomplete answer
text	the solver gave a wrong answer

For better readability, you may choose to hide some solvers:
absconPseudo 102
bsolo 3.0.16
bsolo 3.0.17
glpPB 0.2
minisat+ 1.14
oree 0.1.2 alpha
PB-clasp 2007-03-23
PB-clasp 2007-04-10
PBS4 2007-03-23
PBS4_v2 2007-03-23
Pueblo 1.4
sat4jPseudoCP 2007-03-23
sat4jPseudoCPClause 2007-03-23
SAT4JPseudoResolution 2007-03-23
wildcat-rnp 2007-03-21
wildcat-skc 2007-03-21

Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544463.opb	SAT TT=0.243 T1=0	SAT TT=18.929 T1=18.83	SAT TT=12.724 T1=12.67	SAT TT=12.668 T1=12.57	SAT TT=168.201 T1=168.15	SAT TT=12.915 T1=12.87	SAT TT=1075.64 T1=1075.53	SAT TT=17.203 T1=17.14	SAT TT=0.815 T1=0	SAT TT=0.675 T1=0.59	SAT TT=0.682 T1=0.59	SAT TT=9.365 T1=9.29	? (TO) TT=1800.28	? (TO) TT=1800.22	SAT TT=8.025 T1=7.92	SAT TT=0.243 T1=0.19	SAT TT=1.048 T1=1
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484.opb	UNSAT TT=36.733	? (TO) TT=1800.14	UNSAT TT=1548.41	UNSAT TT=1554.36	? (TO) TT=1800.03	UNSAT TT=50.656	? (TO) TT=1800.24	UNSAT TT=252.247	UNSAT TT=36.733	UNSAT TT=445.84	UNSAT TT=446.734	UNSAT TT=167.629	? (TO) TT=1800.19	? (TO) TT=1800.19	UNSAT TT=78.103	? (TO) TT=1800.09	? (TO) TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610.opb	UNSAT TT=90.275	? (TO) TT=1800.14	? TT=1800	? (TO) TT=1800.02	? (TO) TT=1800.08	UNSAT TT=395.557	? (TO) TT=1800.09	UNSAT TT=407.618	UNSAT TT=90.275	UNSAT TT=1238.06	UNSAT TT=1238.5	UNSAT TT=576.105	? (TO) TT=1800.21	? (TO) TT=1800.16	UNSAT TT=105.182	? (TO) TT=1800.02	? (TO) TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076.opb	UNSAT TT=4.993	? (TO) TT=1800.1	UNSAT TT=1666.13	UNSAT TT=1662.7	? (TO) TT=1800.05	UNSAT TT=6.944	UNSAT TT=1398.55	UNSAT TT=98.705	UNSAT TT=8.508	UNSAT TT=200.564	UNSAT TT=201.311	UNSAT TT=75.42	? (TO) TT=1800.2	? (TO) TT=1800.35	UNSAT TT=4.993	? (TO) TT=1800.05	? (TO) TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417.opb	UNSAT TT=29.867	? (TO) TT=1800.2	? TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.03	UNSAT TT=893.109	? (TO) TT=1800.1	UNSAT TT=339.951	UNSAT TT=63.966	UNSAT TT=1504.3	UNSAT TT=1506.52	UNSAT TT=320.562	? (TO) TT=1800.2	? (TO) TT=1800.21	UNSAT TT=29.867	? (TO) TT=1800.08	? (TO) TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547334.opb	SAT TT=0.36 T1=0	SAT TT=139.589 T1=139.55	SAT TT=35.58 T1=35.48	SAT TT=36.091 T1=36.07	SAT TT=229.586 T1=229.51	SAT TT=5.779 T1=5.69	? (TO) TT=1800.25	SAT TT=3.515 T1=3.44	SAT TT=0.522 T1=0	SAT TT=28.038 T1=27.98	SAT TT=28.077 T1=27.98	SAT TT=12.895 T1=12.88	? (TO) TT=1800.12	? (TO) TT=1800.2	SAT TT=3.692 T1=3.66	SAT TT=0.36 T1=0.29	SAT TT=4.899 T1=4.79
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547353.opb	SAT TT=0.432 T1=0	SAT TT=4.971 T1=4.92	SAT TT=6.86 T1=6.78	SAT TT=7.018 T1=6.99	SAT TT=344.157 T1=344.05	SAT TT=10.654 T1=10.58	SAT TT=456.81 T1=456.79	SAT TT=1.078 T1=0	SAT TT=0.432 T1=0	SAT TT=8.395 T1=8.29	SAT TT=8.402 T1=8.39	SAT TT=4.097 T1=3.99	? (TO) TT=1800.22	? (TO) TT=1800.23	SAT TT=1.818 T1=1.79	SAT TT=0.557 T1=0.49	SAT TT=0.554 T1=0.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389.opb	UNSAT TT=119.797	? (TO) TT=1800.09	UNSAT TT=1746.64	UNSAT TT=1741.78	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.19	UNSAT TT=367.561	UNSAT TT=136.052	UNSAT TT=1474.72	UNSAT TT=1419.11	UNSAT TT=258.17	? (TO) TT=1800.21	? (TO) TT=1800.19	UNSAT TT=119.797	? (TO) TT=1800.03	? (TO) TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547416.opb	SAT TT=0.275 T1=0.19	SAT TT=4.872 T1=4.82	SAT TT=23.499 T1=23.48	SAT TT=24.521 T1=24.49	SAT TT=68.056 T1=67.97	SAT TT=32.484 T1=32.38	? (TO) TT=1800.12	SAT TT=3.464 T1=3.34	SAT TT=3.445 T1=3.39	SAT TT=1.805 T1=1.79	SAT TT=1.79 T1=1.69	SAT TT=5.556 T1=5.45	? (TO) TT=1800.24	? (TO) TT=1800.27	SAT TT=6.435 T1=6.33	SAT TT=0.275 T1=0.19	SAT TT=0.376 T1=0.3
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547427.opb	SAT TT=0.067 T1=0	SAT TT=2.25 T1=2.2	SAT TT=4.8 T1=4.69	SAT TT=4.812 T1=4.79	SAT TT=671.349 T1=671.31	SAT TT=17.16 T1=17.09	? (TO) TT=1800.18	SAT TT=0.889 T1=0	SAT TT=0.879 T1=0	SAT TT=0.825 T1=0.79	SAT TT=0.829 T1=0.79	SAT TT=0.445 T1=0.39	? (TO) TT=1800.21	? (TO) TT=1800.17	SAT TT=2.632 T1=2.61	SAT TT=0.067 T1=0.06	SAT TT=0.403 T1=0.39
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547461.opb	SAT TT=0.556 T1=0.49	SAT TT=12.539 T1=12.52	SAT TT=9.112 T1=9.08	SAT TT=9.044 T1=8.97	SAT TT=580.244 T1=580.23	SAT TT=30.589 T1=30.57	? (TO) TT=1800.19	SAT TT=5.458 T1=5.34	SAT TT=1.177 T1=1.08	SAT TT=8.912 T1=8.88	SAT TT=9.407 T1=9.39	SAT TT=14.051 T1=13.98	? (TO) TT=1800.14	? (TO) TT=1800.22	SAT TT=2.47 T1=2.35	SAT TT=2.252 T1=2.2	SAT TT=0.556 T1=0.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667.opb	UNSAT TT=247.211	? (TO) TT=1800.1	? TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.31	UNSAT TT=944.167	UNSAT TT=247.211	? (TO) TT=1800.05	? (TO) TT=1800.08	UNSAT TT=791.075	? (TO) TT=1800.23	? (TO) TT=1800.23	UNSAT TT=871.461	? (TO) TT=1800.1	? (TO) TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900549974.opb	SAT TT=0.227 T1=0	SAT TT=76.221 T1=76.15	SAT TT=9.964 T1=9.89	SAT TT=9.972 T1=9.89	SAT TT=555.851 T1=555.74	SAT TT=12.639 T1=12.59	? (TO) TT=1800.27	SAT TT=4.538 T1=4.44	SAT TT=0.33 T1=0	SAT TT=8.797 T1=8.69	SAT TT=8.83 T1=8.79	SAT TT=17.512 T1=17.49	? (TO) TT=1800.22	? (TO) TT=1800.17	SAT TT=11.378 T1=11.32	SAT TT=0.602 T1=0.59	SAT TT=0.227 T1=0.19
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006.opb	UNSAT TT=153.987	? (TO) TT=1800.11	? TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.04	UNSAT TT=510.469	UNSAT TT=153.987	? (TO) TT=1800.06	? (TO) TT=1800.05	UNSAT TT=736.888	? (TO) TT=1800.23	? (TO) TT=1800.15	UNSAT TT=1131.22	? (TO) TT=1800.06	? (TO) TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720.opb	UNSAT TT=128.886	? (TO) TT=1800.04	? TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.08	UNSAT TT=577.276	? (TO) TT=1800.09	UNSAT TT=527.165	UNSAT TT=128.886	? (TO) TT=1800.13	? (TO) TT=1800.13	UNSAT TT=621.817	? (TO) TT=1800.21	? (TO) TT=1800.17	UNSAT TT=1007.18	? (TO) TT=1800.03	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347.opb	UNSAT TT=11.578	? (TO) TT=1800.14	UNSAT TT=1146.93	UNSAT TT=1136.4	? (TO) TT=1800.09	UNSAT TT=737.141	? (TO) TT=1800.06	UNSAT TT=220.94	UNSAT TT=21.464	UNSAT TT=408.61	UNSAT TT=407.926	UNSAT TT=133.768	? (TO) TT=1800.21	? (TO) TT=1800.12	UNSAT TT=11.578	? (TO) TT=1800.07	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864.opb	UNSAT TT=7.672	? (TO) TT=1800.12	UNSAT TT=1345.9	UNSAT TT=1346.34	? (TO) TT=1800.06	UNSAT TT=176.645	? (TO) TT=1800.21	UNSAT TT=170.634	UNSAT TT=25.314	UNSAT TT=424.461	UNSAT TT=425.365	UNSAT TT=119.602	? (TO) TT=1800.22	? (TO) TT=1800.18	UNSAT TT=7.672	? (TO) TT=1800.03	? (TO) TT=1800.04
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288.opb	UNSAT TT=99.774	? (TO) TT=1800.14	? TT=1800	? (TO) TT=1800.06	? (TO) TT=1800.08	UNSAT TT=112.125	? (TO) TT=1800.08	UNSAT TT=411.489	UNSAT TT=99.774	UNSAT TT=1137.87	UNSAT TT=1136.19	UNSAT TT=186.407	? (TO) TT=1800.16	? (TO) TT=1800.18	UNSAT TT=273.283	? (TO) TT=1800.09	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552311.opb	SAT TT=0.257 T1=0	SAT TT=10.556 T1=10.51	SAT TT=15.458 T1=15.39	SAT TT=15.572 T1=15.49	SAT TT=16.736 T1=16.67	SAT TT=9.273 T1=9.18	? (TO) TT=1800.19	SAT TT=8.502 T1=8.43	SAT TT=0.794 T1=0	SAT TT=0.257 T1=0.19	SAT TT=0.257 T1=0.19	SAT TT=0.789 T1=0.69	? (TO) TT=1800.15	? (TO) TT=1800.17	SAT TT=3.143 T1=3.06	SAT TT=0.542 T1=0.49	SAT TT=2.808 T1=2.79
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423.opb	UNSAT TT=1.403	? (TO) TT=1800.14	UNSAT TT=711.62	UNSAT TT=707.526	? (TO) TT=1800.03	UNSAT TT=10.35	UNSAT TT=317.06	UNSAT TT=61.57	UNSAT TT=1.403	UNSAT TT=29.18	UNSAT TT=30.838	UNSAT TT=17.656	? (TO) TT=1800.19	? (TO) TT=1800.23	UNSAT TT=2.673	? (TO) TT=1800.05	? (TO) TT=1800.05
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735.opb	UNSAT TT=63.158	? (TO) TT=1800.12	? TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.07	UNSAT TT=63.158	? (TO) TT=1800.07	UNSAT TT=382.614	UNSAT TT=84.055	UNSAT TT=1285.37	UNSAT TT=1287.67	UNSAT TT=169.519	? (TO) TT=1800.21	? (TO) TT=1800.17	UNSAT TT=1003.95	? (TO) TT=1800.05	? (TO) TT=1800.04
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553606.opb	SAT TT=1.134 T1=1.1	SAT TT=129.595 T1=129.51	SAT TT=106.007 T1=105.95	SAT TT=106.445 T1=106.35	SAT TT=1372.28 T1=1372.24	SAT TT=21.004 T1=20.98	SAT TT=238.174 T1=238.12	SAT TT=4.642 T1=4.54	SAT TT=3.944 T1=3.88	SAT TT=1.134 T1=1.1	SAT TT=1.145 T1=1.1	SAT TT=11.091 T1=10.99	? (TO) TT=1800.33	? (TO) TT=1800.21	SAT TT=2.013 T1=1.89	SAT TT=2.344 T1=2.29	SAT TT=6.558 T1=6.5
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553644.opb	SAT TT=0.062 T1=0	SAT TT=73.212 T1=73.1	SAT TT=2.21 T1=2.18	SAT TT=2.39 T1=2.29	SAT TT=26.393 T1=26.29	SAT TT=0.785 T1=0.68	SAT TT=1.634 T1=1.59	SAT TT=1.713 T1=1.64	SAT TT=0.352 T1=0	SAT TT=0.129 T1=0.09	SAT TT=0.12 T1=0.1	SAT TT=0.251 T1=0.19	? (TO) TT=1800.21	? (TO) TT=1800.16	SAT TT=4.06 T1=3.99	SAT TT=0.062 T1=0	SAT TT=0.075 T1=0.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647.opb	UNSAT TT=96.8	? (TO) TT=1800.15	? TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.09	UNSAT TT=403.638	? (TO) TT=1800.21	UNSAT TT=354.695	UNSAT TT=96.8	UNSAT TT=1499.47	UNSAT TT=1502.12	UNSAT TT=428.132	? (TO) TT=1800.19	? (TO) TT=1800.16	UNSAT TT=254.339	? (TO) TT=1800.03	? (TO) TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812.opb	UNSAT TT=18.75	? (TO) TT=1800.06	UNSAT TT=1597.34	UNSAT TT=1595.93	? (TO) TT=1800.05	UNSAT TT=41.969	? (TO) TT=1800.18	UNSAT TT=182.936	UNSAT TT=18.75	UNSAT TT=350.457	UNSAT TT=350.121	UNSAT TT=68.974	? (TO) TT=1800.13	? (TO) TT=1800.22	UNSAT TT=65.676	? (TO) TT=1800.09	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554067.opb	SAT TT=0.242 T1=0	SAT TT=36.901 T1=36.8	SAT TT=4.572 T1=4.49	SAT TT=4.647 T1=4.59	SAT TT=208.754 T1=208.71	SAT TT=2.587 T1=2.49	? (TO) TT=1800.08	SAT TT=1.283 T1=1.24	SAT TT=0.288 T1=0	SAT TT=0.833 T1=0.79	SAT TT=0.843 T1=0.79	SAT TT=1.778 T1=1.69	? (TO) TT=1800.17	? (TO) TT=1800.14	SAT TT=2.129 T1=2.03	SAT TT=0.242 T1=0.19	SAT TT=1.056 T1=1
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072.opb	UNSAT TT=11.883	? (TO) TT=1800.08	? TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.05	UNSAT TT=88.431	? (TO) TT=1800.12	UNSAT TT=268.042	UNSAT TT=36.301	UNSAT TT=540.991	UNSAT TT=518.353	UNSAT TT=191.165	? (TO) TT=1800.19	? (TO) TT=1800.2	UNSAT TT=11.883	? (TO) TT=1800.02	? (TO) TT=1800.12
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554154.opb	SAT TT=0.081 T1=0	SAT TT=20.836 T1=20.81	SAT TT=0.45 T1=0.39	SAT TT=0.457 T1=0.39	SAT TT=43.445 T1=43.37	SAT TT=0.9 T1=0.79	SAT TT=30.336 T1=30.29	SAT TT=1.198 T1=1.14	SAT TT=2.834 T1=2.78	SAT TT=0.081 T1=0	SAT TT=0.083 T1=0.06	SAT TT=5.879 T1=5.79	? (TO) TT=1800.2	? (TO) TT=1800.18	SAT TT=8.214 T1=8.13	SAT TT=0.323 T1=0.3	SAT TT=0.176 T1=0.09
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554373.opb	SAT TT=0.065 T1=0	SAT TT=9.8 T1=9.73	SAT TT=3.499 T1=3.49	SAT TT=3.599 T1=3.49	SAT TT=162.581 T1=162.53	SAT TT=0.557 T1=0.49	? (TO) TT=1800.07	SAT TT=1.483 T1=1.44	SAT TT=0.309 T1=0	SAT TT=0.802 T1=0.69	SAT TT=0.801 T1=0.69	SAT TT=0.456 T1=0.39	SAT TT=399.029 T1=398.88	? (TO) TT=1800.19	SAT TT=1.577 T1=1.37	SAT TT=0.065 T1=0	SAT TT=0.593 T1=0.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554375.opb	SAT TT=0.085 T1=0	SAT TT=1.341 T1=1.31	SAT TT=1.998 T1=1.89	SAT TT=2.017 T1=1.99	SAT TT=109.016 T1=108.96	SAT TT=10.653 T1=10.58	? (TO) TT=1800.08	SAT TT=1.707 T1=1.65	SAT TT=0.279 T1=0	SAT TT=2.491 T1=2.4	SAT TT=2.518 T1=2.49	SAT TT=4.06 T1=3.99	SAT TT=260.591 T1=260.48	? (TO) TT=1800.18	SAT TT=5.282 T1=5.17	SAT TT=0.085 T1=0.06	SAT TT=1.784 T1=1.69
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554389.opb	SAT TT=0.066 T1=0	SAT TT=4.076 T1=4.03	SAT TT=3.867 T1=3.79	SAT TT=3.876 T1=3.78	SAT TT=29.197 T1=29.17	SAT TT=13.409 T1=13.38	? (TO) TT=1800.29	SAT TT=0.507 T1=0	SAT TT=0.334 T1=0	SAT TT=0.261 T1=0.19	SAT TT=0.243 T1=0.19	SAT TT=0.148 T1=0.09	SAT TT=544.442 T1=544.35	? (TO) TT=1800.15	SAT TT=2.181 T1=2.14	SAT TT=0.066 T1=0	SAT TT=0.665 T1=0.59
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420.opb	UNSAT TT=14.15	? (TO) TT=1800.11	? TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.04	UNSAT TT=205.635	? (TO) TT=1800.21	UNSAT TT=200.585	UNSAT TT=23.297	UNSAT TT=629.872	UNSAT TT=605.853	UNSAT TT=234.829	? (TO) TT=1800.2	? (TO) TT=1800.35	UNSAT TT=14.15	? (TO) TT=1800.03	? (TO) TT=1800.02
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231.opb	UNSAT TT=37.995	? (TO) TT=1800.1	? TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.01	UNSAT TT=438.763	? (TO) TT=1800.19	UNSAT TT=333.483	UNSAT TT=37.995	UNSAT TT=952.121	UNSAT TT=953.591	UNSAT TT=364.574	? (TO) TT=1800.19	? (TO) TT=1800.17	UNSAT TT=177.496	? (TO) TT=1800.02	? (TO) TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362.opb	UNSAT TT=16.328	? (TO) TT=1800.14	UNSAT TT=1757.75	UNSAT TT=1764.15	? (TO) TT=1800.01	UNSAT TT=23.098	? (TO) TT=1800.19	UNSAT TT=286.624	UNSAT TT=16.328	UNSAT TT=488.395	UNSAT TT=488.231	UNSAT TT=63.58	? (TO) TT=1800.31	? (TO) TT=1800.19	UNSAT TT=450.914	? (TO) TT=1800.09	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557413.opb	SAT TT=0.542 T1=0.49	SAT TT=13.971 T1=13.94	SAT TT=19.661 T1=19.58	SAT TT=19.697 T1=19.59	SAT TT=60.605 T1=60.56	SAT TT=40.814 T1=40.77	? (TO) TT=1800.12	SAT TT=3.735 T1=3.64	SAT TT=1.436 T1=1.38	SAT TT=0.542 T1=0.49	SAT TT=0.55 T1=0.49	SAT TT=2.972 T1=2.89	SAT TT=773.679 T1=773.54	? (TO) TT=1800.19	SAT TT=9.848 T1=9.75	SAT TT=8.267 T1=8.19	SAT TT=3.624 T1=3.59
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557568.opb	SAT TT=0.018 T1=0	SAT TT=6.314 T1=6.28	SAT TT=0.41 T1=0.38	SAT TT=0.411 T1=0.39	SAT TT=7.791 T1=7.69	SAT TT=5.254 T1=5.18	SAT TT=1.077 T1=1	SAT TT=0.367 T1=0	SAT TT=0.294 T1=0	SAT TT=0.034 T1=0	SAT TT=0.031 T1=0	SAT TT=0.35 T1=0.29	SAT TT=34.384 T1=34.25	SAT TT=22.205 T1=22.13	SAT TT=1.703 T1=1.58	SAT TT=0.018 T1=0	SAT TT=0.388 T1=0.29
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574.opb	UNSAT TT=8.911	? (TO) TT=1800.11	UNSAT TT=1143.75	UNSAT TT=1139.91	? (TO) TT=1800.04	UNSAT TT=432.83	? (TO) TT=1800.15	UNSAT TT=297.035	UNSAT TT=21.447	UNSAT TT=467.557	UNSAT TT=468.676	UNSAT TT=168.028	? (TO) TT=1800.19	? (TO) TT=1800.21	UNSAT TT=8.911	? (TO) TT=1800.1	? (TO) TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957.opb	UNSAT TT=80.422	? (TO) TT=1800.1	UNSAT TT=1117.77	UNSAT TT=1111.75	? (TO) TT=1800.06	UNSAT TT=82.806	? (TO) TT=1800.18	UNSAT TT=359.304	UNSAT TT=80.422	UNSAT TT=730.363	UNSAT TT=704.113	UNSAT TT=131.48	? (TO) TT=1800.21	? (TO) TT=1800.19	UNSAT TT=465.922	? (TO) TT=1800.03	? (TO) TT=1800.03
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106.opb	UNSAT TT=19.502	? (TO) TT=1800.17	UNSAT TT=710.485	UNSAT TT=710.312	UNSAT TT=1616.74	UNSAT TT=98.112	? (TO) TT=1800.18	UNSAT TT=118.952	UNSAT TT=20.465	UNSAT TT=137.84	UNSAT TT=137.694	UNSAT TT=49.597	? (TO) TT=1800.2	? (TO) TT=1800.21	UNSAT TT=19.502	? (TO) TT=1800.08	? (TO) TT=1800.11
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739.opb	UNSAT TT=88.995	? (TO) TT=1800.13	? TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.08	UNSAT TT=269.726	? (TO) TT=1800.38	UNSAT TT=358.26	UNSAT TT=93.108	UNSAT TT=1418.59	UNSAT TT=1419.58	UNSAT TT=296.417	? (TO) TT=1800.09	? (TO) TT=1800.24	UNSAT TT=88.995	? (TO) TT=1800.04	? (TO) TT=1800.03
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559365.opb	SAT TT=0.089 T1=0	SAT TT=1.662 T1=1.64	SAT TT=33.639 T1=33.58	SAT TT=33.803 T1=33.78	SAT TT=52.227 T1=52.17	SAT TT=8.537 T1=8.49	SAT TT=109.679 T1=109.65	SAT TT=0.957 T1=0	SAT TT=1.38 T1=1.29	SAT TT=2.615 T1=2.59	SAT TT=2.458 T1=2.39	SAT TT=13.655 T1=13.58	? (TO) TT=1800.32	? (TO) TT=1800.21	SAT TT=2.651 T1=2.55	SAT TT=0.471 T1=0.39	SAT TT=0.089 T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559416.opb	SAT TT=1.085 T1=0.99	SAT TT=117.223 T1=117.2	SAT TT=92.238 T1=92.18	SAT TT=92.816 T1=92.76	SAT TT=584.882 T1=584.84	SAT TT=152.016 T1=151.99	? (TO) TT=1800.09	SAT TT=27.905 T1=27.84	SAT TT=1.301 T1=1.18	SAT TT=1.085 T1=1	SAT TT=1.098 T1=0.99	SAT TT=38.298 T1=38.24	? (TO) TT=1800.13	? (TO) TT=1800.17	SAT TT=3.623 T1=3.54	SAT TT=1.495 T1=1.39	SAT TT=8.525 T1=8.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559641.opb	SAT TT=0.503 T1=0.49	SAT TT=12.776 T1=12.71	SAT TT=26.562 T1=26.48	SAT TT=26.838 T1=26.78	SAT TT=50.89 T1=50.88	SAT TT=15.969 T1=15.89	? (TO) TT=1800.27	SAT TT=13.604 T1=13.54	SAT TT=1.651 T1=1.59	SAT TT=0.616 T1=0.59	SAT TT=0.622 T1=0.59	SAT TT=20.223 T1=20.18	? (TO) TT=1800.17	SAT TT=164.104 T1=164.02	SAT TT=2.331 T1=2.27	SAT TT=1.602 T1=1.49	SAT TT=0.503 T1=0.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676.opb	UNSAT TT=153.747	? (TO) TT=1800.12	? TT=1800	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.22	UNSAT TT=888.066	UNSAT TT=153.747	? (TO) TT=1800.14	? (TO) TT=1800.11	UNSAT TT=940.491	? (TO) TT=1800.21	? (TO) TT=1800.2	UNSAT TT=860.019	? (TO) TT=1800.09	? (TO) TT=1800.04
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288.opb	UNSAT TT=252.784	? (TO) TT=1800.06	? TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.21	UNSAT TT=773.399	UNSAT TT=252.784	? (TO) TT=1800.09	? (TO) TT=1800.07	UNSAT TT=654.215	? (TO) TT=1800.19	? (TO) TT=1800.15	? (TO) TT=1800.2	? (TO) TT=1800.09	? (TO) TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561384.opb	SAT TT=0.063 T1=0	SAT TT=14.761 T1=14.71	SAT TT=6.434 T1=6.38	SAT TT=12.874 T1=6.38	SAT TT=21.875 T1=21.78	SAT TT=0.236 T1=0.19	SAT TT=0.478 T1=0.4	SAT TT=1.186 T1=1.14	SAT TT=0.66 T1=0	SAT TT=0.084 T1=0	SAT TT=0.085 T1=0.05	SAT TT=2.7 T1=2.59	? (TO) TT=1800.22	? (TO) TT=1800.22	SAT TT=2.639 T1=2.58	SAT TT=0.063 T1=0.04	SAT TT=0.868 T1=0.79
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561389.opb	SAT TT=0.355 T1=0.29	SAT TT=28.316 T1=28.21	SAT TT=13.93 T1=13.88	SAT TT=13.767 T1=13.68	SAT TT=97.72 T1=97.66	SAT TT=21.429 T1=21.37	SAT TT=30.205 T1=30.18	SAT TT=2.19 T1=2.14	SAT TT=4.364 T1=4.28	SAT TT=4.598 T1=4.49	SAT TT=4.596 T1=4.49	SAT TT=3.1 T1=2.99	? (TO) TT=1800.24	? (TO) TT=1800.15	SAT TT=5.224 T1=5.19	SAT TT=0.355 T1=0.29	SAT TT=8.554 T1=8.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192.opb	UNSAT TT=45.073	? (TO) TT=1800.11	UNSAT TT=1387.53	UNSAT TT=1390.95	? (TO) TT=1800.07	UNSAT TT=361.2	? (TO) TT=1800.18	UNSAT TT=263.785	UNSAT TT=45.073	UNSAT TT=732.35	UNSAT TT=731.669	UNSAT TT=200.168	? (TO) TT=1800.17	? (TO) TT=1800.21	UNSAT TT=129.248	? (TO) TT=1800.04	? (TO) TT=1800.02
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250.opb	UNSAT TT=107.81	? (TO) TT=1800.11	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.07	UNSAT TT=975.341	? (TO) TT=1800.22	UNSAT TT=603.592	UNSAT TT=107.81	? (TO) TT=1800.06	? (TO) TT=1800.09	UNSAT TT=531.37	? (TO) TT=1800.13	? (TO) TT=1800.23	UNSAT TT=205.59	? (TO) TT=1800.03	? (TO) TT=1800.04
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801.opb	UNSAT TT=4.672	? (TO) TT=1800.14	UNSAT TT=935.913	UNSAT TT=944.364	? (TO) TT=1800.07	UNSAT TT=52.386	? (TO) TT=1800.17	UNSAT TT=186.059	UNSAT TT=16.123	UNSAT TT=337.048	UNSAT TT=337.069	UNSAT TT=201.766	? (TO) TT=1800.15	? (TO) TT=1800.25	UNSAT TT=4.672	? (TO) TT=1800.04	? (TO) TT=1800.08
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281.opb	UNSAT TT=9.605	? (TO) TT=1800.13	UNSAT TT=1487.39	UNSAT TT=1490.59	? (TO) TT=1800.1	UNSAT TT=154.07	? (TO) TT=1800.13	UNSAT TT=185.308	UNSAT TT=35.377	UNSAT TT=471.359	UNSAT TT=491.258	UNSAT TT=100.118	? (TO) TT=1800.14	? (TO) TT=1800.19	UNSAT TT=9.605	? (TO) TT=1800.04	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564822.opb	SAT TT=0.057 T1=0	SAT TT=1.739 T1=1.63	SAT TT=0.166 T1=0.09	SAT TT=0.164 T1=0.09	SAT TT=47.13 T1=47.08	SAT TT=0.987 T1=0.89	SAT TT=74.495 T1=74.46	SAT TT=0.534 T1=0	SAT TT=0.293 T1=0	SAT TT=0.284 T1=0.19	SAT TT=0.284 T1=0.19	SAT TT=0.231 T1=0.19	? (TO) TT=1800.16	SAT TT=1127.28 T1=1127.14	SAT TT=2.238 T1=2.21	SAT TT=0.057 T1=0.05	SAT TT=0.093 T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824.opb	UNSAT TT=2.497	? (TO) TT=1800.12	UNSAT TT=303.86	UNSAT TT=306.004	UNSAT TT=1783.48	UNSAT TT=68.944	UNSAT TT=765.812	UNSAT TT=29.293	UNSAT TT=2.611	UNSAT TT=24.732	UNSAT TT=24.801	UNSAT TT=9.014	? (TO) TT=1800.2	? (TO) TT=1800.15	UNSAT TT=2.497	? (TO) TT=1800.02	? (TO) TT=1800.04
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565527.opb	SAT TT=1.67 T1=1.59	SAT TT=96.692 T1=96.6	SAT TT=10.811 T1=10.76	SAT TT=10.76 T1=10.68	SAT TT=343.976 T1=343.91	SAT TT=1.727 T1=1.69	? (TO) TT=1800.26	SAT TT=1.879 T1=1.83	SAT TT=1.67 T1=1.59	SAT TT=2.304 T1=2.29	SAT TT=2.303 T1=2.29	SAT TT=3.455 T1=3.39	? (TO) TT=1800.2	? (TO) TT=1800.13	SAT TT=2.587 T1=2.43	SAT TT=2.615 T1=2.59	SAT TT=3.92 T1=3.89
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534.opb	UNSAT TT=42.764	? (TO) TT=1800.14	? TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.07	UNSAT TT=305.718	? (TO) TT=1800.09	UNSAT TT=355.19	UNSAT TT=72.875	UNSAT TT=1442.07	UNSAT TT=1444.64	UNSAT TT=309.717	? (TO) TT=1800.29	? (TO) TT=1800.2	UNSAT TT=42.764	? (TO) TT=1800.05	? (TO) TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566151.opb	SAT TT=0.03 T1=0	SAT TT=0.926 T1=0.91	SAT TT=1.517 T1=1.5	SAT TT=1.576 T1=1.49	SAT TT=4.763 T1=4.69	SAT TT=4.237 T1=4.19	SAT TT=1210.71 T1=1210.69	SAT TT=1.381 T1=1.34	SAT TT=0.282 T1=0	SAT TT=0.032 T1=0	SAT TT=0.03 T1=0	SAT TT=1.638 T1=1.59	? (TO) TT=1800.18	? (TO) TT=1800.19	SAT TT=1.856 T1=1.77	SAT TT=0.134 T1=0.1	SAT TT=0.306 T1=0.29
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157.opb	UNSAT TT=72.336	? (TO) TT=1800.14	UNSAT TT=622.418	UNSAT TT=616.659	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.13	UNSAT TT=167.715	UNSAT TT=72.336	UNSAT TT=407.328	UNSAT TT=406.823	UNSAT TT=134.655	? (TO) TT=1800.18	? (TO) TT=1800.15	UNSAT TT=370.582	? (TO) TT=1800.03	? (TO) TT=1800.11
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566263.opb	SAT TT=0.026 T1=0	SAT TT=0.843 T1=0.8	SAT TT=0.467 T1=0.39	SAT TT=0.455 T1=0.39	SAT TT=91.107 T1=91.07	SAT TT=0.847 T1=0.79	? (TO) TT=1800.21	SAT TT=0.949 T1=0	SAT TT=0.412 T1=0	SAT TT=0.913 T1=0.89	SAT TT=0.918 T1=0.89	SAT TT=6.956 T1=6.89	? (TO) TT=1800.19	? (TO) TT=1800.26	SAT TT=1.868 T1=1.78	SAT TT=0.057 T1=0	SAT TT=0.026 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566270.opb	SAT TT=0.163 T1=0	SAT TT=12.053 T1=12	SAT TT=8.846 T1=8.79	SAT TT=8.825 T1=8.79	SAT TT=68.145 T1=68.07	SAT TT=18.388 T1=18.29	SAT TT=1005.31 T1=1005.23	SAT TT=1.201 T1=1.14	SAT TT=0.303 T1=0	SAT TT=2.046 T1=1.99	SAT TT=2.058 T1=1.99	SAT TT=20.183 T1=20.08	? (TO) TT=1800.19	? (TO) TT=1800.21	SAT TT=2.757 T1=2.72	SAT TT=0.226 T1=0.19	SAT TT=0.163 T1=0.09
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567003.opb	SAT TT=2.285 T1=2.19	SAT TT=75.852 T1=75.77	SAT TT=7.403 T1=7.39	SAT TT=7.136 T1=7.1	SAT TT=808.101 T1=808.02	SAT TT=3.122 T1=3.08	? (TO) TT=1800.07	SAT TT=9.482 T1=9.43	SAT TT=2.392 T1=2.29	SAT TT=2.296 T1=2.19	SAT TT=2.285 T1=2.19	SAT TT=18.893 T1=18.78	? (TO) TT=1800.37	? (TO) TT=1800.2	SAT TT=3.599 T1=3.58	SAT TT=5.265 T1=5.19	SAT TT=3.2 T1=3.09
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024.opb	UNSAT TT=6.231	? (TO) TT=1800.17	UNSAT TT=1439.61	UNSAT TT=1434.19	? (TO) TT=1800.05	UNSAT TT=33.045	? (TO) TT=1800.15	UNSAT TT=170.601	UNSAT TT=48.455	UNSAT TT=703.544	UNSAT TT=703.051	UNSAT TT=217.608	? (TO) TT=1800.19	? (TO) TT=1800.2	UNSAT TT=6.231	? (TO) TT=1800.1	? (TO) TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135.opb	UNSAT TT=30.443	? (TO) TT=1800.06	UNSAT TT=1066.53	UNSAT TT=1060.11	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.18	UNSAT TT=182.271	UNSAT TT=30.443	UNSAT TT=355.544	UNSAT TT=356.423	UNSAT TT=128.307	? (TO) TT=1800.13	? (TO) TT=1800.36	UNSAT TT=247.204	? (TO) TT=1800.04	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567939.opb	SAT TT=0.221 T1=0.19	SAT TT=188.142 T1=188.07	SAT TT=51.082 T1=50.97	SAT TT=51.292 T1=51.27	SAT TT=40.591 T1=40.57	SAT TT=11.212 T1=11.18	? (TO) TT=1800.12	SAT TT=1.342 T1=1.24	SAT TT=2.307 T1=2.19	SAT TT=0.221 T1=0.19	SAT TT=0.222 T1=0.19	SAT TT=2.571 T1=2.49	? (TO) TT=1800.23	? (TO) TT=1800.18	SAT TT=4.006 T1=3.97	SAT TT=0.498 T1=0.4	SAT TT=13.36 T1=13.29
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985.opb	UNSAT TT=255.099	? (TO) TT=1800.12	? TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.05	UNSAT TT=1001.9	? (TO) TT=1800.12	UNSAT TT=797.19	UNSAT TT=255.099	? (TO) TT=1800.11	? (TO) TT=1800.08	UNSAT TT=590.85	? (TO) TT=1800.16	? (TO) TT=1800.23	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186.opb	UNSAT TT=5.704	? (TO) TT=1800.13	UNSAT TT=1450.41	UNSAT TT=1453.74	? (TO) TT=1800.02	UNSAT TT=443.433	? (TO) TT=1800.52	UNSAT TT=263.546	UNSAT TT=19.835	UNSAT TT=336.013	UNSAT TT=336.652	UNSAT TT=122.314	? (TO) TT=1800.2	? (TO) TT=1800.17	UNSAT TT=5.704	? (TO) TT=1800.02	? (TO) TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706.opb	UNSAT TT=19.514	? (TO) TT=1800.12	? TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.07	UNSAT TT=36.312	? (TO) TT=1800.29	UNSAT TT=289.196	UNSAT TT=26.645	UNSAT TT=952.233	UNSAT TT=951.228	UNSAT TT=150.816	? (TO) TT=1800.22	? (TO) TT=1800.16	UNSAT TT=19.514	? (TO) TT=1800.08	? (TO) TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568952.opb	SAT TT=1.661 T1=1.57	SAT TT=135.398 T1=135.35	SAT TT=49.218 T1=49.17	SAT TT=49.767 T1=49.75	SAT TT=237.048 T1=237.01	SAT TT=105.01 T1=104.95	? (TO) TT=1800.36	SAT TT=20.702 T1=20.63	SAT TT=1.661 T1=1.57	SAT TT=4.848 T1=4.79	SAT TT=5.231 T1=5.19	SAT TT=48.364 T1=48.27	? (TO) TT=1800.17	? (TO) TT=1800.23	SAT TT=13.511 T1=13.4	SAT TT=7.956 T1=7.89	SAT TT=6.476 T1=6.39
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834.opb	UNSAT TT=37.324	? (TO) TT=1800.1	? TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.1	UNSAT TT=84.686	? (TO) TT=1800.13	UNSAT TT=263.859	UNSAT TT=37.324	UNSAT TT=733.812	UNSAT TT=735.513	UNSAT TT=215.911	? (TO) TT=1800.15	? (TO) TT=1800.17	UNSAT TT=48.438	? (TO) TT=1800.09	? (TO) TT=1800.02
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242.opb	UNSAT TT=31.311	? (TO) TT=1800.09	UNSAT TT=1555.83	UNSAT TT=1551.58	? (TO) TT=1800.04	UNSAT TT=184.739	? (TO) TT=1800.22	UNSAT TT=189.123	UNSAT TT=31.311	UNSAT TT=440.601	UNSAT TT=440.608	UNSAT TT=135.89	? (TO) TT=1800.23	? (TO) TT=1800.15	UNSAT TT=38.419	? (TO) TT=1800.08	? (TO) TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571131.opb	SAT TT=0.039 T1=0	SAT TT=1.083 T1=1	SAT TT=1.201 T1=1.19	SAT TT=1.201 T1=1.09	SAT TT=87.395 T1=87.36	SAT TT=0.649 T1=0.59	SAT TT=810.257 T1=810.19	SAT TT=0.588 T1=0	SAT TT=0.443 T1=0	SAT TT=0.48 T1=0.39	SAT TT=0.482 T1=0.39	SAT TT=0.711 T1=0.69	? (TO) TT=1800.33	? (TO) TT=1800.15	SAT TT=2.097 T1=2	SAT TT=0.039 T1=0	SAT TT=0.082 T1=0
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132.opb	UNSAT TT=136.413	? (TO) TT=1800.09	UNSAT TT=1696.8	UNSAT TT=1687.63	? (TO) TT=1800.02	UNSAT TT=1153.71	? (TO) TT=1800.12	UNSAT TT=278.648	UNSAT TT=136.413	UNSAT TT=1166.36	UNSAT TT=1168.93	UNSAT TT=345.236	? (TO) TT=1800.15	? (TO) TT=1800.18	UNSAT TT=252.831	? (TO) TT=1800.03	? (TO) TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761.opb	UNSAT TT=133.24	? (TO) TT=1800.14	? TT=1800.01	? (TO) TT=1800.11	? (TO) TT=1800.03	UNSAT TT=1587.12	? (TO) TT=1800.15	UNSAT TT=400.908	UNSAT TT=133.24	UNSAT TT=1632.11	UNSAT TT=1631.53	UNSAT TT=351.727	? (TO) TT=1800.16	? (TO) TT=1800.15	UNSAT TT=689.269	? (TO) TT=1800.04	? (TO) TT=1800.03
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137.opb	UNSAT TT=134.304	? (TO) TT=1800.1	? TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.09	UNSAT TT=204.588	? (TO) TT=1800.24	UNSAT TT=434.428	UNSAT TT=134.304	UNSAT TT=1749.3	UNSAT TT=1746.88	UNSAT TT=321.04	? (TO) TT=1800.18	? (TO) TT=1800.19	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.04
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901.opb	UNSAT TT=38.912	? (TO) TT=1800.15	? TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.08	UNSAT TT=991.536	? (TO) TT=1800.15	UNSAT TT=437.126	UNSAT TT=95.161	UNSAT TT=1303.01	UNSAT TT=1355.51	UNSAT TT=341.253	? (TO) TT=1800.15	? (TO) TT=1800.21	UNSAT TT=38.912	? (TO) TT=1800.07	? (TO) TT=1800.03
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864.opb	UNSAT TT=37.667	? (TO) TT=1800.14	? TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.03	UNSAT TT=207.209	? (TO) TT=1800.32	UNSAT TT=217.545	UNSAT TT=37.667	UNSAT TT=594.791	UNSAT TT=595.537	UNSAT TT=176.322	? (TO) TT=1800.14	? (TO) TT=1800.19	UNSAT TT=58.838	? (TO) TT=1800.08	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574948.opb	SAT TT=0.15 T1=0	SAT TT=26.78 T1=26.72	SAT TT=8.727 T1=8.69	SAT TT=8.783 T1=8.69	SAT TT=95.1 T1=95.06	SAT TT=7.346 T1=7.29	? (TO) TT=1800.11	SAT TT=1.631 T1=1.54	SAT TT=0.306 T1=0	SAT TT=0.7 T1=0.59	SAT TT=0.695 T1=0.58	SAT TT=3.827 T1=3.79	SAT TT=210.116 T1=209.96	SAT TT=217.589 T1=217.5	SAT TT=1.887 T1=1.76	SAT TT=0.15 T1=0.09	SAT TT=0.527 T1=0.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574974.opb	SAT TT=0.025 T1=0	SAT TT=8.644 T1=8.62	SAT TT=0.293 T1=0.19	SAT TT=0.294 T1=0.19	SAT TT=35.24 T1=35.18	SAT TT=3.754 T1=3.68	SAT TT=21.172 T1=21.08	SAT TT=0.78 T1=0	SAT TT=0.731 T1=0	SAT TT=0.308 T1=0.29	SAT TT=0.312 T1=0.29	SAT TT=2.026 T1=1.99	? (TO) TT=1800.13	? (TO) TT=1800.11	SAT TT=3.613 T1=3.55	SAT TT=0.025 T1=0	SAT TT=0.597 T1=0.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442.opb	UNSAT TT=15.93	? (TO) TT=1800.11	UNSAT TT=1700.32	UNSAT TT=1709.72	? (TO) TT=1800.06	UNSAT TT=67.407	? (TO) TT=1800.12	UNSAT TT=339.02	UNSAT TT=35.368	UNSAT TT=595.336	UNSAT TT=596.023	UNSAT TT=261.837	? (TO) TT=1800.22	? (TO) TT=1800.19	UNSAT TT=15.93	? (TO) TT=1800.07	? (TO) TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151.opb	UNSAT TT=119.662	? (TO) TT=1800.15	? TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.04	UNSAT TT=286.636	? (TO) TT=1800.32	UNSAT TT=508.716	UNSAT TT=119.662	? (TO) TT=1800.11	? (TO) TT=1800.06	UNSAT TT=609.925	UNSAT TT=516.144	? (TO) TT=1800.15	UNSAT TT=597.417	? (TO) TT=1800.01	? (TO) TT=1800.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360.opb	UNSAT TT=95.302	? (TO) TT=1800.13	UNSAT TT=1363.13	UNSAT TT=1362.95	? (TO) TT=1800.04	UNSAT TT=282.09	? (TO) TT=1800.46	UNSAT TT=237.4	UNSAT TT=95.302	UNSAT TT=694.427	UNSAT TT=696.08	UNSAT TT=167.213	? (TO) TT=1800.12	? (TO) TT=1800.23	UNSAT TT=849.72	? (TO) TT=1800.05	? (TO) TT=1800.1
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576918.opb	SAT TT=0.038 T1=0	SAT TT=4.303 T1=4.21	SAT TT=18.306 T1=18.28	SAT TT=18.403 T1=18.39	SAT TT=208.005 T1=207.94	SAT TT=5.409 T1=5.39	? (TO) TT=1800.15	SAT TT=1.026 T1=0	SAT TT=0.267 T1=0	SAT TT=1.622 T1=1.59	SAT TT=1.606 T1=1.59	SAT TT=0.674 T1=0.59	? (TO) TT=1800.21	? (TO) TT=1800.14	SAT TT=2.059 T1=2.02	SAT TT=0.045 T1=0	SAT TT=0.038 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927.opb	UNSAT TT=143.279	? (TO) TT=1800.04	? TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.09	UNSAT TT=879.57	? (TO) TT=1800.22	UNSAT TT=445.534	UNSAT TT=143.279	? (TO) TT=1800.11	? (TO) TT=1800.06	UNSAT TT=353.663	? (TO) TT=1800.22	? (TO) TT=1800.21	UNSAT TT=551.406	? (TO) TT=1800.06	? (TO) TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577000.opb	SAT TT=0.022 T1=0	SAT TT=1.471 T1=1.42	SAT TT=0.982 T1=0.89	SAT TT=1.05 T1=0.99	SAT TT=256.816 T1=256.71	SAT TT=11.754 T1=11.68	SAT TT=0.168 T1=0.09	SAT TT=3.951 T1=3.84	SAT TT=0.544 T1=0	SAT TT=0.75 T1=0.69	SAT TT=0.752 T1=0.69	SAT TT=0.58 T1=0.49	? (TO) TT=1800.17	SAT TT=42.14 T1=42.02	SAT TT=1.831 T1=1.77	SAT TT=0.022 T1=0	SAT TT=0.084 T1=0.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940.opb	UNSAT TT=152.087	? (TO) TT=1800.16	? TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.08	UNSAT TT=661.057	? (TO) TT=1800.24	UNSAT TT=616.281	UNSAT TT=152.087	? (TO) TT=1800.09	? (TO) TT=1800.1	UNSAT TT=582.822	? (TO) TT=1800.17	? (TO) TT=1800.15	UNSAT TT=746.591	? (TO) TT=1800.1	? (TO) TT=1800.06
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996.opb	UNSAT TT=203.491	? (TO) TT=1800.1	? TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.11	UNSAT TT=541.051	? (TO) TT=1800.32	UNSAT TT=541.344	UNSAT TT=203.491	? (TO) TT=1800.05	? (TO) TT=1800.14	UNSAT TT=587.83	? (TO) TT=1800.13	? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.03	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320.opb	UNSAT TT=65.752	? (TO) TT=1800.13	? TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.17	UNSAT TT=457.544	UNSAT TT=65.752	UNSAT TT=1396.65	UNSAT TT=1396.75	UNSAT TT=395.569	? (TO) TT=1800.25	? (TO) TT=1800.14	UNSAT TT=253.922	? (TO) TT=1800.06	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581321.opb	SAT TT=0.021 T1=0	SAT TT=14.193 T1=14.11	SAT TT=0.081 T1=0	SAT TT=0.079 T1=0.05	SAT TT=82.167 T1=82.06	SAT TT=0.384 T1=0.29	SAT TT=546.65 T1=546.57	SAT TT=0.608 T1=0	SAT TT=0.3 T1=0	SAT TT=0.1 T1=0.02	SAT TT=0.099 T1=0.08	SAT TT=0.31 T1=0.29	SAT TT=130.394 T1=130.26	SAT TT=153.534 T1=153.39	SAT TT=2.674 T1=2.59	SAT TT=0.066 T1=0	SAT TT=0.021 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300.opb	UNSAT TT=109.025	? (TO) TT=1800.12	? TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.05	UNSAT TT=964.99	? (TO) TT=1800.41	UNSAT TT=611.203	UNSAT TT=109.025	? (TO) TT=1800.04	? (TO) TT=1800.08	UNSAT TT=465.21	? (TO) TT=1800.14	? (TO) TT=1800.2	UNSAT TT=115.823	? (TO) TT=1800.01	? (TO) TT=1800.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582376.opb	SAT TT=0.094 T1=0	SAT TT=119.271 T1=119.18	SAT TT=50.678 T1=50.66	SAT TT=49.986 T1=49.97	SAT TT=25.76 T1=25.69	SAT TT=13.028 T1=12.99	? (TO) TT=1800.15	SAT TT=7.408 T1=7.34	SAT TT=0.371 T1=0	SAT TT=0.094 T1=0.02	SAT TT=0.094 T1=0.05	SAT TT=4.761 T1=4.69	? (TO) TT=1800.17	? (TO) TT=1800.3	SAT TT=4.369 T1=4.34	SAT TT=0.44 T1=0.39	SAT TT=1.599 T1=1.49
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053.opb	UNSAT TT=182.982	? (TO) TT=1800.13	? TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.1	UNSAT TT=991.926	? (TO) TT=1800.08	UNSAT TT=599.247	UNSAT TT=182.982	? (TO) TT=1800.09	? (TO) TT=1800.06	UNSAT TT=722.509	? (TO) TT=1800.29	? (TO) TT=1800.18	UNSAT TT=940.074	? (TO) TT=1800.02	? (TO) TT=1800.11
Bench name	Best results on this instance	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106.opb	UNSAT TT=6.941	? (TO) TT=1800.1	UNSAT TT=1261.08	UNSAT TT=1265.16	? (TO) TT=1800.08	UNSAT TT=105.12	? (TO) TT=1800.17	UNSAT TT=251.889	UNSAT TT=6.941	UNSAT TT=347.529	UNSAT TT=333.199	UNSAT TT=92.933	? (TO) TT=1800.18	? (TO) TT=1800.18	UNSAT TT=22.583	? (TO) TT=1800.1	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219.opb	UNSAT TT=20.824	? (TO) TT=1800.11	? TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.03	UNSAT TT=1354.28	? (TO) TT=1800.17	UNSAT TT=403.73	UNSAT TT=60.427	UNSAT TT=1414.77	UNSAT TT=1418.08	UNSAT TT=240.155	? (TO) TT=1800.13	? (TO) TT=1800.27	UNSAT TT=20.824	? (TO) TT=1800.07	? (TO) TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195.opb	UNSAT TT=125.706	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.03	UNSAT TT=536.755	? (TO) TT=1800.26	UNSAT TT=642.327	UNSAT TT=125.706	? (TO) TT=1800.09	? (TO) TT=1800.12	UNSAT TT=567.528	? (TO) TT=1800.14	? (TO) TT=1800.29	UNSAT TT=1091.94	? (TO) TT=1800.1	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669299.opb	SAT TT=0.145 T1=0	SAT TT=6.84 T1=6.75	SAT TT=5.72 T1=5.69	SAT TT=5.699 T1=5.68	SAT TT=326.47 T1=326.42	SAT TT=0.247 T1=0.19	? (TO) TT=1800.31	SAT TT=0.851 T1=0	SAT TT=0.449 T1=0	SAT TT=0.773 T1=0.69	SAT TT=0.775 T1=0.69	SAT TT=9.196 T1=9.09	SAT TT=5.326 T1=5.27	? (TO) TT=1800.2	SAT TT=1.994 T1=1.91	SAT TT=0.145 T1=0.09	SAT TT=1.047 T1=1
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669309.opb	SAT TT=3.192 T1=3.12	SAT TT=7.485 T1=7.43	SAT TT=123.104 T1=123.07	SAT TT=123.519 T1=123.44	SAT TT=336.836 T1=336.81	SAT TT=38.925 T1=38.86	? (TO) TT=1800.12	SAT TT=20.623 T1=20.54	SAT TT=12.873 T1=12.79	SAT TT=7.176 T1=7.09	SAT TT=7.177 T1=7.08	SAT TT=42.193 T1=42.1	? (TO) TT=1800.13	? (TO) TT=1800.34	SAT TT=3.192 T1=3.12	SAT TT=11.912 T1=11.89	SAT TT=5.33 T1=5.29
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797.opb	UNSAT TT=65.275	? (TO) TT=1800.13	? TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.01	UNSAT TT=76.76	? (TO) TT=1800.15	UNSAT TT=351.337	UNSAT TT=65.275	UNSAT TT=1288.97	UNSAT TT=1291.04	UNSAT TT=228.989	? (TO) TT=1800.22	? (TO) TT=1800.24	UNSAT TT=1155.7	? (TO) TT=1800.1	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167.opb	UNSAT TT=16.639	? (TO) TT=1800.1	UNSAT TT=1701.49	UNSAT TT=1775.63	? (TO) TT=1800.06	UNSAT TT=33.587	? (TO) TT=1800.1	UNSAT TT=400.395	UNSAT TT=32.163	UNSAT TT=1713.73	UNSAT TT=1720.5	UNSAT TT=243.662	? (TO) TT=1800.14	? (TO) TT=1800.23	UNSAT TT=16.639	? (TO) TT=1800.04	? (TO) TT=1800.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234.opb	UNSAT TT=224.554	? (TO) TT=1800.12	? TT=1799.9	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.17	UNSAT TT=754.187	UNSAT TT=224.554	? (TO) TT=1800.09	? (TO) TT=1800.14	UNSAT TT=623.633	? (TO) TT=1800.14	? (TO) TT=1800.24	? (TO) TT=1800.15	? (TO) TT=1800.11	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675.opb	UNSAT TT=7.884	? (TO) TT=1800.12	? TT=1800	? (TO) TT=1800.1	? (TO) TT=1800.08	UNSAT TT=51.104	? (TO) TT=1800.36	UNSAT TT=168.814	UNSAT TT=9.448	UNSAT TT=402.379	UNSAT TT=401.893	UNSAT TT=196.836	? (TO) TT=1800.17	? (TO) TT=1800.13	UNSAT TT=7.884	? (TO) TT=1800.06	? (TO) TT=1800.02
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670756.opb	SAT TT=0.023 T1=0	SAT TT=10.118 T1=10.01	SAT TT=2.187 T1=2.09	SAT TT=2.224 T1=2.2	SAT TT=100.728 T1=100.66	SAT TT=13.552 T1=13.47	SAT TT=1564.35 T1=1564.32	SAT TT=0.81 T1=0	SAT TT=0.56 T1=0	SAT TT=2.225 T1=2.2	SAT TT=2.064 T1=1.99	SAT TT=0.15 T1=0.1	? (TO) TT=1800.19	? (TO) TT=1800.35	SAT TT=1.825 T1=1.75	SAT TT=0.111 T1=0.09	SAT TT=0.023 T1=0

Some statistics...

	absconPseudo 102	bsolo 3.0.16	bsolo 3.0.17	glpPB 0.2	minisat+ 1.14	oree 0.1.2 alpha	PB-clasp 2007-03-23	PB-clasp 2007-04-10	PBS4 2007-03-23	PBS4_v2 2007-03-23	Pueblo 1.4	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23	wildcat-rnp 2007-03-21	wildcat-skc 2007-03-21
Number of times the solver is able to give the best known answer	40	65	65	42	91	20	100	100	85	85	100	9	6	95	40	40
Number of times the solver is able to give the best known answer from an incomplete solver point of view (i.e. without considering optimality proof)	40	65	65	42	91	20	100	100	85	85	100	9	6	95	40	40
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)	0	0	0	0	1	0	0	40	7	4	0	0	0	23	18	9
Number of times the solver is the best solver from an incomplete solver point of view (i.e. best known answer and best T1 time)	0	1	0	0	0	0	13	28	8	7	0	0	0	1	12	7