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

Results by benchmark for category no optimisation, small integers, linear constraints (DEC-SMALLINT-LIN), subcategory Industrial, subsubcategory FPGA ...

This page displays the results of the different solvers for each benchmark for category no optimisation, small integers, linear constraints (DEC-SMALLINT-LIN), subcategory Industrial, subsubcategory FPGA ...

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-dec-11.04.03 (complete)
bsolo 3.2 (complete)
clasp 2.0-R4191 (complete)
MinisatID 2.4.8 [DEPRECATED] (complete)
MinisatID 2.4.8-gmp [DEPRECATED] (complete)
MinisatID 2.5.2 (fixed) (complete)
MinisatID 2.5.2-gmp (fixed) (complete)
Sat4j CuttingPlanes 2.3.0 (complete)
Sat4j Res//CP 2.3.0 (complete)
Sat4j Resolution 2.3.0 (complete)
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)
SCIP spx 2 2011-06-10 (fixed) (complete)
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)
SCIP spx E_2 2011-06-10 (fixed) (complete)
wbo 1.6 (complete)

Bench name	Best results on this instance	borg pb-dec-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT TT=0.004	UNSAT TT=0.468	UNSAT TT=0.004	UNSAT TT=23.347	? (TO) TT=1800.03	? (TO) TT=1800.07	UNSAT TT=203.056	UNSAT TT=205.898	UNSAT TT=0.187	UNSAT TT=0.275	UNSAT TT=1001.22	UNSAT TT=0.016	UNSAT TT=0.015	UNSAT TT=0.017	UNSAT TT=0.016	UNSAT TT=109.266
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT TT=0.003	UNSAT TT=0.467	UNSAT TT=0.003	UNSAT TT=24.733	? (TO) TT=1800.06	? (TO) TT=1800.09	UNSAT TT=166.631	UNSAT TT=191.445	UNSAT TT=0.196	UNSAT TT=0.23	? (TO) TT=1800.13	UNSAT TT=0.019	UNSAT TT=0.017	UNSAT TT=0.019	UNSAT TT=0.019	UNSAT TT=458.821
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT TT=0.005	UNSAT TT=0.476	UNSAT TT=0.005	UNSAT TT=25.133	? (TO) TT=1800.09	? (TO) TT=1800.07	UNSAT TT=195.175	UNSAT TT=186.274	UNSAT TT=0.204	UNSAT TT=0.242	UNSAT TT=801.533	UNSAT TT=0.019	UNSAT TT=0.018	UNSAT TT=0.021	UNSAT TT=0.019	UNSAT TT=132.562
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT TT=0.009	UNSAT TT=0.511	UNSAT TT=0.009	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.05	UNSAT TT=0.245	UNSAT TT=0.382	? (TO) TT=1800.15	UNSAT TT=0.019	UNSAT TT=0.018	UNSAT TT=0.02	UNSAT TT=0.02	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT TT=0.014	UNSAT TT=0.477	UNSAT TT=0.014	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.06	UNSAT TT=0.222	UNSAT TT=0.283	? (TO) TT=1800.05	UNSAT TT=0.022	UNSAT TT=0.02	UNSAT TT=0.022	UNSAT TT=0.022	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT TT=0.014	UNSAT TT=0.501	UNSAT TT=0.014	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	UNSAT TT=0.252	UNSAT TT=0.319	? (TO) TT=1800.15	UNSAT TT=0.024	UNSAT TT=0.022	UNSAT TT=0.024	UNSAT TT=0.024	? (TO) TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT TT=0.023	UNSAT TT=0.489	UNSAT TT=0.025	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	UNSAT TT=0.318	UNSAT TT=0.667	? (TO) TT=1800.06	UNSAT TT=0.025	UNSAT TT=0.023	UNSAT TT=0.026	UNSAT TT=0.025	? (TO) TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT TT=0.021	UNSAT TT=0.494	UNSAT TT=0.021	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.06	UNSAT TT=0.274	UNSAT TT=0.38	? (TO) TT=1800.13	UNSAT TT=0.026	UNSAT TT=0.027	UNSAT TT=0.03	UNSAT TT=0.026	? (TO) TT=1800.1
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT TT=0.027	UNSAT TT=0.503	UNSAT TT=0.028	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.07	UNSAT TT=0.308	UNSAT TT=0.446	? (TO) TT=1800.12	UNSAT TT=0.029	UNSAT TT=0.027	UNSAT TT=0.03	UNSAT TT=0.028	? (TO) TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT TT=0.039	UNSAT TT=0.522	UNSAT TT=0.068	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.04	UNSAT TT=0.549	UNSAT TT=1.088	? (TO) TT=1800.14	UNSAT TT=0.039	UNSAT TT=0.039	UNSAT TT=0.039	UNSAT TT=0.041	? (TO) TT=1800.08
Bench name	Best results	borg pb-dec-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT TT=0.044	UNSAT TT=0.532	UNSAT TT=0.074	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.06	UNSAT TT=0.386	UNSAT TT=0.588	? (TO) TT=1800.06	UNSAT TT=0.05	UNSAT TT=0.044	UNSAT TT=0.045	UNSAT TT=0.044	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT TT=0.047	UNSAT TT=0.548	UNSAT TT=0.116	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.08	UNSAT TT=0.397	UNSAT TT=0.631	? (TO) TT=1800.14	UNSAT TT=0.049	UNSAT TT=0.047	UNSAT TT=0.051	UNSAT TT=0.048	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT TT=0.047	UNSAT TT=0.609	UNSAT TT=0.113	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.09	UNSAT TT=0.739	UNSAT TT=1.552	? (TO) TT=1800.08	UNSAT TT=0.049	UNSAT TT=0.047	UNSAT TT=0.049	UNSAT TT=0.051	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT TT=0.05	UNSAT TT=0.618	UNSAT TT=0.234	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.03	UNSAT TT=0.463	UNSAT TT=0.794	? (TO) TT=1800.13	UNSAT TT=0.053	UNSAT TT=0.05	UNSAT TT=0.054	UNSAT TT=0.056	? (TO) TT=1800.09
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT TT=0.055	UNSAT TT=0.584	UNSAT TT=0.132	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.05	UNSAT TT=0.484	UNSAT TT=0.822	? (TO) TT=1800.14	UNSAT TT=0.058	UNSAT TT=0.055	UNSAT TT=0.06	UNSAT TT=0.057	? (TO) TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT TT=0.059	UNSAT TT=0.612	UNSAT TT=0.207	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.08	UNSAT TT=0.876	UNSAT TT=1.604	? (TO) TT=1800.16	UNSAT TT=0.061	UNSAT TT=0.059	UNSAT TT=0.066	UNSAT TT=0.06	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT TT=0.067	UNSAT TT=0.61	UNSAT TT=0.182	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.05	UNSAT TT=0.511	UNSAT TT=0.93	? (TO) TT=1800.1	UNSAT TT=0.071	UNSAT TT=0.067	UNSAT TT=0.071	UNSAT TT=0.068	? (TO) TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT TT=0.074	UNSAT TT=0.635	UNSAT TT=0.234	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.07	UNSAT TT=0.503	UNSAT TT=0.938	? (TO) TT=1800.08	UNSAT TT=0.078	UNSAT TT=0.074	UNSAT TT=0.083	UNSAT TT=0.074	? (TO) TT=1800.07
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT TT=0.084	UNSAT TT=0.709	UNSAT TT=0.371	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.06	UNSAT TT=1.236	UNSAT TT=2.139	? (TO) TT=1800.08	UNSAT TT=0.088	UNSAT TT=0.091	UNSAT TT=0.088	UNSAT TT=0.084	? (TO) TT=1800.12
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT TT=0.091	UNSAT TT=0.707	UNSAT TT=0.534	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.06	UNSAT TT=0.73	UNSAT TT=1.146	? (TO) TT=1800.18	UNSAT TT=0.096	UNSAT TT=0.091	UNSAT TT=0.096	UNSAT TT=0.092	? (TO) TT=1800.09
Bench name	Best results	borg pb-dec-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT TT=0.098	UNSAT TT=0.726	UNSAT TT=3.959	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.06	UNSAT TT=0.713	UNSAT TT=1.186	? (TO) TT=1800.1	UNSAT TT=0.102	UNSAT TT=0.098	UNSAT TT=0.102	UNSAT TT=0.098	? (TO) TT=1800.08
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT TT=0.003 T1=0	SAT TT=0.78 T1=0.82	SAT TT=0.003 T1=0	SAT TT=0.01 T1=0.01	SAT TT=0.003 T1=0.01	SAT TT=0.01 T1=0.01	SAT TT=0.004 T1=0	SAT TT=0.01 T1=0.01	SAT TT=0.302 T1=0.2	SAT TT=0.529 T1=0.66	SAT TT=0.349 T1=0.21	SAT TT=0.126 T1=0.12	SAT TT=0.124 T1=0.12	SAT TT=0.126 T1=0.12	SAT TT=0.127 T1=0.12	SAT TT=0.004 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_8_sat_pb.cnf.cr.opb	SAT TT=0.001 T1=0	SAT TT=0.487 T1=0.66	SAT TT=0.001 T1=0	SAT TT=0.004 T1=0.01	SAT TT=0.003 T1=0	SAT TT=0.007 T1=0	SAT TT=0.003 T1=0	SAT TT=0.007 T1=0	SAT TT=1.628 T1=0.65	SAT TT=0.571 T1=0.65	SAT TT=0.314 T1=0.19	SAT TT=0.039 T1=0.03	SAT TT=0.038 T1=0.03	SAT TT=0.042 T1=0.03	SAT TT=0.041 T1=0.03	SAT TT=0.001 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT TT=0.003 T1=0	SAT TT=0.461 T1=0.53	SAT TT=0.013 T1=0.01	SAT TT=0.008 T1=0	SAT TT=0.003 T1=0	SAT TT=0.009 T1=0	SAT TT=0.003 T1=0	SAT TT=0.009 T1=0	SAT TT=1.339 T1=0.56	SAT TT=0.654 T1=0.66	SAT TT=0.385 T1=0.22	SAT TT=0.105 T1=0.1	SAT TT=0.105 T1=0.1	SAT TT=0.108 T1=0.1	SAT TT=0.108 T1=0.1	SAT TT=0.004 T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT TT=0.002 T1=0	SAT TT=0.822 T1=0.97	SAT TT=0.003 T1=0	SAT TT=0.091 T1=0.09	SAT TT=0.005 T1=0	SAT TT=0.011 T1=0.01	SAT TT=0.004 T1=0	SAT TT=0.012 T1=0.01	SAT TT=0.333 T1=0.22	SAT TT=0.615 T1=0.66	SAT TT=0.376 T1=0.22	SAT TT=0.168 T1=0.16	SAT TT=0.167 T1=0.16	SAT TT=0.17 T1=0.16	SAT TT=0.171 T1=0.16	SAT TT=0.002 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT TT=0.001 T1=0	SAT TT=0.851 T1=1.08	SAT TT=0.002 T1=0	SAT TT=0.011 T1=0.01	SAT TT=0.004 T1=0.01	SAT TT=0.012 T1=0.01	SAT TT=0.004 T1=0	SAT TT=0.012 T1=0.01	SAT TT=1.022 T1=0.45	SAT TT=0.753 T1=0.67	SAT TT=0.394 T1=0.23	SAT TT=0.136 T1=0.13	SAT TT=0.133 T1=0.13	SAT TT=0.137 T1=0.13	SAT TT=0.139 T1=0.13	SAT TT=0.001 T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT TT=0.001 T1=0	SAT TT=0.467 T1=0.61	SAT TT=0.001 T1=0	SAT TT=0.033 T1=0.03	SAT TT=0.004 T1=0	SAT TT=0.009 T1=0	SAT TT=0.003 T1=0	SAT TT=0.009 T1=0	SAT TT=1.799 T1=0.75	SAT TT=0.564 T1=0.67	SAT TT=0.354 T1=0.21	SAT TT=0.219 T1=0.21	SAT TT=0.22 T1=0.21	SAT TT=0.22 T1=0.21	SAT TT=0.223 T1=0.21	SAT TT=0.001 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_10_sat_pb.cnf.cr.opb	SAT TT=0.001 T1=0	SAT TT=0.476 T1=0.69	SAT TT=0.002 T1=0	SAT TT=0.028 T1=0.02	SAT TT=0.044 T1=0.04	SAT TT=0.068 T1=0.08	SAT TT=0.005 T1=0	SAT TT=0.013 T1=0.01	SAT TT=72.39 T1=70.69	SAT TT=0.694 T1=0.67	SAT TT=0.416 T1=0.24	SAT TT=1.041 T1=1.03	SAT TT=1.06 T1=1.05	SAT TT=1.04 T1=1.03	SAT TT=1.069 T1=1.06	SAT TT=0.001 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT TT=0.006 T1=0	SAT TT=0.907 T1=0.92	SAT TT=0.019 T1=0.01	SAT TT=0.015 T1=0.01	SAT TT=0.182 T1=0.18	SAT TT=0.239 T1=0.24	SAT TT=0.007 T1=0	SAT TT=0.02 T1=0.02	SAT TT=1.512 T1=0.68	SAT TT=0.755 T1=0.67	SAT TT=0.459 T1=0.25	SAT TT=0.197 T1=0.19	SAT TT=0.178 T1=0.17	SAT TT=0.179 T1=0.17	SAT TT=0.194 T1=0.18	SAT TT=0.006 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT TT=0.002 T1=0	SAT TT=0.896 T1=1.21	SAT TT=0.004 T1=0	SAT TT=0.004 T1=0	SAT TT=0.055 T1=0.06	SAT TT=0.074 T1=0.07	SAT TT=0.007 T1=0	SAT TT=0.019 T1=0.01	SAT TT=1.282 T1=0.54	SAT TT=0.701 T1=0.69	SAT TT=0.415 T1=0.24	SAT TT=0.16 T1=0.15	SAT TT=0.175 T1=0.17	SAT TT=0.161 T1=0.15	SAT TT=0.163 T1=0.15	SAT TT=0.002 T1=0
Bench name	Best results	borg pb-dec-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT TT=0.001 T1=0	SAT TT=0.502 T1=0.8	SAT TT=0.155 T1=0.15	SAT TT=0.16 T1=0.16	SAT TT=0.004 T1=0.01	SAT TT=0.014 T1=0.01	SAT TT=0.006 T1=0	SAT TT=0.014 T1=0.01	SAT TT=145.362 T1=143.04	SAT TT=0.665 T1=0.68	SAT TT=0.412 T1=0.23	SAT TT=1.208 T1=1.2	SAT TT=1.352 T1=1.34	SAT TT=1.209 T1=1.2	SAT TT=1.245 T1=1.23	SAT TT=0.001 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT TT=0.004 T1=0	SAT TT=0.836 T1=1.18	SAT TT=0.004 T1=0	SAT TT=1.032 T1=1.03	SAT TT=0.005 T1=0	SAT TT=0.016 T1=0.01	SAT TT=0.006 T1=0	SAT TT=0.017 T1=0.01	SAT TT=0.417 T1=0.31	SAT TT=0.602 T1=0.68	SAT TT=0.396 T1=0.23	SAT TT=0.236 T1=0.23	SAT TT=0.249 T1=0.24	SAT TT=0.236 T1=0.23	SAT TT=0.239 T1=0.23	SAT TT=0.004 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_13_sat_pb.cnf.cr.opb	SAT TT=0.004 T1=0	SAT TT=0.915 T1=2.57	SAT TT=0.005 T1=0	SAT TT=0.726 T1=0.72	SAT TT=0.252 T1=0.25	SAT TT=0.288 T1=0.28	SAT TT=0.008 T1=0	SAT TT=0.021 T1=0.02	SAT TT=0.665 T1=0.33	SAT TT=0.838 T1=0.7	SAT TT=0.457 T1=0.26	SAT TT=0.234 T1=0.23	SAT TT=0.207 T1=0.2	SAT TT=0.21 T1=0.2	SAT TT=0.211 T1=0.2	SAT TT=0.004 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT TT=0.006 T1=0	SAT TT=1.404 T1=1.5	SAT TT=0.184 T1=0.18	SAT TT=0.095 T1=0.09	SAT TT=0.006 T1=0	SAT TT=0.016 T1=0.01	SAT TT=0.006 T1=0	SAT TT=0.016 T1=0.01	SAT TT=187.642 T1=185.45	SAT TT=2.955 T1=1.2	SAT TT=0.97 T1=0.67	SAT TT=6.191 T1=6.18	SAT TT=6.88 T1=6.87	SAT TT=6.173 T1=6.16	SAT TT=6.946 T1=6.93	SAT TT=0.006 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT TT=0.002 T1=0	SAT TT=0.962 T1=0.81	SAT TT=0.004 T1=0	SAT TT=0.463 T1=0.46	SAT TT=0.007 T1=0	SAT TT=0.022 T1=0.02	SAT TT=0.007 T1=0	SAT TT=0.022 T1=0.02	SAT TT=1.908 T1=0.8	SAT TT=1.093 T1=0.69	SAT TT=0.524 T1=0.29	SAT TT=0.492 T1=0.48	SAT TT=0.546 T1=0.54	SAT TT=0.535 T1=0.52	SAT TT=0.498 T1=0.49	SAT TT=0.002 T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT TT=0.005 T1=0	SAT TT=0.918 T1=0.79	SAT TT=0.006 T1=0	SAT TT=0.254 T1=0.25	SAT TT=0.009 T1=0	SAT TT=0.028 T1=0.02	SAT TT=0.009 T1=0	SAT TT=0.026 T1=0.02	SAT TT=0.66 T1=0.33	SAT TT=0.846 T1=0.69	SAT TT=0.475 T1=0.27	SAT TT=0.307 T1=0.3	SAT TT=0.279 T1=0.27	SAT TT=0.282 T1=0.27	SAT TT=0.281 T1=0.27	SAT TT=0.005 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT TT=0.002 T1=0	SAT TT=2.662 T1=2.54	SAT TT=0.004 T1=0	SAT TT=0.436 T1=0.43	SAT TT=0.007 T1=0	SAT TT=0.022 T1=0.02	SAT TT=0.007 T1=0	SAT TT=0.022 T1=0.02	? (TO) TT=1800.31	SAT TT=5.321 T1=2.22	SAT TT=2.31 T1=1.94	SAT TT=0.693 T1=0.68	SAT TT=0.679 T1=0.67	SAT TT=0.613 T1=0.6	SAT TT=0.622 T1=0.61	SAT TT=0.002 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_14_sat_pb.cnf.cr.opb	SAT TT=0.003 T1=0	SAT TT=0.959 T1=1.23	SAT TT=0.005 T1=0	SAT TT=43.215 T1=43.21	SAT TT=0.108 T1=0.11	SAT TT=0.144 T1=0.14	SAT TT=0.011 T1=0.01	SAT TT=0.033 T1=0.03	SAT TT=0.565 T1=0.31	SAT TT=0.839 T1=0.7	SAT TT=0.504 T1=0.27	SAT TT=0.504 T1=0.49	SAT TT=0.546 T1=0.54	SAT TT=0.501 T1=0.49	SAT TT=0.547 T1=0.54	SAT TT=0.003 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT TT=0.004 T1=0	SAT TT=1.015 T1=1.19	SAT TT=0.006 T1=0	SAT TT=3.243 T1=3.24	SAT TT=2.264 T1=2.26	SAT TT=2.491 T1=2.49	SAT TT=0.015 T1=0.01	SAT TT=0.04 T1=0.03	SAT TT=2.293 T1=1.02	SAT TT=1.058 T1=0.7	SAT TT=0.546 T1=0.3	SAT TT=0.335 T1=0.33	SAT TT=0.333 T1=0.32	SAT TT=0.335 T1=0.32	SAT TT=0.338 T1=0.33	SAT TT=0.004 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT TT=0.011 T1=0.01	SAT TT=0.504 T1=0.61	SAT TT=0.015 T1=0.01	? (TO) TT=1800.06	SAT TT=14.511 T1=14.51	SAT TT=15.279 T1=15.28	SAT TT=0.02 T1=0.02	SAT TT=0.061 T1=0.06	? (TO) TT=1800.31	SAT TT=1.312 T1=0.74	SAT TT=0.581 T1=0.31	? (TO) TT=1800.07	? TT=1797.08	? (TO) TT=1800.07	? TT=1797.05	SAT TT=0.011 T1=0.02
Bench name	Best results	borg pb-dec-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT TT=0.005 T1=0	SAT TT=0.482 T1=0.56	SAT TT=0.011 T1=0.01	? (TO) TT=1800.08	SAT TT=0.018 T1=0.01	SAT TT=0.056 T1=0.05	SAT TT=0.017 T1=0.01	SAT TT=0.059 T1=0.05	SAT TT=19.145 T1=17.71	SAT TT=1.616 T1=0.74	SAT TT=0.685 T1=0.39	SAT TT=0.982 T1=0.97	SAT TT=0.978 T1=0.97	SAT TT=0.977 T1=0.97	SAT TT=0.988 T1=0.98	SAT TT=0.005 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT TT=0.005 T1=0	SAT TT=0.522 T1=1.19	SAT TT=0.013 T1=0.01	? (TO) TT=1800.08	SAT TT=0.019 T1=0.01	SAT TT=0.062 T1=0.06	SAT TT=0.019 T1=0.02	SAT TT=0.062 T1=0.06	SAT TT=7.419 T1=5.94	SAT TT=1.583 T1=0.75	SAT TT=0.677 T1=0.35	SAT TT=1.653 T1=1.65	SAT TT=1.658 T1=1.65	SAT TT=1.636 T1=1.63	SAT TT=1.66 T1=1.65	SAT TT=0.005 T1=0
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT TT=0.088 T1=0.08	SAT TT=1.095 T1=1.33	SAT TT=0.621 T1=0.62	? (TO) TT=1800.06	SAT TT=66.066 T1=66.06	SAT TT=69.097 T1=69.09	SAT TT=0.088 T1=0.08	SAT TT=0.216 T1=0.21	? (TO) TT=1800.19	SAT TT=5.47 T1=2.3	SAT TT=2.42 T1=1.83	SAT TT=4.107 T1=4.1	SAT TT=4.409 T1=4.4	SAT TT=4.064 T1=4.05	SAT TT=4.161 T1=4.15	SAT TT=2.354 T1=2.35
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT TT=0.018 T1=0.01	SAT TT=1.257 T1=1.04	SAT TT=0.43 T1=0.43	? (TO) TT=1800.1	SAT TT=139.428 T1=139.42	SAT TT=148.066 T1=148.06	SAT TT=0.111 T1=0.11	SAT TT=0.268 T1=0.26	SAT TT=331.876 T1=329.46	SAT TT=1.658 T1=0.78	SAT TT=0.813 T1=0.41	SAT TT=603.498 T1=603.46	SAT TT=630.766 T1=630.72	SAT TT=595.78 T1=595.74	SAT TT=612.948 T1=612.91	SAT TT=0.018 T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT TT=0.019 T1=0.01	SAT TT=1.377 T1=1	SAT TT=0.028 T1=0.02	? (TO) TT=1800.07	SAT TT=133.887 T1=133.88	SAT TT=140.656 T1=140.65	SAT TT=0.073 T1=0.07	SAT TT=0.219 T1=0.21	SAT TT=142.085 T1=140.03	SAT TT=2.079 T1=0.79	SAT TT=0.872 T1=0.44	SAT TT=2.212 T1=2.2	SAT TT=2.434 T1=2.42	SAT TT=2.197 T1=2.18	SAT TT=2.245 T1=2.23	SAT TT=0.019 T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_28_sat_pb.cnf.cr.opb	SAT TT=0.012 T1=0.01	SAT TT=2.33 T1=3.34	SAT TT=0.035 T1=0.03	? (TO) TT=1800.04	SAT TT=0.059 T1=0.06	SAT TT=0.211 T1=0.21	SAT TT=0.059 T1=0.05	SAT TT=0.189 T1=0.18	? (TO) TT=1800.3	SAT TT=3.898 T1=1.81	SAT TT=1.704 T1=1.2	? (TO) TT=1800.04	? TT=1797.13	? (TO) TT=1800.07	? TT=1797.07	SAT TT=0.012 T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT TT=0.026 T1=0.02	SAT TT=1.555 T1=1.25	SAT TT=0.161 T1=0.16	? (TO) TT=1800.06	SAT TT=469.597 T1=469.58	SAT TT=536.217 T1=536.2	SAT TT=0.137 T1=0.13	SAT TT=0.375 T1=0.37	? (TO) TT=1800.25	SAT TT=2.403 T1=0.81	SAT TT=1.069 T1=0.6	SAT TT=11.754 T1=11.74	SAT TT=12.885 T1=12.87	SAT TT=11.718 T1=11.7	SAT TT=13.095 T1=13.08	SAT TT=0.026 T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_30_sat_pb.cnf.cr.opb	SAT TT=0.014 T1=0.01	SAT TT=1.56 T1=1.35	SAT TT=0.044 T1=0.04	? (TO) TT=1800.05	SAT TT=718.085 T1=718.04	SAT TT=816.857 T1=816.81	SAT TT=0.181 T1=0.18	SAT TT=0.44 T1=0.43	SAT TT=8.018 T1=6.57	SAT TT=2.589 T1=0.82	SAT TT=1.218 T1=0.63	? (TO) TT=1800.09	? TT=1797.07	? (TO) TT=1800.07	? TT=1797.09	SAT TT=0.014 T1=0.01
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_33_sat_pb.cnf.cr.opb	SAT TT=0.298 T1=0.29	SAT TT=1.892 T1=2.04	SAT TT=0.6 T1=0.6	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.09	SAT TT=0.298 T1=0.29	SAT TT=0.721 T1=0.72	? (TO) TT=1800.24	SAT TT=3.131 T1=1.35	SAT TT=1.281 T1=0.67	SAT TT=1755.78 T1=1755.7	? TT=1797.07	SAT TT=1742.67 T1=1742.59	? TT=1797.08	SAT TT=43.849 T1=43.84
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT TT=0.019 T1=0.01	SAT TT=1.67 T1=1.56	SAT TT=0.065 T1=0.06	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.1	SAT TT=0.377 T1=0.37	SAT TT=0.885 T1=0.88	? (TO) TT=1800.2	SAT TT=2.549 T1=0.85	SAT TT=1.231 T1=0.59	SAT TT=17.67 T1=17.65	SAT TT=16.317 T1=16.3	SAT TT=16.088 T1=16.07	SAT TT=16.289 T1=16.27	SAT TT=0.019 T1=0.01
Bench name	Best results	borg pb-dec-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT TT=0.027 T1=0.02	SAT TT=1.748 T1=1.23	SAT TT=0.086 T1=0.08	? (TO) TT=1800.08	SAT TT=290.957 T1=290.94	SAT TT=304.153 T1=304.14	SAT TT=0.334 T1=0.33	SAT TT=0.862 T1=0.86	SAT TT=430.97 T1=428.52	SAT TT=2.544 T1=0.87	SAT TT=1.205 T1=0.6	? (TO) TT=1800.09	? TT=1797.09	? (TO) TT=1800.07	? TT=1797.13	SAT TT=0.027 T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT TT=0.027 T1=0.02	SAT TT=1.587 T1=1.88	SAT TT=0.103 T1=0.1	? (TO) TT=1800.07	SAT TT=0.198 T1=0.19	SAT TT=0.627 T1=0.62	SAT TT=0.3 T1=0.29	SAT TT=0.872 T1=0.87	? (TO) TT=1800.21	SAT TT=3.464 T1=1.44	SAT TT=1.704 T1=1.04	SAT TT=20.558 T1=20.54	SAT TT=22.359 T1=22.34	SAT TT=20.487 T1=20.47	SAT TT=22.298 T1=22.28	SAT TT=0.027 T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT TT=0.265 T1=0.26	SAT TT=1.084 T1=1.16	SAT TT=0.265 T1=0.26	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.05	SAT TT=0.648 T1=0.64	SAT TT=1.587 T1=1.58	? (TO) TT=1800.26	SAT TT=3.52 T1=1.39	SAT TT=1.809 T1=1.09	? (TO) TT=1800.07	? TT=1797.1	? (TO) TT=1800.03	? TT=1797.08	SAT TT=1.134 T1=1.13
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_40_sat_pb.cnf.cr.opb	SAT TT=0.058 T1=0.06	SAT TT=1.827 T1=1.89	SAT TT=0.14 T1=0.13	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.05	SAT TT=0.725 T1=0.72	SAT TT=1.657 T1=1.65	SAT TT=3.805 T1=2.66	SAT TT=3.074 T1=1.43	SAT TT=1.524 T1=0.88	SAT TT=29.764 T1=29.74	SAT TT=33.072 T1=33.05	SAT TT=29.628 T1=29.6	SAT TT=30.083 T1=30.06	SAT TT=0.058 T1=0.06
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_43_sat_pb.cnf.cr.opb	SAT TT=0.055 T1=0.05	SAT TT=3.948 T1=4.07	SAT TT=0.222 T1=0.22	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.07	SAT TT=0.728 T1=0.72	SAT TT=1.808 T1=1.8	? (TO) TT=1800.29	SAT TT=21.208 T1=10.02	SAT TT=10.55 T1=9.68	SAT TT=40.101 T1=40.08	SAT TT=40.627 T1=40.6	SAT TT=39.811 T1=39.79	SAT TT=40.565 T1=40.54	SAT TT=0.055 T1=0.05
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT TT=0.284 T1=0.28	SAT TT=1.744 T1=2.5	SAT TT=0.284 T1=0.28	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.04	SAT TT=0.899 T1=0.89	SAT TT=2.132 T1=2.12	? (TO) TT=1800.27	SAT TT=3.428 T1=1.44	SAT TT=1.753 T1=0.99	? (TO) TT=1800.07	? TT=1797.08	? (TO) TT=1800.07	? TT=1797.09	SAT TT=8.352 T1=8.34
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT TT=0.073 T1=0.07	SAT TT=1.467 T1=1.7	SAT TT=0.387 T1=0.38	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.05	SAT TT=0.772 T1=0.77	SAT TT=1.943 T1=1.93	SAT TT=1170.9 T1=1166.64	SAT TT=3.724 T1=1.42	SAT TT=1.741 T1=1.02	SAT TT=25.169 T1=25.14	SAT TT=28.39 T1=28.36	SAT TT=25.07 T1=25.04	SAT TT=25.967 T1=25.94	SAT TT=0.073 T1=0.07

Statistics		borg pb-dec-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
Number of times the solver is able to give the best known answer		57	57	21	0	0	39	39	46	57	38	51	50	51	50	39
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	13	0	0	0	4	0	0	0	0	1	12	1	4	30