PB'10 competition: satisfaction and optimization track: results by benchmark

Results by benchmark for category no optimisation, small integers, non linear constraints (DEC-SMALLINT-NLC)

This page displays the results of the different solvers for each benchmark for category no optimisation, small integers, non linear constraints (DEC-SMALLINT-NLC)

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 (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:
borg-pb 10.05.30 (complete)
bsolo 3.2 Card (complete)
bsolo 3.2 Cl (complete)
pb_cplex 2010-06-29 (complete)
PB/CT 0.1 (complete)
PB/CT 0.1 fixed (complete)
PBPASSolver 2010-06-13 (complete)
PB-wave alpha 2 (incomplete)
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)
SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)
SAT4J PB Resolution 2.2.0 2010-05-26 (complete)
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)
SCIPnone SCIP 1.2.1.2 without any LP solver (complete)
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
wbo 1.4a (complete)

Bench name	Best results on this instance	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_1_15.opb	SAT TT=0.044 T1=0.04	SAT TT=220.137 T1=206.26	SAT TT=0.366 T1=0.36	? TT=1798.03	SAT TT=0.17 T1=0.16	SAT TT=0.741 T1=0.56	SAT TT=0.701 T1=0.52	Wrong Cert. TT=2.674	SAT TT=0.044 T1=0.04	SAT TT=11.044 T1=3.18	SAT TT=7.556 T1=4.92	? (TO) TT=1800.21	SAT TT=28.747 T1=28.73	SAT TT=86.585 T1=86.58	SAT TT=5.603 T1=5.58	SAT TT=5.545 T1=5.52	SAT TT=79.732 T1=79.73
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_1_40.opb		? TT=686.992	? TT=1798.02	? TT=1798.03	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1804.24	? (TO) TT=1800.2	? (TO) TT=1800.35	? (TO) TT=1802.18	? (TO) TT=1800.17	? TT=1789.59	? (TO) TT=1800.19
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_2_15.opb	SAT TT=0.039 T1=0.03	No Cert. TT=31.038	SAT TT=0.384 T1=0.38	? TT=1798.03	SAT TT=0.215 T1=0.21	SAT TT=0.714 T1=0.54	SAT TT=0.707 T1=0.53	Wrong Cert. TT=8.2	SAT TT=0.039 T1=0.03	SAT TT=5.597 T1=3.02	SAT TT=9.074 T1=5.3	? (TO) TT=1800.23	SAT TT=9.69 T1=9.66	SAT TT=3.938 T1=3.92	SAT TT=9.782 T1=9.76	SAT TT=5.229 T1=5.2	SAT TT=0.085 T1=0.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_2_40.opb		No Cert. TT=3.397	? TT=1798.02	? TT=1798.13	? (TO) TT=1800.2	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.19	? (TO) TT=1803.74	? (TO) TT=1800.13	? (TO) TT=1800.28	? (TO) TT=1802.18	? (TO) TT=1800.24	? TT=1789.37	? (TO) TT=1800.27
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_3_15.opb	SAT TT=0.03 T1=0.03	SAT TT=222.313 T1=207.19	SAT TT=0.366 T1=0.36	? TT=1798.03	SAT TT=0.166 T1=0.16	SAT TT=0.708 T1=0.53	SAT TT=0.703 T1=0.53	Wrong Cert. TT=76.203	SAT TT=0.03 T1=0.03	SAT TT=4.721 T1=2.76	SAT TT=8.16 T1=4.96	? (TO) TT=1800.18	SAT TT=22.632 T1=22.61	SAT TT=1.108 T1=1.09	SAT TT=6.38 T1=6.36	SAT TT=11.487 T1=11.46	SAT TT=0.081 T1=0.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_3_40.opb		No Cert. TT=3.42	? TT=1798.02	? (TO) TT=1800.15	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.05	Wrong Cert. TT=184.147	? (TO) TT=1800.07	? (TO) TT=1800.24	? (TO) TT=1801.28	? (TO) TT=1800.19	? (TO) TT=1800.5	? (TO) TT=1802.21	? (TO) TT=1800.32	? TT=1789.63	? (MO) TT=1744.81
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_4_15.opb	SAT TT=0.034 T1=0.03	SAT TT=221.845 T1=207.51	SAT TT=0.416 T1=0.41	? TT=1798.03	SAT TT=0.17 T1=0.16	SAT TT=0.75 T1=0.57	SAT TT=0.705 T1=0.53	Wrong Cert. TT=0.915	SAT TT=0.034 T1=0.03	SAT TT=4.54 T1=2.65	SAT TT=7.847 T1=4.89	? (TO) TT=1800.01	SAT TT=16.432 T1=16.41	SAT TT=0.809 T1=0.79	SAT TT=5.62 T1=5.59	SAT TT=7.247 T1=7.22	SAT TT=0.075 T1=0.07
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_4_40.opb		? TT=685.655	? TT=1798.02	? TT=1798.15	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.2	? (TO) TT=1800.48	? (TO) TT=1800.2	? (TO) TT=1800.28	? (TO) TT=1802.17	? (TO) TT=1800.61	? TT=1789.42	? (TO) TT=1800.24
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_5_15.opb	SAT TT=0.025 T1=0.02	No Cert. TT=2.286	SAT TT=0.38 T1=0.37	? TT=1798.03	SAT TT=0.245 T1=0.23	SAT TT=1.809 T1=1.64	SAT TT=1.569 T1=1.39	Wrong Cert. TT=15.864	SAT TT=0.025 T1=0.02	SAT TT=3.805 T1=2.01	SAT TT=5.836 T1=3.86	? (TO) TT=1800.28	SAT TT=9.226 T1=9.2	SAT TT=3.966 T1=3.95	SAT TT=4.566 T1=4.54	SAT TT=3.906 T1=3.88	SAT TT=0.078 T1=0.07
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_10_5_40.opb		No Cert. TT=3.702	? TT=1798.02	? TT=1798.02	? (TO) TT=1800.16	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.17	? (TO) TT=1800.54	? (TO) TT=1800.16	? (TO) TT=1800.3	? (TO) TT=1802.16	? (TO) TT=1800.4	? TT=1789.64	? (TO) TT=1800.2
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_1_15.opb		No Cert. TT=2.857	? TT=1798.05	? TT=1798.53	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.09	Wrong Cert. TT=2.839	? (TO) TT=1800.06	? (TO) TT=1800.17	? (TO) TT=1800.51	? (TO) TT=1800.25	? (TO) TT=1800.21	? (TO) TT=1802.17	? (TO) TT=1800.26	? TT=1789.55	? (MO) TT=1636.96
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_1_40.opb	UNSAT TT=206.709	No Cert. TT=29.742	? TT=1798.05	? TT=1798.05	UNSAT TT=206.709	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.21	? (TO) TT=1800.23	? (TO) TT=1800.2	UNSAT TT=1799.11	? (TO) TT=1802.14	UNSAT TT=1798.34	UNSAT TT=1679.36	? (MO) TT=1515.4
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_2_15.opb		No Cert. TT=2.586	? TT=1798.07	? TT=1798.06	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.12	Wrong Cert. TT=8.997	? (TO) TT=1800.07	? (TO) TT=1800.19	? (TO) TT=1800.45	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1802.21	? (TO) TT=1800.22	? TT=1789.52	? (MO) TT=1551.77
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_2_40.opb	UNSAT TT=224.685	? TT=686.202	? TT=1798.09	? TT=1798.07	UNSAT TT=224.685	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.18	? (TO) TT=1800.75	? (TO) TT=1800.18	UNSAT TT=1569.93	? (TO) TT=1802.14	UNSAT TT=1697.54	UNSAT TT=1555.19	? (MO) TT=1529.48
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_3_15.opb		No Cert. TT=9.632	? TT=1798.05	? TT=1798.07	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.04	Wrong Cert. TT=17.392	? (TO) TT=1800.05	? (TO) TT=1800.22	? (TO) TT=1800.33	? (TO) TT=1800.16	? (TO) TT=1800.2	? (TO) TT=1802.24	? (TO) TT=1800.16	? TT=1789.72	? (TO) TT=1800.19
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_3_40.opb	UNSAT TT=247.072	? TT=684.078	? TT=1798.04	? TT=1798.24	UNSAT TT=247.072	? (TO) TT=1800.07	? (TO) TT=1800.07	Wrong Cert. TT=879.673	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.32	? (TO) TT=1800.15	UNSAT TT=1467.02	? (TO) TT=1802.14	UNSAT TT=1649.1	UNSAT TT=1536.77	? (MO) TT=1519.52
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_4_15.opb		? TT=690.397	? TT=1798.09	? TT=1798.05	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.11	Wrong Cert. TT=33.175	? (TO) TT=1800.11	? (TO) TT=1800.21	? (TO) TT=1800.46	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1802.24	? (TO) TT=1800.18	? TT=1789.59	? (TO) TT=1800.17
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_4_40.opb	UNSAT TT=213.487	? TT=693.608	? TT=1798.05	? TT=1798.12	UNSAT TT=213.487	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.25	? (TO) TT=1800.17	? (TO) TT=1800.87	? (TO) TT=1802.24	? (TO) TT=1801.58	UNSAT TT=1714.46	? (MO) TT=1525.31
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_5_15.opb		? TT=687.298	? TT=1798.09	? TT=1798.26	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.05	Wrong Cert. TT=25.186	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.45	? (TO) TT=1800.19	? (TO) TT=1800.15	? (TO) TT=1802.19	? (TO) TT=1800.27	? TT=1789.73	? (TO) TT=1800.21
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_100_25_5_40.opb	UNSAT TT=270.509	? TT=687.422	? TT=1798.12	? TT=1798.13	UNSAT TT=270.509	? (TO) TT=1800.06	? (TO) TT=1800.06	Wrong Cert. TT=755.222	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.46	? (TO) TT=1800.13	UNSAT TT=1553.58	? (TO) TT=1802.16	UNSAT TT=1624.03	UNSAT TT=1603.81	? (MO) TT=1448.01
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_1_5.opb	UNSAT TT=0.004	No Cert. TT=1.877	UNSAT TT=0.004	UNSAT TT=0.006	UNSAT TT=0.038	UNSAT TT=0.046	UNSAT TT=0.044	Wrong Cert. TT=0.099	? (TO) TT=1800.04	UNSAT TT=1.187	UNSAT TT=1.451	UNSAT TT=1.028	UNSAT TT=0.116	UNSAT TT=0.105	UNSAT TT=0.119	UNSAT TT=0.103	UNSAT TT=0.006
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_1_8.opb	UNSAT TT=0.003	UNSAT TT=1.702	UNSAT TT=0.003	UNSAT TT=0.003	UNSAT TT=0.016	UNSAT TT=0.028	UNSAT TT=0.026	UNSAT TT=0.459	? (TO) TT=1800.02	UNSAT TT=0.36	UNSAT TT=0.414	UNSAT TT=0.368	UNSAT TT=0.043	UNSAT TT=0.049	UNSAT TT=0.041	UNSAT TT=0.037	UNSAT TT=0.003
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_2_5.opb	UNSAT TT=0.004	No Cert. TT=3.371	UNSAT TT=0.004	UNSAT TT=0.006	UNSAT TT=0.021	UNSAT TT=0.047	UNSAT TT=0.042	Wrong Cert. TT=0.099	? (TO) TT=1800.05	UNSAT TT=0.778	UNSAT TT=1.46	UNSAT TT=0.854	UNSAT TT=0.121	UNSAT TT=0.112	UNSAT TT=0.117	UNSAT TT=0.107	UNSAT TT=0.007
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_2_8.opb	UNSAT TT=0.003	UNSAT TT=1.77	UNSAT TT=0.003	UNSAT TT=0.003	UNSAT TT=0.016	UNSAT TT=0.028	UNSAT TT=0.026	UNSAT TT=0.41	? (TO) TT=1800.09	UNSAT TT=0.364	UNSAT TT=0.415	UNSAT TT=0.366	UNSAT TT=0.042	UNSAT TT=0.048	UNSAT TT=0.042	UNSAT TT=0.038	UNSAT TT=0.003
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_3_5.opb	UNSAT TT=0.005	No Cert. TT=3.179	UNSAT TT=0.005	UNSAT TT=0.005	UNSAT TT=0.035	UNSAT TT=0.048	UNSAT TT=0.046	Wrong Cert. TT=0.077	? (TO) TT=1800.08	UNSAT TT=0.702	UNSAT TT=1.419	UNSAT TT=0.77	UNSAT TT=0.114	UNSAT TT=0.101	UNSAT TT=0.115	UNSAT TT=0.108	UNSAT TT=0.006
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_3_8.opb	UNSAT TT=0.003	UNSAT TT=1.733	UNSAT TT=0.004	UNSAT TT=0.003	UNSAT TT=0.018	UNSAT TT=0.029	UNSAT TT=0.026	UNSAT TT=0.491	? (TO) TT=1800.09	UNSAT TT=0.382	UNSAT TT=0.451	UNSAT TT=0.37	UNSAT TT=0.044	UNSAT TT=0.049	UNSAT TT=0.042	UNSAT TT=0.037	UNSAT TT=0.003
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_4_5.opb	UNSAT TT=0.005	No Cert. TT=1.827	UNSAT TT=0.005	UNSAT TT=0.007	UNSAT TT=0.04	UNSAT TT=0.048	UNSAT TT=0.046	Wrong Cert. TT=0.077	? (TO) TT=1800.12	UNSAT TT=0.562	UNSAT TT=1.59	UNSAT TT=0.708	UNSAT TT=0.116	UNSAT TT=0.1	UNSAT TT=0.114	UNSAT TT=0.099	UNSAT TT=0.007
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_4_8.opb	UNSAT TT=0.003	UNSAT TT=3.261	UNSAT TT=0.003	UNSAT TT=0.003	UNSAT TT=0.017	UNSAT TT=0.027	UNSAT TT=0.026	UNSAT TT=0.524	? (TO) TT=1800.08	UNSAT TT=0.387	UNSAT TT=0.444	UNSAT TT=0.368	UNSAT TT=0.043	UNSAT TT=0.052	UNSAT TT=0.041	UNSAT TT=0.035	UNSAT TT=0.003
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_5_5.opb	UNSAT TT=0.005	No Cert. TT=1.784	UNSAT TT=0.005	UNSAT TT=0.008	UNSAT TT=0.043	UNSAT TT=0.044	UNSAT TT=0.041	Wrong Cert. TT=0.076	? (TO) TT=1800.03	UNSAT TT=0.465	UNSAT TT=1.338	UNSAT TT=0.7	UNSAT TT=0.12	UNSAT TT=0.119	UNSAT TT=0.123	UNSAT TT=0.094	UNSAT TT=0.006
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/ dbsg/normalized-dbsg_10_4_5_8.opb	UNSAT TT=0.003	UNSAT TT=1.739	UNSAT TT=0.003	UNSAT TT=0.003	UNSAT TT=0.015	UNSAT TT=0.027	UNSAT TT=0.024	UNSAT TT=0.449	? (TO) TT=1800.09	UNSAT TT=0.354	UNSAT TT=0.432	UNSAT TT=0.355	UNSAT TT=0.042	UNSAT TT=0.047	UNSAT TT=0.042	UNSAT TT=0.036	UNSAT TT=0.003
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_1_15.opb	SAT TT=0.038 T1=0.04	SAT TT=220.301 T1=207.54	SAT TT=0.656 T1=0.65	? TT=1798.07	SAT TT=0.328 T1=0.31	SAT TT=1.438 T1=1.08	SAT TT=1.433 T1=1.07	? (TO) TT=1800.08	SAT TT=0.038 T1=0.04	SAT TT=2.379 T1=1.67	SAT TT=3.177 T1=2.59	? (TO) TT=1800.29	SAT TT=1.127 T1=1.08	SAT TT=1.213 T1=1.19	SAT TT=2.092 T1=2.04	SAT TT=3.096 T1=3.05	SAT TT=2.049 T1=2.04
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_1_40.opb	SAT TT=0.931 T1=0.92	No Cert. TT=3.095	SAT TT=8.711 T1=8.7	? TT=1798.1	SAT TT=0.931 T1=0.92	SAT TT=4.246 T1=3.88	SAT TT=4.493 T1=4.13	Wrong Cert. TT=10.87	? (TO) TT=1800.03	SAT TT=142.669 T1=137.19	SAT TT=338.312 T1=172.25	? (TO) TT=1800.22	SAT TT=24.667 T1=24.63	? (TO) TT=1802.17	SAT TT=28.471 T1=28.43	SAT TT=35.108 T1=35.07	? (MO) TT=954.215
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_2_15.opb	SAT TT=0.043 T1=0.04	SAT TT=221.181 T1=208.33	SAT TT=0.672 T1=0.67	SAT TT=1729.83 T1=1730.26	SAT TT=0.332 T1=0.31	SAT TT=1.443 T1=1.09	SAT TT=1.375 T1=1.02	? (TO) TT=1800.02	SAT TT=0.043 T1=0.04	SAT TT=2.343 T1=1.67	SAT TT=3.441 T1=2.62	? (TO) TT=1800.19	SAT TT=1.13 T1=1.08	SAT TT=0.821 T1=0.79	SAT TT=1.766 T1=1.72	SAT TT=1.45 T1=1.4	SAT TT=0.438 T1=0.43
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_2_40.opb	SAT TT=0.868 T1=0.85	No Cert. TT=3.698	SAT TT=10.668 T1=10.66	? TT=1798.08	SAT TT=0.868 T1=0.85	SAT TT=4.392 T1=4.03	SAT TT=4.174 T1=3.82	? (TO) TT=1800.03	? (TO) TT=1800.1	SAT TT=20.055 T1=17.52	SAT TT=39.121 T1=20.9	? (TO) TT=1800.22	SAT TT=65.705 T1=65.68	? (TO) TT=1802.14	SAT TT=39.63 T1=39.6	SAT TT=41.491 T1=41.47	SAT TT=169.443 T1=169.48
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_3_15.opb	SAT TT=0.041 T1=0.03	SAT TT=222.008 T1=207.42	SAT TT=0.65 T1=0.64	? TT=1798.08	SAT TT=0.336 T1=0.32	SAT TT=1.453 T1=1.1	SAT TT=1.384 T1=1.03	? (TO) TT=1800.1	SAT TT=0.041 T1=0.03	SAT TT=2.344 T1=1.59	SAT TT=3.713 T1=2.62	? (TO) TT=1800.25	SAT TT=1.12 T1=1.08	SAT TT=1.681 T1=1.65	SAT TT=2.418 T1=2.37	SAT TT=1.936 T1=1.89	SAT TT=1.087 T1=1.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_3_40.opb	SAT TT=0.923 T1=0.91	SAT TT=222.306 T1=207.65	SAT TT=3.109 T1=3.1	? TT=1798.07	SAT TT=0.923 T1=0.91	SAT TT=3.71 T1=3.35	SAT TT=4.209 T1=3.85	Wrong Cert. TT=88.094	? (TO) TT=1800.09	SAT TT=26.694 T1=24.21	SAT TT=52.506 T1=27.7	? (TO) TT=1800.16	SAT TT=68.615 T1=68.59	? (TO) TT=1802.21	SAT TT=36.154 T1=36.11	SAT TT=56.739 T1=56.7	? (MO) TT=867.367
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_4_15.opb	SAT TT=0.041 T1=0.03	No Cert. TT=3.157	SAT TT=0.713 T1=0.71	? TT=1798.08	SAT TT=0.347 T1=0.33	SAT TT=1.556 T1=1.19	SAT TT=1.463 T1=1.09	? (TO) TT=1800.05	SAT TT=0.041 T1=0.03	SAT TT=2.494 T1=1.58	SAT TT=3.305 T1=2.63	? (TO) TT=1800.27	SAT TT=1.201 T1=1.15	SAT TT=1.304 T1=1.28	SAT TT=2.45 T1=2.41	SAT TT=5.196 T1=5.15	SAT TT=0.407 T1=0.4
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_4_40.opb	SAT TT=1.11 T1=1.1	SAT TT=235.544 T1=218.06	SAT TT=6.75 T1=6.74	? (TO) TT=1800.1	SAT TT=1.11 T1=1.1	SAT TT=4.466 T1=4.1	SAT TT=4.036 T1=3.67	? (TO) TT=1800.07	? (TO) TT=1800.04	SAT TT=12.52 T1=9.05	SAT TT=19.948 T1=10.68	? (TO) TT=1800.19	SAT TT=33.28 T1=33.25	? (TO) TT=1802.17	SAT TT=38.222 T1=38.19	SAT TT=36.591 T1=36.55	? (MO) TT=1196.54
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_5_15.opb	SAT TT=0.042 T1=0.04	SAT TT=221.634 T1=208.01	SAT TT=0.681 T1=0.68	? TT=1798.11	SAT TT=0.348 T1=0.33	SAT TT=1.535 T1=1.17	SAT TT=1.459 T1=1.09	? (TO) TT=1800.04	SAT TT=0.042 T1=0.04	SAT TT=2.632 T1=1.71	SAT TT=3.293 T1=2.67	? (TO) TT=1800.29	SAT TT=1.204 T1=1.16	SAT TT=1.723 T1=1.69	SAT TT=1.521 T1=1.47	SAT TT=4.136 T1=4.09	SAT TT=0.538 T1=0.53
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_10_5_40.opb	SAT TT=0.741 T1=0.73	SAT TT=223.402 T1=208.99	SAT TT=21.225 T1=21.22	? TT=1798.08	SAT TT=0.741 T1=0.73	SAT TT=5.529 T1=5.16	SAT TT=4.477 T1=4.11	Wrong Cert. TT=8.518	? (TO) TT=1800.03	SAT TT=11.854 T1=9.21	SAT TT=18.647 T1=10.2	? (TO) TT=1800.21	SAT TT=87.855 T1=43.96	? (TO) TT=1802.16	SAT TT=53.343 T1=53.32	SAT TT=41.602 T1=41.58	SAT TT=969.111 T1=969.23
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_1_15.opb	SAT TT=0.211 T1=0.2	SAT TT=237.133 T1=222.61	SAT TT=8.745 T1=8.74	? TT=1798.09	SAT TT=1.038 T1=0.97	SAT TT=3.69 T1=2.83	SAT TT=3.595 T1=2.73	? (TO) TT=1800.01	SAT TT=0.211 T1=0.2	SAT TT=19.9 T1=17.83	SAT TT=25.59 T1=20.3	? (TO) TT=1800.21	SAT TT=15.596 T1=15.5	SAT TT=7.239 T1=7.18	SAT TT=24.901 T1=24.81	SAT TT=31.595 T1=31.5	SAT TT=0.535 T1=0.54
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_1_40.opb		? TT=684.926	? TT=1798.17	? TT=1798.16	? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800.08	Wrong Cert. TT=127.043	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.38	? (TO) TT=1800.2	? (TO) TT=1800.43	? (TO) TT=1801.89	? (TO) TT=1800.42	? TT=1789.73	? (TO) TT=1800.21
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_2_15.opb	SAT TT=0.183 T1=0.18	No Cert. TT=8.672	SAT TT=9.492 T1=9.49	SAT TT=25.706 T1=25.7	SAT TT=1.678 T1=1.61	SAT TT=3.527 T1=2.68	SAT TT=3.53 T1=2.66	? (TO) TT=1800.03	SAT TT=0.183 T1=0.18	SAT TT=20.381 T1=18.3	SAT TT=29.172 T1=22.02	? (TO) TT=1800.21	SAT TT=16.94 T1=16.85	SAT TT=4.825 T1=4.77	SAT TT=30.53 T1=30.43	SAT TT=29.826 T1=29.73	SAT TT=1.207 T1=1.2
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_2_40.opb		? TT=684.621	? TT=1798.09	? TT=1798.17	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.19	? (TO) TT=1800.25	? (TO) TT=1800.26	? (TO) TT=1801.93	? (TO) TT=1800.67	? TT=1789.64	? (TO) TT=1800.17
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_3_15.opb	SAT TT=0.248 T1=0.24	No Cert. TT=112.955	SAT TT=9.987 T1=9.98	? TT=1798.08	SAT TT=1.556 T1=1.49	SAT TT=3.742 T1=2.88	SAT TT=3.552 T1=2.69	? (TO) TT=1800.08	SAT TT=0.248 T1=0.24	SAT TT=22.556 T1=19.81	SAT TT=28.877 T1=21.43	? (TO) TT=1800.27	SAT TT=116.446 T1=116.37	SAT TT=106.726 T1=106.69	SAT TT=26.583 T1=26.49	SAT TT=27.079 T1=26.99	? (MO) TT=1012.76
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_3_40.opb		No Cert. TT=14.78	? TT=1798.11	? TT=1798.08	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.41	? (TO) TT=1800.19	? (TO) TT=1800.36	? (TO) TT=1801.9	? (TO) TT=1800.43	? TT=1789.68	? (MO) TT=1713.94
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_4_15.opb	SAT TT=0.295 T1=0.29	SAT TT=240.501 T1=223.59	SAT TT=9.871 T1=9.87	? TT=1798.16	SAT TT=1.58 T1=1.51	SAT TT=14.312 T1=13.46	SAT TT=14.662 T1=13.79	? (TO) TT=1800.08	SAT TT=0.295 T1=0.29	SAT TT=20.71 T1=18.75	SAT TT=25.963 T1=20.43	? (TO) TT=1800.23	SAT TT=44.42 T1=44.33	SAT TT=4.937 T1=4.89	SAT TT=33.919 T1=33.83	SAT TT=29.287 T1=29.19	SAT TT=0.569 T1=0.56
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_4_40.opb		? TT=686.606	? TT=1798.09	? TT=1798.1	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.1	Wrong Cert. TT=665.03	? (TO) TT=1800.09	? (TO) TT=1800.22	? (TO) TT=1800.44	? (TO) TT=1800.23	? (TO) TT=1800.45	? (TO) TT=1801.89	? (TO) TT=1800.42	? TT=1789.77	? (MO) TT=1364.34
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_5_15.opb	SAT TT=0.154 T1=0.15	SAT TT=238.669 T1=222.69	SAT TT=9.577 T1=9.57	? TT=1798.08	SAT TT=1.072 T1=1	SAT TT=3.865 T1=3	SAT TT=3.682 T1=2.82	? (TO) TT=1800.06	SAT TT=0.154 T1=0.15	SAT TT=22.922 T1=20.64	SAT TT=32.113 T1=23.48	? (TO) TT=1800.23	SAT TT=152.571 T1=152.5	? (TO) TT=1802.16	SAT TT=32.469 T1=32.38	SAT TT=37.006 T1=36.93	SAT TT=0.505 T1=0.5
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_200_25_5_40.opb		? TT=697.849	? (TO) TT=1800.04	? TT=1798.09	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.18	? (TO) TT=1802.38	? (TO) TT=1800.13	? (TO) TT=1800.39	? (TO) TT=1801.91	? (TO) TT=1800.45	? TT=1789.7	? (TO) TT=1800.27
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_1_15.opb	SAT TT=1.082 T1=1	SAT TT=239.897 T1=224.12	SAT TT=2.095 T1=2.09	? TT=1798.11	SAT TT=1.082 T1=1	SAT TT=4.438 T1=3.53	SAT TT=4.431 T1=3.5	? (TO) TT=1800.02	? (exit code) TT=0.016	SAT TT=16.164 T1=14.87	SAT TT=18.242 T1=16.34	? (TO) TT=1800.23	SAT TT=2.046 T1=1.94	SAT TT=7.258 T1=7.19	SAT TT=3.017 T1=2.9	SAT TT=2.886 T1=2.77	SAT TT=5.706 T1=5.7
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_1_80.opb	SAT TT=1.654 T1=1.57	No Cert. TT=12.107	SAT TT=851.874 T1=851.99	? TT=1798.1	SAT TT=1.654 T1=1.57	SAT TT=3.855 T1=2.94	SAT TT=3.837 T1=2.91	? (TO) TT=1800.05	? (exit code) TT=0.018	SAT TT=39.884 T1=35.95	SAT TT=70.623 T1=42.63	? (TO) TT=1800.35	SAT TT=334.956 T1=334.93	? (TO) TT=1801.04	SAT TT=125.96 T1=125.9	SAT TT=113.169 T1=113.11	? (MO) TT=915.372
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_2_15.opb	SAT TT=0.811 T1=0.7	SAT TT=241.198 T1=225.65	SAT TT=2.116 T1=2.11	? TT=1798.12	SAT TT=1.124 T1=1.04	SAT TT=4.67 T1=3.74	SAT TT=4.477 T1=3.54	? (TO) TT=1800.03	? (exit code) TT=0.017	SAT TT=16.209 T1=14.97	SAT TT=18.505 T1=16.22	? (TO) TT=1800.15	SAT TT=2.16 T1=2.05	SAT TT=7.56 T1=7.49	SAT TT=2.195 T1=2.08	SAT TT=0.811 T1=0.7	SAT TT=5.717 T1=5.71
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_2_80.opb	SAT TT=1.97 T1=1.89	No Cert. TT=8.964	? TT=1798.11	? TT=1798.11	SAT TT=1.97 T1=1.89	SAT TT=4.16 T1=3.23	SAT TT=3.964 T1=3.03	? (TO) TT=1800.05	? (exit code) TT=0.017	SAT TT=42.927 T1=39.76	SAT TT=84.079 T1=49.51	? (TO) TT=1800.24	SAT TT=51.219 T1=51.13	? (TO) TT=1801.06	SAT TT=324.957 T1=324.97	SAT TT=380.726 T1=380.72	? (MO) TT=1054.82
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_3_15.opb	SAT TT=1.084 T1=1	SAT TT=241.498 T1=226.46	SAT TT=2.075 T1=2.07	? TT=1798.13	SAT TT=1.084 T1=1	SAT TT=4.844 T1=3.91	SAT TT=4.68 T1=3.75	? (TO) TT=1800.01	? (exit code) TT=0.018	SAT TT=16.135 T1=14.91	SAT TT=18.505 T1=16.63	? (TO) TT=1800.19	SAT TT=2.15 T1=2.03	SAT TT=3.661 T1=3.59	SAT TT=3.295 T1=3.18	SAT TT=2.977 T1=2.86	SAT TT=5.716 T1=5.71
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_3_80.opb	SAT TT=1.914 T1=1.83	No Cert. TT=8.067	? TT=1798.1	? (TO) TT=1800.02	SAT TT=1.914 T1=1.83	SAT TT=22.037 T1=21.13	SAT TT=24.832 T1=23.91	? (TO) TT=1800.01	? (exit code) TT=0.015	SAT TT=41.848 T1=39.2	SAT TT=65.479 T1=40.74	? (TO) TT=1800.19	SAT TT=65.941 T1=65.85	? (TO) TT=1801.05	SAT TT=199.234 T1=199.17	SAT TT=119.064 T1=118.99	SAT TT=661.816 T1=661.85
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_4_15.opb	SAT TT=0.812 T1=0.7	SAT TT=239.91 T1=225.92	SAT TT=2.119 T1=2.11	? TT=1798.4	SAT TT=1.046 T1=0.96	SAT TT=4.684 T1=3.76	SAT TT=4.498 T1=3.56	? (TO) TT=1800.09	? (exit code) TT=0.017	SAT TT=15.976 T1=14.73	SAT TT=18.236 T1=16.49	? (TO) TT=1800.24	SAT TT=2.151 T1=2.04	SAT TT=7.462 T1=7.4	SAT TT=2.185 T1=2.07	SAT TT=0.812 T1=0.7	SAT TT=5.713 T1=5.71
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_4_80.opb	SAT TT=1.976 T1=1.89	No Cert. TT=8.407	? TT=1798.12	? TT=1798.12	SAT TT=1.976 T1=1.89	SAT TT=4.208 T1=3.28	SAT TT=3.838 T1=2.92	? (TO) TT=1800.02	? (exit code) TT=0.017	SAT TT=42.331 T1=38.99	SAT TT=75.711 T1=45.57	? (TO) TT=1800.22	SAT TT=48.594 T1=48.5	? (TO) TT=1801.06	SAT TT=388.683 T1=388.69	SAT TT=171.095 T1=171.07	? (MO) TT=857.368
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_5_15.opb	SAT TT=1.097 T1=1.01	No Cert. TT=151.051	SAT TT=2.017 T1=2.01	? TT=1798.11	SAT TT=1.097 T1=1.01	SAT TT=4.546 T1=3.63	SAT TT=4.349 T1=3.43	? (TO) TT=1800.05	? (exit code) TT=0.016	SAT TT=15.429 T1=14.18	SAT TT=17.883 T1=16.28	? (TO) TT=1800.23	SAT TT=2.14 T1=2.03	SAT TT=7.367 T1=7.3	SAT TT=2.53 T1=2.42	SAT TT=2.237 T1=2.12	SAT TT=5.697 T1=5.69
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_10_5_80.opb	SAT TT=1.293 T1=1.21	No Cert. TT=47.831	? TT=1798.1	? TT=1798.11	SAT TT=1.293 T1=1.21	SAT TT=22.891 T1=21.97	SAT TT=23.697 T1=22.78	? (TO) TT=1800.02	? (exit code) TT=0.017	SAT TT=38.131 T1=34.66	SAT TT=72.385 T1=43.03	? (TO) TT=1800.19	SAT TT=48.117 T1=48.03	? (TO) TT=1800.99	SAT TT=261.216 T1=261.18	SAT TT=175.551 T1=175.48	? (MO) TT=1048.48
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_1_15.opb	SAT TT=2.056 T1=1.8	? TT=683.461	SAT TT=30.779 T1=30.78	SAT TT=763.112 T1=763.26	SAT TT=3.045 T1=2.6	SAT TT=19.488 T1=7.61	SAT TT=9.337 T1=7.14	? (TO) TT=1800.03	? (exit code) TT=0.032	SAT TT=108.267 T1=106.13	SAT TT=90.135 T1=87.95	? (TO) TT=1800.22	SAT TT=2.056 T1=1.8	SAT TT=23.003 T1=22.88	SAT TT=6.71 T1=6.45	SAT TT=6.057 T1=5.8	SAT TT=5.934 T1=5.93
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_1_80.opb		No Cert. TT=15.254	? TT=1798.15	? TT=1798.12	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.02	? (exit code) TT=0.032	? (TO) TT=1800.22	? (TO) TT=1800.55	? (TO) TT=1800.18	? (TO) TT=1801.97	? (TO) TT=1800.92	? (TO) TT=1800.52	? TT=1789.76	? (TO) TT=1800.14
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_2_15.opb	SAT TT=2.047 T1=1.79	? TT=687.058	SAT TT=28.479 T1=28.48	? TT=1798.1	SAT TT=3.03 T1=2.58	SAT TT=10.473 T1=8.29	SAT TT=9.971 T1=7.78	? (TO) TT=1800.09	? (exit code) TT=0.029	SAT TT=107.041 T1=105.51	SAT TT=89.736 T1=87.43	? (TO) TT=1800.2	SAT TT=2.047 T1=1.79	SAT TT=7.892 T1=7.76	SAT TT=122.608 T1=122.4	SAT TT=111.208 T1=111.01	SAT TT=5.937 T1=5.93
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_2_80.opb		No Cert. TT=144.538	? TT=1798.1	? TT=1798.11	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.04	? (exit code) TT=0.032	? (TO) TT=1800.13	? (TO) TT=1800.42	? (TO) TT=1800.24	? (TO) TT=1802.08	? (TO) TT=1800.94	? (TO) TT=1801.13	? TT=1790.11	? (TO) TT=1800.12
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_3_15.opb	SAT TT=2.06 T1=1.8	? TT=695.32	SAT TT=30.945 T1=30.94	SAT TT=426.053 T1=426.06	SAT TT=3.012 T1=2.56	SAT TT=9.847 T1=7.65	SAT TT=8.971 T1=6.81	? (TO) TT=1800.02	? (exit code) TT=0.031	SAT TT=109.352 T1=107.42	SAT TT=89.727 T1=87.7	? (TO) TT=1800.22	SAT TT=2.06 T1=1.8	SAT TT=15.137 T1=15.01	SAT TT=25.113 T1=24.87	SAT TT=27.953 T1=27.71	SAT TT=6.022 T1=6.01
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_3_80.opb		No Cert. TT=12.078	? TT=1798.11	? TT=1798.1	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.05	? (exit code) TT=0.032	? (TO) TT=1800.22	? (TO) TT=1800.38	? (TO) TT=1800.26	? (TO) TT=1802.01	? (TO) TT=1800.92	? (TO) TT=1801.51	? TT=1790.96	? (TO) TT=1800.11
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_4_15.opb	SAT TT=2.062 T1=1.8	? TT=684.114	SAT TT=31.324 T1=31.32	? TT=1798.09	SAT TT=3.454 T1=3.03	SAT TT=10.775 T1=8.57	SAT TT=10.323 T1=8.12	? (TO) TT=1800.1	? (exit code) TT=0.032	SAT TT=109.249 T1=107.82	SAT TT=90.909 T1=88.57	? (TO) TT=1800.22	SAT TT=2.062 T1=1.8	SAT TT=23.782 T1=23.65	SAT TT=64.843 T1=64.61	SAT TT=55.847 T1=55.61	SAT TT=6.362 T1=6.36
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_4_80.opb		No Cert. TT=15.484	? TT=1798.11	? (TO) TT=1800.2	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.01	? (exit code) TT=0.032	? (TO) TT=1800.19	? (TO) TT=1800.45	? (TO) TT=1800.2	? (TO) TT=1802.04	? (TO) TT=1800.99	? (TO) TT=1800.58	? TT=1791.01	? (TO) TT=1800.19
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_5_15.opb	SAT TT=2.051 T1=1.79	No Cert. TT=9.969	SAT TT=30.733 T1=30.73	SAT TT=836.494 T1=836.63	SAT TT=3.191 T1=2.74	SAT TT=9.753 T1=7.55	SAT TT=9.243 T1=7.05	? (TO) TT=1800.1	? (exit code) TT=0.031	SAT TT=108.331 T1=106.73	SAT TT=90.093 T1=87.84	? (TO) TT=1800.25	SAT TT=2.051 T1=1.79	SAT TT=23.603 T1=23.47	SAT TT=6.35 T1=6.09	SAT TT=65.022 T1=64.79	SAT TT=6.344 T1=6.34
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_25_5_80.opb		No Cert. TT=29.517	? TT=1798.12	? TT=1798.11	? (TO) TT=1800.16	? (TO) TT=1800.15	? (TO) TT=1800.11	? (TO) TT=1800.05	? (exit code) TT=0.031	? (TO) TT=1800.14	? (TO) TT=1800.29	? (TO) TT=1800.26	? (TO) TT=1802.05	? (TO) TT=1800.93	? (TO) TT=1801.24	? TT=1789.86	? (TO) TT=1800.11
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_1_15.opb	SAT TT=5.008 T1=4.43	? TT=685.29	SAT TT=179.814 T1=179.85	? TT=1798.1	SAT TT=13.25 T1=10.88	SAT TT=22.771 T1=17.75	SAT TT=21.718 T1=16.68	? (TO) TT=1800.1	? (exit code) TT=0.066	SAT TT=596.739 T1=594.79	SAT TT=363.421 T1=360.52	? (TO) TT=1800.25	SAT TT=5.008 T1=4.43	SAT TT=140.076 T1=139.81	SAT TT=581.468 T1=581.06	SAT TT=349.519 T1=349.06	SAT TT=11.626 T1=11.62
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_1_80.opb		No Cert. TT=16.135	? TT=1798.12	? TT=1798.11	? TT=1798.79	? (TO) TT=1800.22	? (TO) TT=1800.2	? (TO) TT=1800.07	? (exit code) TT=0.062	? (TO) TT=1800.17	? (TO) TT=1800.5	? (TO) TT=1800.25	? (TO) TT=1802.04	? (TO) TT=1800.97	? (TO) TT=1802.06	? TT=1791.52	? (TO) TT=1800.14
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_2_15.opb	SAT TT=4.936 T1=4.36	? TT=686.799	SAT TT=179.805 T1=179.83	? TT=1798.15	SAT TT=10.247 T1=7.86	SAT TT=22.327 T1=17.28	SAT TT=21.226 T1=16.18	? (TO) TT=1800.1	? (exit code) TT=0.066	SAT TT=594.43 T1=592.77	SAT TT=371.165 T1=368.13	? (TO) TT=1800.19	SAT TT=4.936 T1=4.36	SAT TT=213.486 T1=213.23	SAT TT=353.603 T1=353.16	SAT TT=328.55 T1=328.07	SAT TT=10.015 T1=10
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_2_80.opb		No Cert. TT=17.307	? TT=1798.08	? (TO) TT=1800.21	? TT=1798.8	? (TO) TT=1800.05	? (TO) TT=1800.03	Wrong Cert. TT=1637.71	? (exit code) TT=0.066	? (TO) TT=1800.2	? (TO) TT=1800.56	? (TO) TT=1800.01	? (TO) TT=1802.11	? (TO) TT=1801.03	? (TO) TT=1802.09	? TT=1792.22	? (TO) TT=1800.1
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_3_15.opb	SAT TT=5.139 T1=4.56	? TT=683.107	SAT TT=179.804 T1=179.84	SAT TT=718.988 T1=719.09	SAT TT=13.184 T1=10.8	SAT TT=22.158 T1=17.13	SAT TT=20.253 T1=15.3	? (TO) TT=1800.04	? (exit code) TT=0.062	SAT TT=595.212 T1=593.65	SAT TT=347.48 T1=344.95	? (TO) TT=1800.22	SAT TT=5.139 T1=4.56	SAT TT=122.367 T1=122.11	SAT TT=360.386 T1=359.91	SAT TT=328.279 T1=327.87	SAT TT=64.586 T1=64.59
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_3_80.opb		No Cert. TT=16.17	? TT=1798.14	? (TO) TT=1800.14	? TT=1798.74	? (TO) TT=1800.19	? (TO) TT=1800.2	? (TO) TT=1800.05	? (exit code) TT=0.068	? (TO) TT=1800.11	? (TO) TT=1800.41	? (TO) TT=1800.25	? (TO) TT=1801.73	? (TO) TT=1801	? (TO) TT=1802.07	? TT=1793.28	? (TO) TT=1800.1
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_4_15.opb	SAT TT=5.008 T1=4.43	? TT=686.126	SAT TT=179.752 T1=179.8	? TT=1798.24	SAT TT=12.948 T1=10.56	SAT TT=22.236 T1=17.18	SAT TT=21.164 T1=16.08	? (TO) TT=1800.03	? (exit code) TT=0.066	SAT TT=594.292 T1=592.85	SAT TT=376.231 T1=373.62	? (TO) TT=1800.21	SAT TT=5.008 T1=4.43	SAT TT=142.511 T1=142.24	SAT TT=429.736 T1=429.28	SAT TT=281.968 T1=281.48	SAT TT=9.597 T1=9.58
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_4_80.opb		No Cert. TT=15.643	? TT=1798.12	? TT=1798.14	? TT=1798.98	? (TO) TT=1800.19	? (TO) TT=1800.17	Wrong Cert. TT=317.059	? (exit code) TT=0.063	? (TO) TT=1800.16	? (TO) TT=1800.35	? (TO) TT=1800.15	? (TO) TT=1802.07	? (TO) TT=1800.94	? (TO) TT=1802.05	? TT=1792.77	? (TO) TT=1800.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_5_15.opb	SAT TT=4.918 T1=4.35	? TT=696.582	SAT TT=179.81 T1=179.84	? TT=1798.12	SAT TT=10.392 T1=8.11	SAT TT=22.335 T1=17.3	SAT TT=21.323 T1=16.25	? (TO) TT=1800.02	? (exit code) TT=0.067	SAT TT=593.877 T1=592.44	SAT TT=377.122 T1=374.41	? (TO) TT=1800.24	SAT TT=4.918 T1=4.35	SAT TT=101.994 T1=101.73	SAT TT=325.825 T1=325.35	SAT TT=368.617 T1=368.14	SAT TT=10.927 T1=10.91
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_500_60_5_80.opb		No Cert. TT=15.59	? TT=1798.12	? TT=1798.1	? TT=1798.64	? (TO) TT=1800.17	? (TO) TT=1800.18	? (TO) TT=1800.03	? (exit code) TT=0.066	? (TO) TT=1800.09	? (TO) TT=1803.41	? (TO) TT=1800.26	? (TO) TT=1802.08	? (TO) TT=1801.02	? (TO) TT=1802.06	? TT=1790.33	? (TO) TT=1800.09
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_1_15.opb		No Cert. TT=156.452	? TT=1798.01	? TT=1798.02	? (TO) TT=1800.17	? (TO) TT=1800.05	? (TO) TT=1800.1	Wrong Cert. TT=1.724	? (TO) TT=1800.09	? (TO) TT=1800.2	? (TO) TT=1800.18	? (TO) TT=1800.27	? (TO) TT=1800.15	? (TO) TT=1802.23	? (TO) TT=1800.1	? TT=1789.6	? (TO) TT=1800.2
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_1_5.opb	SAT TT=0.014 T1=0.01	No Cert. TT=2.04	SAT TT=0.139 T1=0.13	SAT TT=15.764 T1=15.76	SAT TT=0.078 T1=0.07	SAT TT=0.331 T1=0.24	SAT TT=0.314 T1=0.23	Wrong Cert. TT=0.836	SAT TT=0.014 T1=0.01	SAT TT=0.751 T1=0.52	SAT TT=1.436 T1=1.56	SAT TT=83.446 T1=82.19	SAT TT=0.437 T1=0.42	SAT TT=0.264 T1=0.25	SAT TT=0.55 T1=0.53	SAT TT=0.427 T1=0.41	SAT TT=0.024 T1=0.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_2_15.opb		? TT=690.676	? TT=1798.01	? TT=1798.01	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.04	Wrong Cert. TT=0.424	? (TO) TT=1800.12	? (TO) TT=1800.27	? (TO) TT=1803.53	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1802.23	? (TO) TT=1800.11	? TT=1789.56	? (TO) TT=1800.15
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_2_5.opb	SAT TT=0.014 T1=0.01	No Cert. TT=1.862	SAT TT=0.145 T1=0.14	SAT TT=107.6 T1=107.62	SAT TT=0.079 T1=0.07	SAT TT=0.335 T1=0.25	SAT TT=0.333 T1=0.24	Wrong Cert. TT=1.472	SAT TT=0.014 T1=0.01	SAT TT=0.751 T1=0.56	SAT TT=1.999 T1=1.58	SAT TT=105.997 T1=104.52	SAT TT=0.438 T1=0.42	SAT TT=0.228 T1=0.21	SAT TT=0.498 T1=0.48	SAT TT=0.403 T1=0.38	SAT TT=0.024 T1=0.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_3_15.opb		? TT=689.822	? TT=1798.01	? TT=1798.02	? (TO) TT=1800.21	? (TO) TT=1800.04	? (TO) TT=1800.11	Wrong Cert. TT=1.419	? (TO) TT=1800.1	? (TO) TT=1800.24	? (TO) TT=1803.77	? (TO) TT=1800.22	? (TO) TT=1800.16	? (TO) TT=1802.22	? (TO) TT=1800.15	? TT=1789.5	? (TO) TT=1800.16
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_3_5.opb	SAT TT=0.014 T1=0.01	No Cert. TT=1.883	SAT TT=0.132 T1=0.13	SAT TT=1.809 T1=1.8	SAT TT=0.075 T1=0.07	SAT TT=0.353 T1=0.26	SAT TT=0.335 T1=0.24	Wrong Cert. TT=7.078	SAT TT=0.014 T1=0.01	SAT TT=0.79 T1=0.55	SAT TT=1.43 T1=1.6	SAT TT=142.825 T1=141.54	SAT TT=0.543 T1=0.53	SAT TT=0.325 T1=0.31	SAT TT=0.673 T1=0.65	SAT TT=0.557 T1=0.54	SAT TT=0.021 T1=0.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_4_15.opb		? TT=686.023	? TT=1798.01	? TT=1798.02	? (TO) TT=1800.23	? (TO) TT=1800.02	? (TO) TT=1800.1	Wrong Cert. TT=2.734	? (TO) TT=1800.04	? (TO) TT=1800.21	? (TO) TT=1803.61	? (TO) TT=1800.24	? (TO) TT=1800.09	? (TO) TT=1802.2	? (TO) TT=1800.07	? TT=1789.58	? (TO) TT=1800.15
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_4_5.opb	SAT TT=0.013 T1=0.01	No Cert. TT=1.892	SAT TT=0.138 T1=0.13	SAT TT=126.721 T1=126.74	SAT TT=0.075 T1=0.07	SAT TT=0.351 T1=0.26	SAT TT=0.331 T1=0.24	Wrong Cert. TT=4.805	SAT TT=0.013 T1=0.01	SAT TT=0.773 T1=0.58	SAT TT=1.593 T1=1.55	SAT TT=92.637 T1=91.13	SAT TT=0.467 T1=0.45	SAT TT=0.285 T1=0.27	SAT TT=0.568 T1=0.55	SAT TT=0.414 T1=0.39	SAT TT=0.023 T1=0.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_5_15.opb		No Cert. TT=2.192	? (TO) TT=1800.12	? TT=1798.01	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.02	Wrong Cert. TT=30.241	? (TO) TT=1800.1	? (TO) TT=1800.25	? (TO) TT=1800.83	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1802.15	? (TO) TT=1800.08	? TT=1789.64	? (TO) TT=1800.19
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_10_5_5.opb	SAT TT=0.014 T1=0.01	No Cert. TT=1.87	SAT TT=0.139 T1=0.14	SAT TT=1.322 T1=1.32	SAT TT=0.075 T1=0.07	SAT TT=0.329 T1=0.24	SAT TT=0.312 T1=0.23	Wrong Cert. TT=0.438	SAT TT=0.014 T1=0.01	SAT TT=0.786 T1=0.58	SAT TT=1.593 T1=1.55	SAT TT=23.986 T1=22.79	SAT TT=0.511 T1=0.49	SAT TT=0.305 T1=0.29	SAT TT=1.107 T1=1.09	SAT TT=0.95 T1=0.93	SAT TT=0.033 T1=0.03
Bench name	Best results	borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_1_15.opb	UNSAT TT=27.321	UNSAT TT=461.912	UNSAT TT=553.343	? TT=1798.02	UNSAT TT=27.321	UNSAT TT=1325.2	UNSAT TT=1671.76	Wrong Cert. TT=24.356	? (TO) TT=1800.12	UNSAT TT=58.081	UNSAT TT=114.893	UNSAT TT=1665.45	UNSAT TT=139.82	? (TO) TT=1802.16	UNSAT TT=95.468	UNSAT TT=117.045	UNSAT TT=887.733
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_1_5.opb	SAT TT=0.38 T1=0.37	No Cert. TT=2.211	SAT TT=1.686 T1=1.68	SAT TT=14.409 T1=14.41	SAT TT=0.38 T1=0.37	SAT TT=2.065 T1=1.87	SAT TT=1.847 T1=1.65	Wrong Cert. TT=43.358	SAT TT=1.039 T1=1.03	SAT TT=3.829 T1=2	SAT TT=4.882 T1=2.99	SAT TT=13.729 T1=12.11	SAT TT=1.062 T1=1.03	SAT TT=14.867 T1=14.84	SAT TT=1.166 T1=1.14	SAT TT=5.612 T1=5.58	SAT TT=13.026 T1=13.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_2_15.opb	UNSAT TT=28.046	UNSAT TT=491.102	UNSAT TT=380.319	? TT=1798.02	UNSAT TT=28.046	UNSAT TT=1773.06	UNSAT TT=1728.48	Wrong Cert. TT=2.35	? (TO) TT=1800.07	UNSAT TT=48.825	UNSAT TT=98.143	UNSAT TT=868.636	UNSAT TT=183.529	? (TO) TT=1802.19	UNSAT TT=106.521	UNSAT TT=117.949	UNSAT TT=374.538
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_2_5.opb	SAT TT=0.078 T1=0.07	No Cert. TT=2.05	SAT TT=1.566 T1=1.56	SAT TT=79.945 T1=79.96	SAT TT=0.304 T1=0.29	SAT TT=1.72 T1=1.52	SAT TT=1.343 T1=1.14	Wrong Cert. TT=1.408	SAT TT=0.078 T1=0.07	SAT TT=3.223 T1=1.71	SAT TT=4.663 T1=2.95	SAT TT=9.585 T1=8.01	SAT TT=8.337 T1=8.31	SAT TT=4.178 T1=4.15	SAT TT=4.439 T1=4.41	SAT TT=4.114 T1=4.08	SAT TT=0.227 T1=0.22
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_3_15.opb	UNSAT TT=26.887	UNSAT TT=468.618	UNSAT TT=403.814	? TT=1798.03	UNSAT TT=26.887	UNSAT TT=1398.31	UNSAT TT=1593.19	Wrong Cert. TT=1.705	? (TO) TT=1800.07	UNSAT TT=110.409	UNSAT TT=232.39	UNSAT TT=726.731	UNSAT TT=138.231	? (TO) TT=1802.22	UNSAT TT=116.708	UNSAT TT=121.821	UNSAT TT=1127.1
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_3_5.opb	SAT TT=0.439 T1=0.43	No Cert. TT=2.176	SAT TT=1.576 T1=1.57	SAT TT=2.328 T1=2.33	SAT TT=0.439 T1=0.43	SAT TT=1.664 T1=1.46	SAT TT=1.469 T1=1.27	Wrong Cert. TT=1.494	SAT TT=2.123 T1=2.12	SAT TT=3.644 T1=1.87	SAT TT=8.622 T1=4.94	SAT TT=9.593 T1=8.13	SAT TT=5.048 T1=5.02	SAT TT=6 T1=5.98	SAT TT=4.609 T1=4.58	SAT TT=4.642 T1=4.62	SAT TT=12.196 T1=12.19
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_4_15.opb	UNSAT TT=26.926	UNSAT TT=467.134	UNSAT TT=610.771	? TT=1798.02	UNSAT TT=26.926	UNSAT TT=1717.37	? (TO) TT=1800.07	Wrong Cert. TT=0.712	? (TO) TT=1800.08	UNSAT TT=146.087	UNSAT TT=307.884	UNSAT TT=1308.55	UNSAT TT=146.072	? (TO) TT=1802.22	UNSAT TT=117.351	UNSAT TT=121.579	UNSAT TT=599.135
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_4_5.opb	SAT TT=0.084 T1=0.08	No Cert. TT=1.979	SAT TT=1.453 T1=1.45	SAT TT=33.417 T1=33.42	SAT TT=0.304 T1=0.29	SAT TT=0.779 T1=0.58	SAT TT=0.774 T1=0.58	Wrong Cert. TT=3.116	SAT TT=0.084 T1=0.08	SAT TT=4.035 T1=2.06	SAT TT=7.195 T1=4.13	SAT TT=13.31 T1=11.69	SAT TT=1.021 T1=0.99	SAT TT=1.421 T1=1.4	SAT TT=1.192 T1=1.16	SAT TT=1.025 T1=0.99	SAT TT=3.293 T1=3.29
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_5_15.opb	UNSAT TT=28.088	UNSAT TT=457.831	UNSAT TT=618.498	? TT=1798.02	UNSAT TT=28.088	UNSAT TT=1707.39	? (TO) TT=1800.11	Wrong Cert. TT=3.295	? (TO) TT=1800.07	UNSAT TT=75.724	UNSAT TT=148.275	UNSAT TT=1342.66	UNSAT TT=142.404	? (TO) TT=1802.22	UNSAT TT=101.349	UNSAT TT=95.625	UNSAT TT=855.801
normalized-PB07/SATUNSAT-SMALLINT-NLC/ submittedPB07/manquinho/dbsg/ normalized-dbsg_50_25_5_5.opb	SAT TT=0.318 T1=0.31	No Cert. TT=2.132	SAT TT=1.475 T1=1.47	SAT TT=21.553 T1=21.55	SAT TT=0.318 T1=0.31	SAT TT=1.548 T1=1.35	SAT TT=1.575 T1=1.38	Wrong Cert. TT=1.401	SAT TT=2.05 T1=2.05	SAT TT=3.223 T1=1.74	SAT TT=7.251 T1=3.97	SAT TT=6.232 T1=5.28	SAT TT=10.381 T1=10.36	SAT TT=12.391 T1=12.37	SAT TT=5.17 T1=5.14	SAT TT=4.638 T1=4.61	SAT TT=4.924 T1=4.92

Statistics		borg-pb 10.05.30 (complete)	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	PB-wave alpha 2 (incomplete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4a (complete)
Number of times the solver is able to give the best known answer		27	61	26	70	65	63	0	25	65	65	25	69	49	69	70	57
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	8	5	26	0	0	0	22	0	0	0	10	0	0	2	5