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

Results by benchmark for category optimisation, big integers, linear constraints (OPT-BIGINT-LIN), subcategory Handmade, subsubcategory Number Factorization

This page displays the results of the different solvers for each benchmark for category optimisation, big integers, linear constraints (OPT-BIGINT-LIN), subcategory Handmade, subsubcategory Number Factorization

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:
PB/CT 0.1 (complete)
PB/CT 0.1 fixed (complete)
PBPASSolver 2010-06-13 (complete)
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)
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)

Bench name	Best results on this instance	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb		? (TO) TT=1800.11	? (TO) TT=1800.09	? (MO) TT=65.78	? (TO) TT=1800.12	? (TO) TT=1800.43	? (TO) TT=1800.17	Wrong Cert. TT=0.624
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb	OPT f=1 TT=4.143 T1=2.07	? (TO) TT=1800.12	? (TO) TT=1800.12	? (MO) TT=64.88	OPT f=1 TT=4.143 T1=2.16	OPT f=1 TT=5.267 T1=3.3	OPT f=1 TT=4.156 T1=2.07	Wrong Cert. TT=0.622
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb		? (TO) TT=1800.17	? (TO) TT=1800.18	? (MO) TT=65.47	? (TO) TT=1800.21	? (TO) TT=1800.33	? (TO) TT=1800.33	Wrong Cert. TT=0.593
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb	OPT f=1 TT=2.546 T1=1.51	? (TO) TT=1800.18	? (TO) TT=1800.15	? (MO) TT=65.07	OPT f=1 TT=2.546 T1=1.51	OPT f=1 TT=6.387 T1=4.19	OPT f=1 TT=4.926 T1=2.3	Wrong Cert. TT=0.631
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb		? (TO) TT=1800.15	? (TO) TT=1800.24	? (MO) TT=52.88	? (TO) TT=1800.23	? (TO) TT=1800.54	? (TO) TT=1800.24	Wrong Cert. TT=1.533
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb	OPT f=1 TT=3.068 T1=1.68	? (TO) TT=1800.19	? (TO) TT=1800.22	? (MO) TT=52.78	OPT f=1 TT=3.349 T1=1.82	OPT f=1 TT=6.592 T1=4.16	OPT f=1 TT=3.068 T1=1.68	? TT=1.748
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb		? (TO) TT=1800.14	? (TO) TT=1800.22	? (MO) TT=56.28	? (TO) TT=1800.26	? (TO) TT=1800.36	? (TO) TT=1800.25	Wrong Cert. TT=1.594
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb	OPT f=1 TT=3.077 T1=1.66	? (TO) TT=1800.19	? (TO) TT=1800.14	? (MO) TT=55.88	OPT f=1 TT=3.715 T1=1.82	OPT f=1 TT=4.694 T1=2.72	OPT f=1 TT=3.077 T1=1.66	? TT=1.761
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb		? (MO) TT=1031.05	? (MO) TT=1107.29	? (MO) TT=46.88	? (TO) TT=1800.12	? (TO) TT=1800.28	? (TO) TT=1800.21	Wrong Cert. TT=2.194
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb	OPT f=1 TT=3.241 T1=2.15	? (TO) TT=1800.21	? (TO) TT=1800.2	? (MO) TT=47.15	OPT f=1 TT=4.235 T1=2.15	OPT f=1 TT=5.183 T1=3	OPT f=1 TT=3.241 T1=2.28	Wrong UNSAT TT=2.187
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb		? (TO) TT=1800.2	? (TO) TT=1800.21	? (MO) TT=48.18	? (TO) TT=1800.17	? (TO) TT=1800.34	? (TO) TT=1800.21	Wrong Cert. TT=2.192
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb	OPT f=1 TT=3.472 T1=2.04	? (TO) TT=1800.17	? (TO) TT=1800.18	? (MO) TT=48.17	OPT f=1 TT=4.092 T1=2.05	OPT f=1 TT=4.775 T1=2.8	OPT f=1 TT=3.472 T1=2.04	Wrong UNSAT TT=2.174
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb		? (MO) TT=1137.1	? (MO) TT=1104.43	? (MO) TT=15.08	? (TO) TT=1800.16	? (TO) TT=1800.45	? (TO) TT=1800.23	Wrong Cert. TT=2.858
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb	OPT f=1 TT=3.672 T1=2.32	? (MO) TT=1237.71	? (MO) TT=1210.88	? (MO) TT=15.59	OPT f=1 TT=3.672 T1=2.32	OPT f=1 TT=5.343 T1=3.15	OPT f=1 TT=3.716 T1=2.32	Wrong UNSAT TT=2.842
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb	SAT f=-2 TT=1800.55 T1=1030.67	? (MO) TT=1109.19	? (MO) TT=1128.89	? (MO) TT=15.69	SAT (TO) f=-2 TT=1800.55 T1=1030.67	? (TO) TT=1800.41	? (TO) TT=1800.15	Wrong Cert. TT=2.882
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb	OPT f=1 TT=3.928 T1=2.35	? (MO) TT=1203.55	? (MO) TT=1214.14	? (MO) TT=15.59	OPT f=1 TT=3.928 T1=2.35	OPT f=1 TT=4.765 T1=3.1	OPT f=1 TT=4.203 T1=2.41	Wrong UNSAT TT=2.832
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb		? (MO) TT=1069.15	? (MO) TT=1101.93	? (MO) TT=12.59	? (TO) TT=1800.17	? (TO) TT=1800.31	? (TO) TT=1800.2	Wrong Cert. TT=3.599
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb	OPT f=1 TT=4.434 T1=2.8	? (MO) TT=1176.88	? (MO) TT=1153.86	? (MO) TT=12.49	OPT f=1 TT=4.566 T1=2.8	OPT f=1 TT=5.877 T1=3.62	OPT f=1 TT=4.434 T1=2.83	Wrong UNSAT TT=3.575
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb		? (MO) TT=1192.9	? (MO) TT=1203.88	? (MO) TT=13.1	? (TO) TT=1800.21	? (TO) TT=1800.47	? (TO) TT=1800.16	Wrong Cert. TT=3.49
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb	OPT f=1 TT=4.624 T1=2.77	? (MO) TT=1105.44	? (MO) TT=1121.78	? (MO) TT=12.99	OPT f=1 TT=4.961 T1=2.79	OPT f=1 TT=5.742 T1=3.5	OPT f=1 TT=4.624 T1=2.77	Wrong UNSAT TT=3.573
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb		? (MO) TT=1060.47	? (MO) TT=1068.52	? (MO) TT=12.99	? (TO) TT=1800.17	? (TO) TT=1804.1	? (TO) TT=1800.16	Wrong Cert. TT=4.284
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb	OPT f=1 TT=4.841 T1=3.01	? (MO) TT=1067.56	? (MO) TT=1041.21	? (MO) TT=12.99	OPT f=1 TT=5.241 T1=3.01	OPT f=1 TT=8.101 T1=4.87	OPT f=1 TT=4.841 T1=3.07	Wrong UNSAT TT=4.402
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb		? (MO) TT=1129.71	? (MO) TT=1210.21	? (MO) TT=13.57	? (TO) TT=1800.18	? (TO) TT=1800.37	? (TO) TT=1800.19	Wrong Cert. TT=4.432
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb	OPT f=1 TT=5.667 T1=3.16	? (MO) TT=1037.12	? (MO) TT=1053.91	? (MO) TT=12.99	OPT f=1 TT=5.667 T1=3.21	OPT f=1 TT=7.31 T1=5.05	OPT f=1 TT=5.677 T1=3.16	Wrong UNSAT TT=4.374
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb	OPT f=-92 TT=3.375 T1=1.22	OPT f=-92 TT=2.79 T1=2.32	OPT f=-92 TT=3.873 T1=1.96	? (TO) TT=1800.06	SAT (TO) f=-92 TT=1800.17 T1=1267.82	OPT f=-92 TT=7.949 T1=4.54	OPT f=-92 TT=3.375 T1=1.22	OPT f=-92 TT=13.491 T1=13.47
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb	OPT f=1 TT=0.535 T1=0.38	OPT f=1 TT=0.577 T1=0.56	OPT f=1 TT=0.535 T1=0.52	OPT f=1 TT=373.822 T1=373.85	OPT f=1 TT=0.587 T1=0.38	OPT f=1 TT=0.731 T1=1.44	OPT f=1 TT=0.576 T1=0.39	OPT f=1 TT=0.477 T1=0.45
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT f=-1281 TT=1.95 T1=0.95	OPT f=-1281 TT=1.198 T1=1.14	OPT f=-1281 TT=2.084 T1=1.93	? (TO) TT=1800.04	SAT (TO) f=-427 TT=1800.19 T1=1232.43	OPT f=-1281 TT=4.301 T1=2.43	OPT f=-1281 TT=1.95 T1=0.95	OPT f=-1281 TT=2.984 T1=2.96
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb	OPT f=1 TT=0.44 T1=0.39	OPT f=1 TT=0.439 T1=0.42	OPT f=1 TT=0.44 T1=0.43	OPT f=1 TT=1587.97 T1=1588.35	OPT f=1 TT=0.594 T1=0.39	OPT f=1 TT=0.741 T1=1.43	OPT f=1 TT=0.6 T1=0.6	OPT f=1 TT=0.207 T1=0.18
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb		? (MO) TT=955.292	? (MO) TT=968.122	? (MO) TT=12.99	? (TO) TT=1800.17	? (TO) TT=1800.21	? (TO) TT=1800.17	Wrong Cert. TT=5.277
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb	OPT f=1 TT=5.912 T1=3.91	? (MO) TT=801.487	? (MO) TT=812.766	? (MO) TT=12.99	OPT f=1 TT=5.96 T1=4	OPT f=1 TT=9.052 T1=5.05	OPT f=1 TT=5.912 T1=3.91	Wrong UNSAT TT=5.243
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb		? (MO) TT=1543.47	? (MO) TT=1548.58	? (MO) TT=12.99	? (TO) TT=1800.18	? (TO) TT=1800.37	? (TO) TT=1800.16	Wrong Cert. TT=5.322
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb	OPT f=1 TT=5.814 T1=3.96	? (MO) TT=934.044	? (MO) TT=945.274	? (MO) TT=13.09	OPT f=1 TT=6.489 T1=4.17	OPT f=1 TT=9.164 T1=5.09	OPT f=1 TT=5.814 T1=3.96	Wrong UNSAT TT=5.246
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb		? (TO) TT=1800.26	? (TO) TT=1800.24	? (MO) TT=13.1	? (TO) TT=1800.17	? (TO) TT=1800.35	? (TO) TT=1800.18	Wrong Cert. TT=6.319
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT f=1 TT=7.33 T1=4.88	? (MO) TT=663.477	? (MO) TT=681.62	? (MO) TT=12.59	OPT f=1 TT=7.384 T1=4.88	OPT f=1 TT=10.985 T1=6.59	OPT f=1 TT=7.33 T1=4.88	Wrong UNSAT TT=6.259
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb		? (MO) TT=903.051	? (MO) TT=886.129	? (MO) TT=12.99	? (TO) TT=1800.09	? (TO) TT=1800.29	? (TO) TT=1800.19	Wrong Cert. TT=6.128
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb	OPT f=1 TT=7.03 T1=4.68	? (MO) TT=891.328	? (MO) TT=910.019	? (MO) TT=12.99	OPT f=1 TT=7.03 T1=4.99	OPT f=1 TT=10.75 T1=6.47	OPT f=1 TT=7.311 T1=4.68	Wrong UNSAT TT=6.24
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb		? (MO) TT=1279.96	? (MO) TT=1270.88	? (MO) TT=13.1	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.14	Wrong Cert. TT=7.396
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb	OPT f=1 TT=7.908 T1=5.68	? (MO) TT=600.082	? (MO) TT=606.913	? (MO) TT=12.99	OPT f=1 TT=7.908 T1=5.68	OPT f=1 TT=12.476 T1=7.01	OPT f=1 TT=8.43 T1=5.85	Wrong UNSAT TT=7.292
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb		? (MO) TT=1135.74	? (MO) TT=1196.87	? (MO) TT=12.48	? (TO) TT=1800.11	? (TO) TT=1800.23	? (TO) TT=1800.12	Wrong Cert. TT=7.357
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb	OPT f=1 TT=8.202 T1=5.41	? (MO) TT=691.26	? (MO) TT=706.689	? (MO) TT=13.1	OPT f=1 TT=8.72 T1=5.94	OPT f=1 TT=11.706 T1=6.82	OPT f=1 TT=8.202 T1=5.41	Wrong UNSAT TT=7.077
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb		? (MO) TT=1036.26	? (MO) TT=1023.06	? (MO) TT=12.99	? (TO) TT=1800.13	? (TO) TT=1800.2	? (TO) TT=1800.18	Wrong Cert. TT=8.563
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb	OPT f=1 TT=8.476 T1=5.59	? (MO) TT=798.509	? (MO) TT=806.989	? (MO) TT=13.11	OPT f=1 TT=9.498 T1=5.93	OPT f=1 TT=16.744 T1=8.47	OPT f=1 TT=8.476 T1=5.59	Wrong UNSAT TT=8.507
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb		? (MO) TT=874.148	? (MO) TT=892.969	? (MO) TT=13.1	? (TO) TT=1800.12	? (TO) TT=1800.34	? (TO) TT=1800.13	Wrong Cert. TT=8.536
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb	OPT f=1 TT=8.653 T1=5.88	? (MO) TT=759.059	? (MO) TT=801.71	? (MO) TT=12.58	OPT f=1 TT=9.508 T1=6.17	OPT f=1 TT=15.771 T1=8.4	OPT f=1 TT=8.653 T1=5.88	Wrong UNSAT TT=8.295
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb		? (MO) TT=1010.47	? (MO) TT=1082.7	? (MO) TT=13.1	? (TO) TT=1800.11	? (TO) TT=1800.38	? (TO) TT=1800.15	Wrong Cert. TT=9.83
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb	OPT f=1 TT=11.043 T1=7.25	? (MO) TT=457.516	? (MO) TT=490.818	? (MO) TT=12.59	OPT f=1 TT=11.043 T1=7.25	OPT f=1 TT=17.082 T1=8.17	OPT f=1 TT=12.611 T1=8.33	Wrong UNSAT TT=9.698
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb		? (MO) TT=1321.03	? (MO) TT=1363.86	? (MO) TT=13.06	? (TO) TT=1800.22	? (TO) TT=1800.39	? (TO) TT=1800.19	Wrong Cert. TT=9.502
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb	OPT f=1 TT=12.005 T1=7.96	? (MO) TT=655.204	? (MO) TT=665.317	? (MO) TT=12.99	OPT f=1 TT=13.069 T1=8.33	OPT f=1 TT=15.972 T1=8.39	OPT f=1 TT=12.005 T1=7.96	Wrong UNSAT TT=9.752
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb		? (MO) TT=934.846	? (MO) TT=905.277	? (MO) TT=12.49	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.16	Wrong Cert. TT=11.202
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb	OPT f=1 TT=13.82 T1=9.67	? (MO) TT=565.021	? (MO) TT=599.521	? (MO) TT=13.1	OPT f=1 TT=14.53 T1=9.91	OPT f=1 TT=22.379 T1=10.7	OPT f=1 TT=13.82 T1=9.67	Wrong UNSAT TT=11.04
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb		? (MO) TT=1349.51	? (MO) TT=1370.87	? (MO) TT=13.09	? (TO) TT=1800.26	? (TO) TT=1800.36	? (TO) TT=1800.15	Wrong Cert. TT=11.189
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb	OPT f=1 TT=13.592 T1=9.43	? (MO) TT=561.021	? (MO) TT=567.499	? (MO) TT=12.49	OPT f=1 TT=15.015 T1=10.13	OPT f=1 TT=21.535 T1=10.41	OPT f=1 TT=13.592 T1=9.43	Wrong UNSAT TT=10.758
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb		? (MO) TT=1262.56	? (MO) TT=1279.9	? (MO) TT=13.11	? (TO) TT=1800.2	? (TO) TT=1800.38	? (TO) TT=1800.16	Wrong Cert. TT=12.277
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb	OPT f=1 TT=16.342 T1=11.25	? (MO) TT=367.493	? (MO) TT=372.894	? (MO) TT=13.09	OPT f=1 TT=17.145 T1=11.67	OPT f=1 TT=25.148 T1=11.67	OPT f=1 TT=16.342 T1=11.25	Wrong UNSAT TT=12.18
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb		? (MO) TT=1121.72	? (MO) TT=1132.31	? (MO) TT=12.99	? (TO) TT=1800.11	? (TO) TT=1800.26	? (TO) TT=1800.1	Wrong Cert. TT=12.569
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb	OPT f=1 TT=15.721 T1=10.64	? (MO) TT=521.616	? (MO) TT=550.297	? (MO) TT=13.1	OPT f=1 TT=15.721 T1=10.64	OPT f=1 TT=23.139 T1=10.95	OPT f=1 TT=16.633 T1=11.6	Wrong UNSAT TT=12.544
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb		? (MO) TT=884.835	? (MO) TT=846.837	? (MO) TT=12.99	? (TO) TT=1800.17	? (TO) TT=1800.19	? (TO) TT=1800.18	Wrong Cert. TT=14.134
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb	OPT f=1 TT=18.426 T1=12.33	? (MO) TT=448.2	? (MO) TT=454.913	? (MO) TT=13.09	OPT f=1 TT=19.073 T1=12.39	OPT f=1 TT=29.051 T1=13.43	OPT f=1 TT=18.426 T1=12.33	Wrong UNSAT TT=14.068
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb		? (MO) TT=904.243	? (MO) TT=909.21	? (MO) TT=12.99	? (TO) TT=1800.26	? (TO) TT=1800.34	? (TO) TT=1800.17	Wrong Cert. TT=14.151
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb	OPT f=1 TT=19.396 T1=12.7	? (MO) TT=395.033	? (MO) TT=420.06	? (MO) TT=12.49	OPT f=1 TT=19.757 T1=12.7	OPT f=1 TT=28.038 T1=13.22	OPT f=1 TT=19.396 T1=13.08	Wrong UNSAT TT=14.083
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb		? (MO) TT=872.648	? (MO) TT=839.715	? (MO) TT=12.49	? (TO) TT=1800.25	? (TO) TT=1800.39	? (TO) TT=1800.16	Wrong Cert. TT=15.754
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb	OPT f=1 TT=21.611 T1=14.81	? (MO) TT=374.99	? (MO) TT=376.495	? (MO) TT=13.1	OPT f=1 TT=22.251 T1=14.87	OPT f=1 TT=34.917 T1=15.51	OPT f=1 TT=21.611 T1=14.81	Wrong UNSAT TT=15.733
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb		? (TO) TT=1800.23	? (TO) TT=1800.18	? (MO) TT=13	? (TO) TT=1800.13	? (TO) TT=1800.22	? (TO) TT=1800.14	Wrong Cert. TT=15.872
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb	OPT f=1 TT=20.852 T1=14.29	? (MO) TT=431.038	? (MO) TT=446.271	? (MO) TT=13.1	OPT f=1 TT=22.432 T1=14.95	OPT f=1 TT=34.727 T1=15.59	OPT f=1 TT=20.852 T1=14.29	Wrong UNSAT TT=15.162
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb		? (MO) TT=754.492	? (MO) TT=761.373	? (MO) TT=12.6	? (TO) TT=1800.15	? (TO) TT=1800.27	? (TO) TT=1800.14	Wrong Cert. TT=17.433
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb	OPT f=1 TT=22.174 T1=14.24	? (MO) TT=314.793	? (MO) TT=318.467	? (MO) TT=12.98	OPT f=1 TT=22.174 T1=14.24	OPT f=1 TT=38.108 T1=17.15	OPT f=1 TT=22.611 T1=14.37	Wrong UNSAT TT=17.299
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb		? (MO) TT=568.833	? (MO) TT=576.516	? (MO) TT=13.11	? (TO) TT=1800.22	? (TO) TT=1800.59	? (TO) TT=1800.07	Wrong Cert. TT=34.797
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb	OPT f=1 TT=22.021 T1=14.03	? (MO) TT=405.977	? (MO) TT=430.749	? (MO) TT=13.1	OPT f=1 TT=22.021 T1=14.03	OPT f=1 TT=40.407 T1=18.67	OPT f=1 TT=22.58 T1=14.4	Wrong UNSAT TT=17.412
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb	SAT f=-11 TT=1800.2 T1=1043.58	SAT (TO) f=-1 TT=1800.06 T1=0.67	SAT (TO) f=-1 TT=1800.06 T1=0.68	? (TO) TT=1800.09	? (TO) TT=1800.18	SAT (TO) f=-1 TT=1800.41 T1=515.91	SAT (TO) f=-11 TT=1800.2 T1=1043.58	Wrong Cert. TT=39.828
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb	OPT f=1 TT=1.204 T1=0.67	OPT f=1 TT=602.974 T1=603.09	OPT f=1 TT=605.45 T1=605.55	? (TO) TT=1800.01	OPT f=1 TT=1.284 T1=0.67	OPT f=1 TT=1.893 T1=1.79	OPT f=1 TT=1.204 T1=0.67	OPT f=1 TT=4.242 T1=4.22
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb	SAT f=-502 TT=1800.22 T1=739.54	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.13	SAT (TO) f=-502 TT=1800.35 T1=739.54	SAT (TO) f=-502 TT=1800.22 T1=753.42	Wrong Cert. TT=58.948
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb	OPT f=1 TT=1.323 T1=0.7	OPT f=1 TT=23.431 T1=23.38	OPT f=1 TT=32.265 T1=32.21	? (TO) TT=1800.07	OPT f=1 TT=1.323 T1=0.7	OPT f=1 TT=2.142 T1=1.78	OPT f=1 TT=1.544 T1=0.7	OPT f=1 TT=2.509 T1=2.48
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb		? (MO) TT=1082.14	? (MO) TT=1023.66	? (MO) TT=13.1	? (TO) TT=1800.2	? (TO) TT=1800.36	? (TO) TT=1800.15	Wrong Cert. TT=19.414
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb	OPT f=1 TT=29.649 T1=19.79	? (MO) TT=363.637	? (MO) TT=364.561	? (MO) TT=13.1	OPT f=1 TT=29.89 T1=19.97	OPT f=1 TT=47.61 T1=20.07	OPT f=1 TT=29.649 T1=19.79	Wrong UNSAT TT=19.231
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb		? (MO) TT=911.314	? (MO) TT=931.065	? (MO) TT=12.99	? (TO) TT=1800.26	? (TO) TT=1800.24	? (TO) TT=1800.11	Wrong Cert. TT=19.453
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb	OPT f=1 TT=28.099 T1=18.85	? (MO) TT=321.171	? (MO) TT=339.502	? (MO) TT=12.99	OPT f=1 TT=29.987 T1=20.14	OPT f=1 TT=46.028 T1=19.56	OPT f=1 TT=28.099 T1=18.85	Wrong UNSAT TT=19.249
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb		? (MO) TT=490.815	? (MO) TT=495.399	? (MO) TT=13.09	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.13	Wrong Cert. TT=20.72
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	OPT f=1 TT=30.608 T1=18.88	? (MO) TT=222.504	? (MO) TT=224.902	? (MO) TT=12.99	OPT f=1 TT=31.015 T1=18.98	OPT f=1 TT=55.151 T1=23.15	OPT f=1 TT=30.608 T1=18.88	Wrong UNSAT TT=21.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb		? (TO) TT=1800.24	? (TO) TT=1800.25	? (MO) TT=12.59	? (TO) TT=1800.12	? (TO) TT=1800.22	? (TO) TT=1800.17	Wrong Cert. TT=21.43
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	OPT f=1 TT=29.661 T1=18.61	? (MO) TT=294.346	? (MO) TT=296.312	? (MO) TT=12.99	OPT f=1 TT=29.661 T1=18.61	OPT f=1 TT=56.369 T1=23.33	OPT f=1 TT=32.584 T1=19.58	Wrong UNSAT TT=21.017
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb		? (MO) TT=1585.43	? (MO) TT=1486.26	? (MO) TT=13.1	? (TO) TT=1800.2	? (TO) TT=1800.33	? (TO) TT=1800.09	Wrong Cert. TT=23.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb	OPT f=1 TT=36.375 T1=24.3	? (MO) TT=183.914	? (MO) TT=177.926	? (MO) TT=13.09	OPT f=1 TT=37.856 T1=24.96	OPT f=1 TT=63.838 T1=26.58	OPT f=1 TT=36.375 T1=24.3	Wrong UNSAT TT=22.94
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb		? (MO) TT=486.412	? (MO) TT=468.557	? (MO) TT=13.21	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.17	Wrong Cert. TT=23.228
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb	OPT f=1 TT=38.068 T1=24.32	? (MO) TT=198.411	? (MO) TT=191.124	? (MO) TT=13.1	OPT f=1 TT=38.544 T1=25.14	OPT f=1 TT=62.457 T1=25.62	OPT f=1 TT=38.068 T1=24.32	Wrong UNSAT TT=23.181
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb		? (MO) TT=282.805	? (MO) TT=297.512	? (MO) TT=13.2	? (TO) TT=1800.1	? (TO) TT=1800.27	? (TO) TT=1800.08	Wrong Cert. TT=25.335
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT f=1 TT=40.61 T1=24.52	? (MO) TT=139.532	? (MO) TT=134.035	? (MO) TT=12.57	OPT f=1 TT=40.61 T1=24.52	OPT f=1 TT=70.246 T1=27.75	OPT f=1 TT=43.224 T1=26.55	Wrong UNSAT TT=25.123
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb		? (MO) TT=206.328	? (MO) TT=207.397	? (MO) TT=13.08	? (TO) TT=1800.09	? (TO) TT=1800.23	? (TO) TT=1800.1	Wrong Cert. TT=25.495
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb	OPT f=1 TT=38.76 T1=23.37	? (MO) TT=154.751	? (MO) TT=154.141	? (MO) TT=13.12	OPT f=1 TT=38.76 T1=23.37	OPT f=1 TT=68.952 T1=27.42	OPT f=1 TT=43.234 T1=26.59	Wrong UNSAT TT=25.107
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb		? (MO) TT=118.456	? (MO) TT=119.458	? (MO) TT=13.08	? (TO) TT=1800.22	? (TO) TT=1800.28	? (TO) TT=1800.15	Wrong Cert. TT=27.632
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb	OPT f=1 TT=43.807 T1=27.68	? (MO) TT=80.437	? (MO) TT=84.159	? (MO) TT=12.59	OPT f=1 TT=43.807 T1=27.68	OPT f=1 TT=78.05 T1=30.83	OPT f=1 TT=43.98 T1=27.76	Wrong UNSAT TT=27.417
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb		? (MO) TT=130.106	? (MO) TT=132.346	? (MO) TT=12.51	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.15	Wrong Cert. TT=27.768
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb	OPT f=1 TT=45.909 T1=29.37	? (MO) TT=84.066	? (MO) TT=79.341	? (MO) TT=13.18	OPT f=1 TT=45.909 T1=29.37	OPT f=1 TT=78.359 T1=30.96	OPT f=1 TT=46.945 T1=29.73	Wrong UNSAT TT=27.45
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb		? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.44	? (TO) TT=1800.2	Wrong UNSAT TT=4.321
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb	OPT f=1 TT=2.258 T1=1.01	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.05	OPT f=1 TT=2.391 T1=1.05	OPT f=1 TT=3.75 T1=2.26	OPT f=1 TT=2.258 T1=1.01	Wrong UNSAT TT=4.255
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb		? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.47	? (TO) TT=1800.24	Wrong UNSAT TT=5.136
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb	OPT f=1 TT=2.34 T1=1.03	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	OPT f=1 TT=2.369 T1=1.07	OPT f=1 TT=4.327 T1=2.22	OPT f=1 TT=2.34 T1=1.03	Wrong UNSAT TT=5.162
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb	SAT f=-2 TT=1800.41 T1=14.92	? (TO) TT=1800.13	? (TO) TT=1800.15	? (MO) TT=80.97	SAT (TO) f=-2 TT=1800.41 T1=14.92	SAT (TO) f=-2 TT=1800.53 T1=18.65	? (TO) TT=1800.25	Wrong Cert. TT=0.792
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb	OPT f=1 TT=1.959 T1=1.17	? (TO) TT=1800.12	? (TO) TT=1800.08	? (MO) TT=80.77	OPT f=1 TT=1.966 T1=1.17	OPT f=1 TT=5.155 T1=2.62	OPT f=1 TT=1.959 T1=1.17	? TT=0.865
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb		? (TO) TT=1800.11	? (TO) TT=1800.11	? (MO) TT=73.18	? (TO) TT=1800.18	? (TO) TT=1800.32	? (TO) TT=1800.21	Wrong Cert. TT=0.79
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb	OPT f=1 TT=2.23 T1=1.38	? (TO) TT=1800.07	? (TO) TT=1800.11	? (MO) TT=73.58	OPT f=1 TT=2.933 T1=1.38	OPT f=1 TT=5.702 T1=3.65	OPT f=1 TT=2.23 T1=1.48	? TT=0.862

Statistics		PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
Number of times the solver is able to give the best known answer		0	6	0	52	54	54	0
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	2	0	19	2	35	0