CSP 2006 Competition (second round): results by benchmark

Results by benchmark for category n-ary constraints in extension (N-ARY-EXT), subcategory random problems

This page displays the results of the different solvers for each benchmark for category n-ary constraints in extension (N-ARY-EXT), subcategory random problems

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
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
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 gave a definitive answer (SAT or UNSAT)
text	the solver performed better than the other ones on that instance
text	the solver was ended by a signal
text	the solver gave an incomplete answer
text	the solver was disqualified in the category
text	the solver gave a wrong answer

For better readability, you may choose to hide some solvers:
Abscon 109 ESAC
Abscon 109 AC
BPrologCSPSolver70a 2006-12-13
CSP4J - Combo 2006-12-19
CSP4J - MAC 2006-12-19
CSP4J - MAC 2007-01-16
CSPtoSAT+minisat 0.3
galac 1
galacJ beta 1
Mistral 2006-12-04
sat4jCSP 1.7 RC BF3
SAT4JCSP-CACHED 1.7 RC BF3
sugar 0.40
Tramontane 2006-12-04

Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-10-20-10/ rand-10-20-10-5-10000-11_ext.xml	UNSAT TT=12.062	UNSAT TT=12.786 CHECKS=9548040 NODES=11127	UNSAT TT=12.062 CHECKS=9543799 NODES=11127	? (problem) TT=328.922	? TT=0.535	? TT=0.508	? TT=0.546	UNSAT TT=246.633	UNSAT TT=451.221	UNSAT TT=281.375	? (exit code) TT=0.369	? (MO) TT=31.968	? (MO) TT=25.686	? TT=9.24	? (exit code) TT=0.376
random/rand-10-20-10/ rand-10-20-10-5-10000-13_ext.xml	UNSAT TT=3.553	UNSAT TT=3.553 CHECKS=1804002 NODES=11424	UNSAT TT=5.361 CHECKS=3345958 NODES=11443	? (problem) TT=307.548	? TT=0.537	? TT=0.543	? TT=0.519	UNSAT TT=300.952	UNSAT TT=530.522	? (TO) TT=1800.08	? (exit code) TT=0.361	? (MO) TT=25.335	? (MO) TT=24.114	? TT=8.91	? (exit code) TT=0.368
random/rand-10-20-10/ rand-10-20-10-5-10000-15_ext.xml	UNSAT TT=4.083	UNSAT TT=4.083 CHECKS=2143280 NODES=11127	UNSAT TT=4.105 CHECKS=2094662 NODES=11128	? (problem) TT=302.311	? TT=0.501	? TT=0.503	? TT=0.52	UNSAT TT=282.566	UNSAT TT=536.933	UNSAT TT=904.177	? (exit code) TT=0.373	? (MO) TT=25.557	? (MO) TT=24.581	? TT=8.81	? (exit code) TT=0.386
random/rand-10-20-10/ rand-10-20-10-5-10000-17_ext.xml	UNSAT TT=3.619	UNSAT TT=3.792 CHECKS=2033905 NODES=11129	UNSAT TT=3.619 CHECKS=2025456 NODES=11129	? (problem) TT=313.956	? TT=0.507	? TT=0.524	? TT=0.512	UNSAT TT=234.547	UNSAT TT=513.154	UNSAT TT=463.631	? (exit code) TT=0.363	? (MO) TT=34.466	? (MO) TT=23.918	? TT=9.13	? (exit code) TT=0.367
random/rand-10-20-10/ rand-10-20-10-5-10000-19_ext.xml	UNSAT TT=18.025	UNSAT TT=18.025 CHECKS=15377127 NODES=11127	UNSAT TT=18.477 CHECKS=15365313 NODES=11127	? (problem) TT=313.355	? TT=0.554	? TT=0.542	? TT=0.521	UNSAT TT=259.464	UNSAT TT=254.353	UNSAT TT=198.278	? (exit code) TT=0.368	? (MO) TT=24.791	? (MO) TT=24.947	? TT=8.97	? (exit code) TT=0.38
random/rand-10-20-10/ rand-10-20-10-5-10000-1_ext.xml	UNSAT TT=3.363	UNSAT TT=3.363 CHECKS=1763609 NODES=11514	UNSAT TT=22.794 CHECKS=20482683 NODES=11537	? (problem) TT=311.44	? TT=0.508	? TT=0.502	? TT=0.503	UNSAT TT=538.205	UNSAT TT=424.155	UNSAT TT=1248.4	? (exit code) TT=0.375	? (MO) TT=25.926	? (MO) TT=24.812	? TT=9.2	? (exit code) TT=0.371
random/rand-10-20-10/ rand-10-20-10-5-10000-3_ext.xml	UNSAT TT=3.39	UNSAT TT=3.619 CHECKS=1791934 NODES=11132	UNSAT TT=3.39 CHECKS=1790041 NODES=11158	? (problem) TT=302.731	? TT=0.544	? TT=0.548	? TT=0.51	UNSAT TT=430.164	UNSAT TT=348.825	UNSAT TT=816.252	? (exit code) TT=0.373	? (MO) TT=33.61	? (MO) TT=24.448	? TT=8.91	? (exit code) TT=0.381
random/rand-10-20-10/ rand-10-20-10-5-10000-5_ext.xml	UNSAT TT=4.946	UNSAT TT=5.149 CHECKS=3268373 NODES=11290	UNSAT TT=4.946 CHECKS=3279333 NODES=11148	? (problem) TT=315.784	? TT=0.536	? TT=0.499	? TT=0.509	UNSAT TT=328.617	UNSAT TT=782.637	UNSAT TT=1283.16	? (exit code) TT=0.336	? (MO) TT=26.57	? (MO) TT=24.063	? TT=8.7	? (exit code) TT=0.379
random/rand-10-20-10/ rand-10-20-10-5-10000-7_ext.xml	UNSAT TT=13.824	UNSAT TT=14.376 CHECKS=11355785 NODES=11155	UNSAT TT=13.824 CHECKS=11343851 NODES=11127	? (problem) TT=315.761	? TT=0.534	? TT=0.517	? TT=0.545	UNSAT TT=134.373	UNSAT TT=311.881	UNSAT TT=563.427	? (exit code) TT=0.365	? (MO) TT=25.522	? (MO) TT=24.182	? TT=9.42	? (exit code) TT=0.375
random/rand-10-20-10/ rand-10-20-10-5-10000-9_ext.xml	UNSAT TT=21.227	UNSAT TT=21.227 CHECKS=18314476 NODES=11223	UNSAT TT=21.808 CHECKS=18356708 NODES=11131	? (problem) TT=315.439	? TT=0.513	? TT=0.537	? TT=0.508	UNSAT TT=328.698	UNSAT TT=328.258	UNSAT TT=901.864	? (exit code) TT=0.339	? (MO) TT=25.241	? (MO) TT=28.598	? TT=9.26	? (exit code) TT=0.378
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-11_ext.xml	SAT TT=4.625	SAT TT=50.136 CHECKS=39902377 NODES=50726	SAT TT=41.779 CHECKS=34119507 NODES=44346	SAT TT=90.111	SAT TT=43.935 NODES=71428	SAT TT=11.543 NODES=13949	SAT TT=8.533 CHECKS=530091 NODES=14652	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.01	SAT TT=4.625	SAT TT=10.325	SAT TT=10.512	? (TO) TT=1800.94	SAT TT=94.478
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-13_ext.xml	SAT TT=38.279	SAT TT=40.923 CHECKS=31886534 NODES=37411	SAT TT=38.279 CHECKS=31465743 NODES=36829	? (TO) TT=1800.04	SAT TT=219.893 NODES=382578	SAT TT=122.222 NODES=185149	SAT TT=87.321 CHECKS=501370 NODES=183566	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.08	SAT TT=51.562	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.16	SAT TT=68.032
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-15_ext.xml	SAT TT=5.655	SAT TT=39.441 CHECKS=34170149 NODES=41841	SAT TT=34.535 CHECKS=27703181 NODES=32804	SAT TT=144.749	SAT TT=262.733 NODES=477055	SAT TT=73.981 NODES=95826	SAT TT=47.421 CHECKS=501277 NODES=96865	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=15.378	SAT TT=328.076	SAT TT=341.947	? (TO) TT=1800.23	SAT TT=5.655
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-17_ext.xml	SAT TT=2.229	SAT TT=11.753 CHECKS=9239240 NODES=10548	SAT TT=10.134 CHECKS=8289009 NODES=9653	SAT TT=35.766	SAT TT=54.566 NODES=105663	SAT TT=80.966 NODES=112611	SAT TT=57.13 CHECKS=501237 NODES=115180	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=2.229	SAT TT=393.354	SAT TT=386.72	? (TO) TT=1800.28	SAT TT=42.97
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-19_ext.xml	SAT TT=29.612	SAT TT=80.269 CHECKS=65816810 NODES=86076	SAT TT=131.868 CHECKS=110409249 NODES=155893	SAT TT=253.891	SAT TT=272.023 NODES=519450	SAT TT=135.952 NODES=220475	SAT TT=44.687 CHECKS=505022 NODES=103874	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.07	SAT TT=29.612	? (TO) TT=1800.18	? (TO) TT=1800.14	? (TO) TT=1800.23	SAT TT=42.608
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-21_ext.xml	SAT TT=16.81	SAT TT=58.977 CHECKS=48621535 NODES=49456	SAT TT=52.143 CHECKS=45153953 NODES=45593	SAT TT=202.573	SAT TT=123.263 NODES=221087	SAT TT=18.686 NODES=24191	SAT TT=16.81 CHECKS=501474 NODES=32041	? (TO) TT=1800.11	SAT TT=344.977	? (TO) TT=1800.02	SAT TT=23.862	SAT TT=19.457	SAT TT=19.531	? (TO) TT=1800.93	SAT TT=33.942
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-23_ext.xml	SAT TT=7.308	SAT TT=36.741 CHECKS=29110912 NODES=34358	SAT TT=53.192 CHECKS=43316447 NODES=58289	SAT TT=175.888	SAT TT=50.794 NODES=89937	SAT TT=23.713 NODES=34878	SAT TT=17.485 CHECKS=486580 NODES=34314	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.05	SAT TT=7.308	SAT TT=316.705	SAT TT=299.89	? (TO) TT=1800.83	SAT TT=12.726
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-25_ext.xml	SAT TT=9.154	SAT TT=9.342 CHECKS=6912969 NODES=8012	SAT TT=12.638 CHECKS=9213391 NODES=10456	SAT TT=487.925	SAT TT=9.154 NODES=12110	SAT TT=68.907 NODES=92520	SAT TT=77.079 CHECKS=515867 NODES=152456	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=56.438	SAT TT=311.626	SAT TT=306.356	? (TO) TT=1800.99	SAT TT=68.492
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-27_ext.xml	SAT TT=8.064	SAT TT=8.064 CHECKS=5564061 NODES=6725	SAT TT=10.978 CHECKS=8300974 NODES=9489	? (TO) TT=1800.05	SAT TT=372.852 NODES=650917	SAT TT=205.311 NODES=271478	SAT TT=125.281 CHECKS=530234 NODES=266017	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800	SAT TT=48.559	SAT TT=35.759	SAT TT=36.552	? (TO) TT=1800.3	SAT TT=49.478
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-29_ext.xml	SAT TT=13.543	SAT TT=95.808 CHECKS=83381993 NODES=84284	SAT TT=95.053 CHECKS=86415730 NODES=86421	SAT TT=183.386	SAT TT=127.933 NODES=216450	SAT TT=112.073 NODES=121899	SAT TT=13.543 CHECKS=486897 NODES=22725	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.06	SAT TT=35.531	SAT TT=351.909	SAT TT=335.766	? (TO) TT=1801.02	SAT TT=25.778
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-31_ext.xml	SAT TT=20.863	SAT TT=26.717 CHECKS=22626483 NODES=26787	SAT TT=20.863 CHECKS=16365354 NODES=19970	SAT TT=611.324	SAT TT=298.657 NODES=558529	SAT TT=58.516 NODES=78955	SAT TT=38.584 CHECKS=516072 NODES=73545	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=79.184	SAT TT=39.838	SAT TT=39.047	? (TO) TT=1801.06	SAT TT=43.079
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-33_ext.xml	SAT TT=30.991	SAT TT=259.01 CHECKS=225950942 NODES=291371	SAT TT=226.907 CHECKS=191926709 NODES=255200	? (TO) TT=1800.06	SAT TT=659.249 NODES=1165115	SAT TT=121.047 NODES=176561	SAT TT=94.469 CHECKS=516053 NODES=231411	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.01	SAT TT=30.991	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.83	SAT TT=153.804
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-35_ext.xml	SAT TT=7.56	SAT TT=27.2 CHECKS=23970316 NODES=29944	SAT TT=24.384 CHECKS=19501145 NODES=25815	SAT TT=88.617	SAT TT=81.999 NODES=161470	SAT TT=53.748 NODES=78593	SAT TT=39.358 CHECKS=487049 NODES=83422	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.06	SAT TT=7.56	SAT TT=658.444	SAT TT=657.748	? (TO) TT=1800.21	SAT TT=15.018
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-37_ext.xml	SAT TT=17.397	SAT TT=624.571 CHECKS=555793417 NODES=603119	SAT TT=699.59 CHECKS=603996874 NODES=668453	SAT TT=315.611	SAT TT=898.61 NODES=1546437	SAT TT=180.09 NODES=250325	SAT TT=107.611 CHECKS=501397 NODES=238511	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	SAT TT=17.397	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1801.12	SAT TT=89.651
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-39_ext.xml	SAT TT=48.298	SAT TT=119.087 CHECKS=94560927 NODES=117988	SAT TT=89.553 CHECKS=70397017 NODES=91101	SAT TT=393.656	SAT TT=299.205 NODES=558869	SAT TT=137.755 NODES=206244	SAT TT=76.698 CHECKS=515624 NODES=169075	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.05	SAT TT=48.298	SAT TT=938.243	SAT TT=958.221	? (TO) TT=1800.97	SAT TT=87.157
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-41_ext.xml	SAT TT=7.797	SAT TT=7.797 CHECKS=5340183 NODES=6716	SAT TT=18.421 CHECKS=14315346 NODES=16684	SAT TT=511.889	SAT TT=17.384 NODES=26198	SAT TT=20.043 NODES=23378	SAT TT=13.629 CHECKS=530155 NODES=23679	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.08	SAT TT=29.383	? (TO) TT=1800.12	? (TO) TT=1800.19	? (TO) TT=1801.02	SAT TT=225.271
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-43_ext.xml	SAT TT=7.789	SAT TT=15.221 CHECKS=12159815 NODES=16744	SAT TT=16.266 CHECKS=12812748 NODES=17601	SAT TT=333.561	SAT TT=127.011 NODES=226339	SAT TT=10.728 NODES=13175	SAT TT=9.098 CHECKS=486868 NODES=15657	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=7.789	SAT TT=98.037	SAT TT=91.478	? (TO) TT=1800.16	SAT TT=8.968
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-45_ext.xml	SAT TT=6.519	SAT TT=39.315 CHECKS=33977826 NODES=30786	SAT TT=41.214 CHECKS=34721408 NODES=33051	SAT TT=320.536	SAT TT=55.196 NODES=99781	SAT TT=30.365 NODES=37081	SAT TT=20.302 CHECKS=486815 NODES=33118	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800	SAT TT=6.519	SAT TT=37.601	SAT TT=36.561	? (TO) TT=1801	SAT TT=11.159
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-47_ext.xml	SAT TT=0.591	SAT TT=12.294 CHECKS=10030609 NODES=12678	SAT TT=18.076 CHECKS=14829413 NODES=18967	SAT TT=95.955	SAT TT=93.857 NODES=169494	SAT TT=42.259 NODES=60046	SAT TT=36.751 CHECKS=501274 NODES=83325	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.05	SAT TT=0.591	SAT TT=268.233	SAT TT=279.216	? (TO) TT=1800.24	SAT TT=2.931
random/rand-3-20-20-fcd/ rand-3-20-20-60-632-fcd-49_ext.xml	SAT TT=8.097	SAT TT=51.254 CHECKS=40497217 NODES=48638	SAT TT=248.418 CHECKS=210683306 NODES=263427	SAT TT=71.953	SAT TT=10.774 NODES=16126	SAT TT=8.097 NODES=9702	SAT TT=10.335 CHECKS=486874 NODES=19179	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.09	SAT TT=34.893	? (TO) TT=1800.13	? (TO) TT=1800.41	? (TO) TT=1800.97	SAT TT=29.411
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-20-20/ rand-3-20-20-60-632-11_ext.xml	UNSAT TT=170.881	UNSAT TT=441.821 CHECKS=389900728 NODES=455192	UNSAT TT=509.422 CHECKS=414829463 NODES=504679	? (TO) TT=1800.1	? (TO) TT=1800.09	UNSAT TT=328.334 NODES=474217	UNSAT TT=266.642 CHECKS=530341 NODES=619202	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.05	UNSAT TT=170.881	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.35	UNSAT TT=217.513
random/rand-3-20-20/ rand-3-20-20-60-632-13_ext.xml	SAT TT=5.33	SAT TT=11.745 CHECKS=9505284 NODES=11305	SAT TT=17.607 CHECKS=13677412 NODES=16334	SAT TT=1356.77	SAT TT=288.083 NODES=503450	SAT TT=92.493 NODES=137733	SAT TT=66.154 CHECKS=501337 NODES=144895	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=13.031	SAT TT=1194.03	SAT TT=1229.74	? (TO) TT=1800.23	SAT TT=5.33
random/rand-3-20-20/ rand-3-20-20-60-632-15_ext.xml	SAT TT=5.624	SAT TT=23.89 CHECKS=19620260 NODES=22048	SAT TT=30.726 CHECKS=22658170 NODES=26041	SAT TT=531.687	SAT TT=198.262 NODES=356311	SAT TT=13.89 NODES=18860	SAT TT=39.368 CHECKS=501197 NODES=81473	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.05	SAT TT=5.624	SAT TT=468.99	SAT TT=402.567	? (TO) TT=1800.85	SAT TT=23.764
random/rand-3-20-20/ rand-3-20-20-60-632-17_ext.xml	SAT TT=28.879	SAT TT=55.753 CHECKS=48197267 NODES=52238	SAT TT=51.071 CHECKS=43857143 NODES=47029	SAT TT=153.95	SAT TT=54.581 NODES=105527	SAT TT=79.939 NODES=119159	SAT TT=60.561 CHECKS=501307 NODES=125472	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.01	SAT TT=41.302	SAT TT=379.08	SAT TT=394.393	? (TO) TT=1800.21	SAT TT=28.879
random/rand-3-20-20/ rand-3-20-20-60-632-19_ext.xml	UNSAT TT=65.503	UNSAT TT=196.655 CHECKS=168390949 NODES=234432	UNSAT TT=199.953 CHECKS=167444602 NODES=232976	? (TO) TT=1800.13	UNSAT TT=363.797 NODES=706173	UNSAT TT=132.705 NODES=226145	UNSAT TT=92.526 CHECKS=504854 NODES=225536	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.04	UNSAT TT=65.503	? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.26	UNSAT TT=103.409
random/rand-3-20-20/ rand-3-20-20-60-632-1_ext.xml	SAT TT=14.53	SAT TT=73.446 CHECKS=64084772 NODES=68981	SAT TT=82.946 CHECKS=69192040 NODES=73480	SAT TT=484.49	SAT TT=56.197 NODES=98709	SAT TT=47.93 NODES=62973	SAT TT=16.003 CHECKS=530340 NODES=33871	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.1	SAT TT=14.53	SAT TT=578.983	SAT TT=663.499	? (TO) TT=1800.24	SAT TT=24.305
random/rand-3-20-20/ rand-3-20-20-60-632-21_ext.xml	UNSAT TT=36.855	UNSAT TT=88.507 CHECKS=80695227 NODES=80546	UNSAT TT=99.334 CHECKS=85394845 NODES=91226	UNSAT TT=281.736	UNSAT TT=269.13 NODES=477614	UNSAT TT=79.3 NODES=101236	UNSAT TT=54.402 CHECKS=501539 NODES=101689	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.1	UNSAT TT=36.855	UNSAT TT=839.751	UNSAT TT=776.584	? (TO) TT=1800.5	UNSAT TT=49.776
random/rand-3-20-20/ rand-3-20-20-60-632-23_ext.xml	UNSAT TT=47.943	UNSAT TT=130.86 CHECKS=108774055 NODES=145560	UNSAT TT=170.927 CHECKS=132912924 NODES=171224	UNSAT TT=822.147	UNSAT TT=280.598 NODES=464759	UNSAT TT=101.688 NODES=155576	UNSAT TT=68.694 CHECKS=486886 NODES=161202	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.05	UNSAT TT=47.943	UNSAT TT=884.929	UNSAT TT=871.795	? (TO) TT=1800.75	UNSAT TT=57.908
random/rand-3-20-20/ rand-3-20-20-60-632-25_ext.xml	SAT TT=10.163	SAT TT=86.693 CHECKS=75224946 NODES=82673	SAT TT=95.593 CHECKS=84275832 NODES=94860	SAT TT=250.597	SAT TT=145.738 NODES=240413	SAT TT=71.601 NODES=100589	SAT TT=55.135 CHECKS=515901 NODES=109538	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800	SAT TT=31.363	SAT TT=10.163	SAT TT=11.163	? (TO) TT=1800.19	SAT TT=40.763
random/rand-3-20-20/ rand-3-20-20-60-632-27_ext.xml	SAT TT=14.774	SAT TT=19.181 CHECKS=14651741 NODES=17657	SAT TT=14.774 CHECKS=10557251 NODES=12388	? (TO) TT=1800.09	SAT TT=97.443 NODES=171528	SAT TT=204.477 NODES=277110	SAT TT=137.265 CHECKS=530084 NODES=270449	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.03	SAT TT=47.019	SAT TT=17.575	SAT TT=16.677	? (TO) TT=1800.99	SAT TT=59.487
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-20-20/ rand-3-20-20-60-632-29_ext.xml	SAT TT=14.603	SAT TT=20.346 CHECKS=17780106 NODES=18228	SAT TT=31.508 CHECKS=26005632 NODES=27937	SAT TT=686.903	SAT TT=41.937 NODES=73044	SAT TT=46.823 NODES=56406	SAT TT=109.586 CHECKS=486965 NODES=241618	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.07	SAT TT=14.603	SAT TT=143.177	SAT TT=127.643	? (TO) TT=1800.97	SAT TT=27.186
random/rand-3-20-20/ rand-3-20-20-60-632-31_ext.xml	UNSAT TT=90.609	UNSAT TT=241.534 CHECKS=223238075 NODES=249032	UNSAT TT=215.477 CHECKS=201909200 NODES=237240	UNSAT TT=623.579	UNSAT TT=411.729 NODES=708462	UNSAT TT=176.747 NODES=258991	UNSAT TT=109.667 CHECKS=515948 NODES=258795	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800	UNSAT TT=90.609	? (TO) TT=1800.15	? (TO) TT=1800.2	? (TO) TT=1800.26	UNSAT TT=114.524
random/rand-3-20-20/ rand-3-20-20-60-632-33_ext.xml	UNSAT TT=221.25	UNSAT TT=584.062 CHECKS=503674399 NODES=653995	UNSAT TT=586.466 CHECKS=501652673 NODES=646474	? (TO) TT=1800.07	UNSAT TT=1510.72 NODES=2651286	UNSAT TT=400.399 NODES=634744	UNSAT TT=306.381 CHECKS=515944 NODES=724922	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.05	UNSAT TT=221.25	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.2	UNSAT TT=242.16
random/rand-3-20-20/ rand-3-20-20-60-632-35_ext.xml	UNSAT TT=27.75	UNSAT TT=74.181 CHECKS=66366264 NODES=81727	UNSAT TT=77.974 CHECKS=65579300 NODES=80141	UNSAT TT=268.945	UNSAT TT=118.088 NODES=247975	UNSAT TT=58.239 NODES=84610	UNSAT TT=38.102 CHECKS=487211 NODES=87610	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800	UNSAT TT=27.75	UNSAT TT=949.605	UNSAT TT=938.367	? (TO) TT=1801.01	UNSAT TT=33.631
random/rand-3-20-20/ rand-3-20-20-60-632-37_ext.xml	SAT TT=173.762	SAT TT=539.893 CHECKS=456449754 NODES=508372	SAT TT=173.762 CHECKS=144361238 NODES=163349	? (TO) TT=1800.1	SAT TT=290.527 NODES=463264	SAT TT=495.956 NODES=703230	SAT TT=179.496 CHECKS=501583 NODES=389081	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.06	SAT TT=188.511	? (TO) TT=1800.2	? (TO) TT=1800.17	? (TO) TT=1800.96	SAT TT=264.604
random/rand-3-20-20/ rand-3-20-20-60-632-39_ext.xml	UNSAT TT=123.037	UNSAT TT=225.117 CHECKS=195158359 NODES=233910	UNSAT TT=226.806 CHECKS=189143035 NODES=225576	? (TO) TT=1800.13	UNSAT TT=530.794 NODES=1047381	UNSAT TT=237.22 NODES=343144	UNSAT TT=153.401 CHECKS=515700 NODES=344243	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.08	UNSAT TT=123.037	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.94	UNSAT TT=126.954
random/rand-3-20-20/ rand-3-20-20-60-632-3_ext.xml	UNSAT TT=99.712	UNSAT TT=260.024 CHECKS=228064322 NODES=275130	UNSAT TT=267.487 CHECKS=233240587 NODES=270555	UNSAT TT=668.183	UNSAT TT=539.865 NODES=1002853	UNSAT TT=187.584 NODES=299999	UNSAT TT=148.685 CHECKS=515743 NODES=330886	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.01	UNSAT TT=99.712	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.2	UNSAT TT=126.437
random/rand-3-20-20/ rand-3-20-20-60-632-41_ext.xml	SAT TT=6.709	SAT TT=15.01 CHECKS=12012520 NODES=14256	SAT TT=16.507 CHECKS=12594076 NODES=14729	SAT TT=219.51	SAT TT=16.138 NODES=25494	SAT TT=191.15 NODES=258840	SAT TT=127.31 CHECKS=530047 NODES=262409	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.09	SAT TT=6.709	SAT TT=706.481	SAT TT=643.681	? (TO) TT=1800.91	SAT TT=12.127
random/rand-3-20-20/ rand-3-20-20-60-632-43_ext.xml	UNSAT TT=8.599	UNSAT TT=22.41 CHECKS=18022194 NODES=24023	UNSAT TT=22.083 CHECKS=17555615 NODES=23761	UNSAT TT=370.527	UNSAT TT=255.195 NODES=503970	UNSAT TT=20.28 NODES=27372	UNSAT TT=12.227 CHECKS=487333 NODES=23595	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.02	UNSAT TT=8.599	UNSAT TT=167.387	UNSAT TT=192.54	? (TO) TT=1800.99	UNSAT TT=11.875
random/rand-3-20-20/ rand-3-20-20-60-632-45_ext.xml	UNSAT TT=24.077	UNSAT TT=64.026 CHECKS=53470306 NODES=49326	UNSAT TT=58.524 CHECKS=51052789 NODES=51063	UNSAT TT=282.022	UNSAT TT=144.687 NODES=257407	UNSAT TT=59.513 NODES=74925	UNSAT TT=39.333 CHECKS=486760 NODES=77139	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.08	UNSAT TT=24.077	UNSAT TT=445.313	UNSAT TT=452.333	? (TO) TT=1800.46	UNSAT TT=31.262
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-20-20/ rand-3-20-20-60-632-47_ext.xml	SAT TT=13.492	SAT TT=28.646 CHECKS=22597807 NODES=29547	SAT TT=40.848 CHECKS=31410650 NODES=40919	SAT TT=504.394	SAT TT=33.499 NODES=61547	SAT TT=13.492 NODES=17214	SAT TT=55.785 CHECKS=501596 NODES=120158	? (TO) TT=1800.07	? (TO) TT=1800.01	SAT TT=1251.04	SAT TT=17.13	SAT TT=209.063	SAT TT=208.558	? (TO) TT=1800.95	SAT TT=19.821
random/rand-3-20-20/ rand-3-20-20-60-632-49_ext.xml	SAT TT=28.295	SAT TT=110.126 CHECKS=94153175 NODES=112325	SAT TT=320.492 CHECKS=274767590 NODES=331441	SAT TT=622.047	SAT TT=919.762 NODES=1667107	SAT TT=57.934 NODES=80509	SAT TT=28.295 CHECKS=486887 NODES=57787	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=96.153	? (TO) TT=1800.17	? (TO) TT=1800.12	? (TO) TT=1800.87	SAT TT=118.449
random/rand-3-20-20/ rand-3-20-20-60-632-5_ext.xml	UNSAT TT=86.688	UNSAT TT=247.837 CHECKS=213648000 NODES=261579	UNSAT TT=250.719 CHECKS=229144813 NODES=264300	? (TO) TT=1800.13	UNSAT TT=478.939 NODES=849196	UNSAT TT=184.556 NODES=281068	UNSAT TT=121.934 CHECKS=457863 NODES=258998	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.02	UNSAT TT=86.688	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.17	UNSAT TT=101.138
random/rand-3-20-20/ rand-3-20-20-60-632-7_ext.xml	SAT TT=8.668	SAT TT=19.112 CHECKS=14898557 NODES=17479	SAT TT=8.668 CHECKS=6482718 NODES=7710	SAT TT=457.412	SAT TT=71.313 NODES=127762	SAT TT=96.482 NODES=123358	SAT TT=83.1 CHECKS=486717 NODES=168027	? (TO) TT=1800.07	SAT TT=1567.79	? (TO) TT=1800.01	SAT TT=21.184	SAT TT=143.036	SAT TT=146.694	? (TO) TT=1801.06	SAT TT=26.733
random/rand-3-20-20/ rand-3-20-20-60-632-9_ext.xml	SAT TT=11.72	SAT TT=41.532 CHECKS=34162951 NODES=33737	SAT TT=45.06 CHECKS=39310450 NODES=40210	SAT TT=190.562	SAT TT=51.503 NODES=87186	SAT TT=29.823 NODES=36155	SAT TT=16.718 CHECKS=515837 NODES=31229	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=11.72	SAT TT=33.785	SAT TT=35.01	? (TO) TT=1800.18	SAT TT=23.222
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-11_ext.xml	SAT TT=64.911	? (TO) TT=1800.1	SAT TT=313.039 CHECKS=227829470 NODES=182629	? (TO) TT=1800.1	SAT TT=64.911 NODES=83015	SAT TT=390.675 NODES=407848	SAT TT=148.17 CHECKS=1110415 NODES=222888	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.05	SAT TT=454.234	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800.27	SAT TT=772.775
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-13_ext.xml	SAT TT=1220.64	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.03	SAT TT=1422.13 NODES=1473992	SAT TT=1220.64 CHECKS=1110322 NODES=2048933	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.16	? (TO) TT=1800.54	? (TO) TT=1800.05
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-15_ext.xml	SAT TT=1341.78	? (TO) TT=1800.09	SAT TT=1341.78 CHECKS=1007430452 NODES=950437	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.33	? (TO) TT=1801.03	? (TO) TT=1800.1
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-17_ext.xml	SAT TT=1115.6	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.15	? (TO) TT=1800.96	SAT TT=1115.6
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-19_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.78	? (TO) TT=1800.04
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-21_ext.xml	SAT TT=25.582	SAT TT=25.582 CHECKS=18082625 NODES=14082	SAT TT=84.23 CHECKS=62034821 NODES=48662	? (TO) TT=1800.09	SAT TT=315.972 NODES=423429	SAT TT=124.85 NODES=119221	SAT TT=227.917 CHECKS=1110172 NODES=323306	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.02	SAT TT=331.836	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1801.06	SAT TT=153.281
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-23_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.94	? (TO) TT=1800.02
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-25_ext.xml	SAT TT=308.313	SAT TT=831.23 CHECKS=623234622 NODES=585345	SAT TT=1271.69 CHECKS=941092517 NODES=902684	? (TO) TT=1800.12	SAT TT=779.447 NODES=1053006	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=308.313	? (TO) TT=1800.25	? (TO) TT=1800.17	? (TO) TT=1801.09	SAT TT=402.398
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-27_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.22	? (TO) TT=1800.18	? (TO) TT=1800.99	? (TO) TT=1800.11
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-29_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.19	? (TO) TT=1800.18	? (TO) TT=1801	? (TO) TT=1800.07
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-31_ext.xml	SAT TT=62.414	? (TO) TT=1800.15	? (TO) TT=1800.14	SAT TT=166.307	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=697.879 CHECKS=1060436 NODES=1021729	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=62.414	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1801	? (TO) TT=1800.1
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-33_ext.xml	SAT TT=15.44	SAT TT=15.44 CHECKS=10062917 NODES=9702	SAT TT=38.785 CHECKS=25967279 NODES=24490	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.08	SAT TT=402.946	SAT TT=1659.34	SAT TT=1609.44	? (TO) TT=1801	SAT TT=965.586
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-35_ext.xml	SAT TT=47.618	SAT TT=492.231 CHECKS=375822224 NODES=318986	SAT TT=320.414 CHECKS=229871323 NODES=198433	? (TO) TT=1800.06	SAT TT=89.77 NODES=110988	SAT TT=1303.74 NODES=1248649	SAT TT=926.024 CHECKS=1135193 NODES=1314842	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.01	SAT TT=47.618	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1801	SAT TT=49.012
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-37_ext.xml	SAT TT=1180.2	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.12	SAT TT=1180.2 NODES=1539111	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.14	? (TO) TT=1800	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.23	? (TO) TT=1800.13	? (TO) TT=1800.93	? (TO) TT=1800.07
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-39_ext.xml	SAT TT=159.171	? (TO) TT=1800.14	SAT TT=1274.72 CHECKS=977946863 NODES=954783	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.1	SAT TT=159.171 CHECKS=1135187 NODES=246428	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.01	SAT TT=1488.14	? (TO) TT=1800.12	? (TO) TT=1800.21	? (TO) TT=1800.97	SAT TT=772.763
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-41_ext.xml	SAT TT=799.067	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800	SAT TT=1080.01 CHECKS=1160383 NODES=1946285	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.06	SAT TT=799.067	? (TO) TT=1800.23	? (TO) TT=1800.22	? (TO) TT=1800.92	SAT TT=1642.14
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-43_ext.xml	SAT TT=237	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.09	SAT TT=1563.72 NODES=1758483	SAT TT=304.665 CHECKS=1160180 NODES=563697	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.07	SAT TT=237	? (TO) TT=1800.18	? (TO) TT=1800.17	? (TO) TT=1800.18	? (TO) TT=1800.09
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-45_ext.xml	SAT TT=146.429	? (TO) TT=1800.08	SAT TT=545.603 CHECKS=394760319 NODES=318702	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.03	? (TO) TT=1800.08	SAT TT=146.429	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.95	SAT TT=499.613
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-47_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.14	? (TO) TT=1800.73	? (TO) TT=1800.1
random/rand-3-24-24-fcd/ rand-3-24-24-76-632-fcd-49_ext.xml	SAT TT=568.712	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.04	SAT TT=889.398 NODES=980885	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.02	SAT TT=1287.85	SAT TT=623.72	SAT TT=568.712	? (TO) TT=1800.99	SAT TT=1666.37
random/rand-3-24-24/ rand-3-24-24-76-632-10_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.2	? (TO) TT=1800.18	? (TO) TT=1800.37	? (TO) TT=1800.05
random/rand-3-24-24/ rand-3-24-24-76-632-11_ext.xml	UNSAT TT=1232.27	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.07	UNSAT TT=1662.25 CHECKS=1110607 NODES=2539966	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.02	UNSAT TT=1232.27	? (TO) TT=1800.14	? (TO) TT=1800.22	? (TO) TT=1801.02	UNSAT TT=1556.95
random/rand-3-24-24/ rand-3-24-24-76-632-12_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.17	? (TO) TT=1800.17	? (TO) TT=1800.94	? (TO) TT=1800.08
random/rand-3-24-24/ rand-3-24-24-76-632-13_ext.xml	SAT TT=1146.98	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.03	SAT TT=1406.51 CHECKS=1110326 NODES=2488316	? (TO) TT=1800.17	? (TO) TT=1800.07	? (TO) TT=1800.01	SAT TT=1146.98	? (TO) TT=1800.22	? (TO) TT=1800.16	? (TO) TT=1800.17	SAT TT=1539.26
random/rand-3-24-24/ rand-3-24-24-76-632-14_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.17	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.2	? (TO) TT=1800.16	? (TO) TT=1800.95	? (TO) TT=1800.11
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-24-24/ rand-3-24-24-76-632-15_ext.xml	SAT TT=645.835	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.06	SAT TT=645.835	? (TO) TT=1800.22	? (TO) TT=1800.2	? (TO) TT=1800.77	SAT TT=1598.32
random/rand-3-24-24/ rand-3-24-24-76-632-16_ext.xml	SAT TT=77.345	SAT TT=77.345 CHECKS=56568528 NODES=42488	SAT TT=80.677 CHECKS=62120411 NODES=46793	? (TO) TT=1800.12	? (TO) TT=1800.09	SAT TT=610.094 NODES=523936	SAT TT=288.297 CHECKS=1110706 NODES=389371	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.08	SAT TT=309.037	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.97	SAT TT=174.191
random/rand-3-24-24/ rand-3-24-24-76-632-17_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.23	? (TO) TT=1800.15	? (TO) TT=1800.98	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-18_ext.xml	SAT TT=50.566	SAT TT=680.721 CHECKS=520167581 NODES=490458	SAT TT=723.498 CHECKS=513245495 NODES=471742	? (TO) TT=1800.14	? (TO) TT=1800.05	SAT TT=629.203 NODES=746042	SAT TT=486.617 CHECKS=1110589 NODES=784674	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800	SAT TT=50.566	? (TO) TT=1800.12	? (TO) TT=1800.25	? (TO) TT=1800.19	SAT TT=350.02
random/rand-3-24-24/ rand-3-24-24-76-632-19_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.17	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.25	? (TO) TT=1801.04	? (TO) TT=1800.09
random/rand-3-24-24/ rand-3-24-24-76-632-1_ext.xml	SAT TT=721.63	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.07	SAT TT=721.63	? (TO) TT=1800.15	? (TO) TT=1800.17	? (TO) TT=1800.32	SAT TT=1666.87
random/rand-3-24-24/ rand-3-24-24-76-632-20_ext.xml	UNSAT TT=669.252	UNSAT TT=1797.72 CHECKS=1336061820 NODES=1037592	UNSAT TT=1745.68 CHECKS=1295573841 NODES=1043478	? (TO) TT=1800.11	? (TO) TT=1800.09	UNSAT TT=1053.58 NODES=1107870	UNSAT TT=778.166 CHECKS=1160460 NODES=1222035	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.03	UNSAT TT=669.252	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1801.02	UNSAT TT=802.147
random/rand-3-24-24/ rand-3-24-24-76-632-21_ext.xml	SAT TT=44.814	SAT TT=1474.23 CHECKS=1100679057 NODES=774605	SAT TT=622.444 CHECKS=476394233 NODES=353175	? (TO) TT=1800.1	SAT TT=1638.1 NODES=2160145	SAT TT=241.647 NODES=254418	SAT TT=44.814 CHECKS=1110259 NODES=64562	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.02	SAT TT=77.842	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.96	SAT TT=189.753
random/rand-3-24-24/ rand-3-24-24-76-632-22_ext.xml	UNSAT TT=377.497	UNSAT TT=1052.28 CHECKS=738641481 NODES=651804	UNSAT TT=1060.47 CHECKS=737725364 NODES=652262	? (TO) TT=1800.16	UNSAT TT=1563.63 NODES=2098386	UNSAT TT=693.701 NODES=658639	UNSAT TT=472.455 CHECKS=1160456 NODES=725863	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07	UNSAT TT=377.497	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.15	UNSAT TT=539.364
random/rand-3-24-24/ rand-3-24-24-76-632-23_ext.xml	SAT TT=475.366	SAT TT=475.366 CHECKS=349080787 NODES=351426	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.22	? (TO) TT=1800.16	? (TO) TT=1801.02	? (TO) TT=1800.03
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-24-24/ rand-3-24-24-76-632-24_ext.xml		? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.21	? (TO) TT=1800.21	? (TO) TT=1800.82	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-25_ext.xml	SAT TT=230.554	? (TO) TT=1800.16	? (TO) TT=1800.07	? (TO) TT=1800.16	SAT TT=230.554 NODES=307626	SAT TT=1554.58 NODES=1715958	SAT TT=614.017 CHECKS=1160355 NODES=1043091	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.05	SAT TT=876.192	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=0.047	SAT TT=1127.94
random/rand-3-24-24/ rand-3-24-24-76-632-26_ext.xml	UNSAT TT=1250.43	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.05	UNSAT TT=1250.43	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.97	UNSAT TT=1680.41
random/rand-3-24-24/ rand-3-24-24-76-632-27_ext.xml	SAT TT=678.048	SAT TT=1185.24 CHECKS=898637634 NODES=736354	SAT TT=678.048 CHECKS=518910048 NODES=429604	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.59	? (TO) TT=1800.12
random/rand-3-24-24/ rand-3-24-24-76-632-28_ext.xml	SAT TT=81.174	SAT TT=915.008 CHECKS=713533026 NODES=532495	SAT TT=1115.33 CHECKS=759653527 NODES=574601	? (TO) TT=1800.1	SAT TT=283.741 NODES=366477	SAT TT=109.407 NODES=115955	SAT TT=81.174 CHECKS=1061013 NODES=119719	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800	SAT TT=144.908	? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.99	SAT TT=196.87
random/rand-3-24-24/ rand-3-24-24-76-632-29_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800.21	? (TO) TT=1801.13	? (TO) TT=1800.09
random/rand-3-24-24/ rand-3-24-24-76-632-2_ext.xml	SAT TT=1394.08	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.04	SAT TT=1394.08 CHECKS=1085562 NODES=2811372	? (TO) TT=1800.15	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.2	? (TO) TT=1800.2	? (TO) TT=1801.01	? (TO) TT=1800.04
random/rand-3-24-24/ rand-3-24-24-76-632-30_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.2	? (TO) TT=1800.17	? (TO) TT=1801.04	? (TO) TT=1800.09
random/rand-3-24-24/ rand-3-24-24-76-632-31_ext.xml	SAT TT=980.19	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.02	SAT TT=980.19	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1801.02	? (TO) TT=1800.01
random/rand-3-24-24/ rand-3-24-24-76-632-32_ext.xml	UNSAT TT=1710.44	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.01	UNSAT TT=1710.44	? (TO) TT=1800.19	? (TO) TT=1800.21	? (TO) TT=1800.18	? (TO) TT=1800.1
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-24-24/ rand-3-24-24-76-632-33_ext.xml	SAT TT=150.29	? (TO) TT=1800.15	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=150.29 NODES=160580	SAT TT=181.594 CHECKS=1160361 NODES=286071	? (TO) TT=1800.17	? (TO) TT=1800.09	? (TO) TT=1800.05	SAT TT=1191.79	? (TO) TT=1800.24	? (TO) TT=1800.24	? (TO) TT=1800.92	SAT TT=1725.01
random/rand-3-24-24/ rand-3-24-24-76-632-34_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1801.01	? (TO) TT=1800.07
random/rand-3-24-24/ rand-3-24-24-76-632-35_ext.xml	SAT TT=699.298	SAT TT=1438.19 CHECKS=1108547976 NODES=863608	? (TO) TT=1800.08	SAT TT=785.03	? (TO) TT=1800.01	SAT TT=1141.58 NODES=1124279	SAT TT=814.92 CHECKS=1135158 NODES=1141521	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.06	SAT TT=699.298	SAT TT=1150.3	SAT TT=1139.78	? (TO) TT=1800.98	SAT TT=951.611
random/rand-3-24-24/ rand-3-24-24-76-632-36_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.16	? (TO) TT=1801.02	? (TO) TT=1800.12
random/rand-3-24-24/ rand-3-24-24-76-632-37_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.18	? (TO) TT=1800.19	? (TO) TT=1801.03	? (TO) TT=1800.08
random/rand-3-24-24/ rand-3-24-24-76-632-38_ext.xml	SAT TT=421.256	SAT TT=421.256 CHECKS=300159833 NODES=313558	SAT TT=586.865 CHECKS=429201652 NODES=433942	? (TO) TT=1800.15	? (TO) TT=1800.01	SAT TT=1214.47 NODES=1579717	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.03	? (TO) TT=1800.03	SAT TT=864.252	? (TO) TT=1800.23	? (TO) TT=1800.11	? (TO) TT=1800.99	SAT TT=1191.1
random/rand-3-24-24/ rand-3-24-24-76-632-39_ext.xml	SAT TT=395.207	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.1	? (TO) TT=1800.04	SAT TT=946.47 NODES=1097704	SAT TT=395.207 CHECKS=1135232 NODES=674993	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.17	? (TO) TT=1800.18	? (TO) TT=1800.41	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-3_ext.xml	UNSAT TT=976.11	? (TO) TT=1800.15	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800.07	UNSAT TT=1449.53 CHECKS=1110294 NODES=2465398	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.04	UNSAT TT=976.11	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.89	UNSAT TT=1264.98
random/rand-3-24-24/ rand-3-24-24-76-632-40_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.15	? (TO) TT=1801.02	? (TO) TT=1800.07
random/rand-3-24-24/ rand-3-24-24-76-632-41_ext.xml	SAT TT=226.419	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800	SAT TT=299.472 NODES=290527	SAT TT=226.419 CHECKS=1160365 NODES=374911	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.23	? (TO) TT=1800.12	? (TO) TT=1801.02	SAT TT=239.524
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-24-24/ rand-3-24-24-76-632-42_ext.xml	UNSAT TT=539.028	UNSAT TT=1680.87 CHECKS=1246709720 NODES=1046384	UNSAT TT=1663.45 CHECKS=1236829999 NODES=1041250	? (TO) TT=1800.11	? (TO) TT=1800.11	UNSAT TT=918.477 NODES=983412	UNSAT TT=622.639 CHECKS=1060477 NODES=1032156	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800	UNSAT TT=539.028	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1801.01	UNSAT TT=662.378
random/rand-3-24-24/ rand-3-24-24-76-632-43_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.98	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-44_ext.xml	SAT TT=922.959	SAT TT=1380.49 CHECKS=1048316645 NODES=919430	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.06	SAT TT=922.959	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1800.31	SAT TT=1469.21
random/rand-3-24-24/ rand-3-24-24-76-632-45_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.18	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.73	? (TO) TT=1800.1
random/rand-3-24-24/ rand-3-24-24-76-632-46_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.43	? (TO) TT=1800.24	? (TO) TT=1801	? (TO) TT=1800.08
random/rand-3-24-24/ rand-3-24-24-76-632-47_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800	? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.1	? (TO) TT=1800.23	? (TO) TT=1800.13	? (TO) TT=1801.11	? (TO) TT=1800.11
random/rand-3-24-24/ rand-3-24-24-76-632-48_ext.xml		? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.22	? (TO) TT=1800.03
random/rand-3-24-24/ rand-3-24-24-76-632-49_ext.xml	SAT TT=407.519	? (TO) TT=1800.12	SAT TT=407.519 CHECKS=310253738 NODES=300815	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.09	SAT TT=1443.13 CHECKS=1085256 NODES=2592514	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.1	SAT TT=1458.53	? (TO) TT=1800.2	? (TO) TT=1800.13	? (TO) TT=1800.97	SAT TT=760.624
random/rand-3-24-24/ rand-3-24-24-76-632-4_ext.xml	UNSAT TT=284.015	UNSAT TT=913.892 CHECKS=648736794 NODES=480771	UNSAT TT=931.082 CHECKS=651305203 NODES=481784	? (TO) TT=1800.14	UNSAT TT=1180.7 NODES=1498021	UNSAT TT=472.993 NODES=484953	UNSAT TT=284.015 CHECKS=1160446 NODES=413565	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.08	UNSAT TT=290.634	? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.96	UNSAT TT=398.721
random/rand-3-24-24/ rand-3-24-24-76-632-50_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.23	? (TO) TT=1800.41	? (TO) TT=1801	? (TO) TT=1800.03
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-24-24/ rand-3-24-24-76-632-5_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.23	? (TO) TT=1800.12	? (TO) TT=1801.01	? (TO) TT=1800.04
random/rand-3-24-24/ rand-3-24-24-76-632-6_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.47	? (TO) TT=1800.16	? (TO) TT=1800.99	? (TO) TT=1800.06
random/rand-3-24-24/ rand-3-24-24-76-632-7_ext.xml	SAT TT=3.948	SAT TT=345.468 CHECKS=254099312 NODES=217040	SAT TT=3.948 CHECKS=1648298 NODES=1506	? (TO) TT=1800.07	SAT TT=59.897 NODES=81046	SAT TT=232.379 NODES=208306	SAT TT=261.468 CHECKS=1110427 NODES=380488	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.01	SAT TT=238.984	? (TO) TT=1800.2	? (TO) TT=1800.14	? (TO) TT=1800.99	SAT TT=350.098
random/rand-3-24-24/ rand-3-24-24-76-632-8_ext.xml	UNSAT TT=1500.09	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.05	UNSAT TT=1500.09	? (TO) TT=1800.17	? (TO) TT=1800.37	? (TO) TT=1800.98	? (TO) TT=1800.07
random/rand-3-24-24/ rand-3-24-24-76-632-9_ext.xml	UNSAT TT=1487.13	? (TO) TT=1800.05	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800	? (TO) TT=1800.07	UNSAT TT=1487.13	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.23	? (TO) TT=1800.04
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-11_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.01	? (MO) TT=10.237	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.21	? (TO) TT=1800.21	? TT=299.26	? (TO) TT=1800.09
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-13_ext.xml	SAT TT=718.704	SAT TT=718.704 CHECKS=439981372 NODES=319010	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.08	? (MO) TT=11.103	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.17	? TT=320.29	? (TO) TT=1800.03
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-15_ext.xml		? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.08	? (MO) TT=10.378	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.19	? (TO) TT=1800.15	? TT=318.71	? (TO) TT=1800.05
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-17_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.01	? (MO) TT=11.094	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.25	? (TO) TT=1800.17	? TT=327.48	? (TO) TT=1800.09
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-19_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.06	? (MO) TT=9.755	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.11	? (TO) TT=1800.19	? (TO) TT=1800.22	? TT=331.26	? (TO) TT=1800.08
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-21_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.1	? (MO) TT=10.479	? (TO) TT=1800.08	? (TO) TT=0.028	? (TO) TT=1800.05	? (TO) TT=1800.21	? (TO) TT=1800.18	? TT=323.75	? (TO) TT=1800.09
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-23_ext.xml	SAT TT=100.169	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.16	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.02	? (MO) TT=10.385	? (TO) TT=1800.1	? (TO) TT=1800.09	SAT TT=100.169	? (TO) TT=1800.2	? (TO) TT=1800.12	? TT=339.24	? (TO) TT=1800.02
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-25_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.07	? (MO) TT=10.181	? (TO) TT=1800.02	? (TO) TT=0.024	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.17	? TT=344.09	? (TO) TT=1800.08
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-27_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.1	? (MO) TT=11.112	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.23	? (TO) TT=1800.25	? TT=299.02	? (TO) TT=1800.11
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-29_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.04	? (MO) TT=11.152	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.23	? TT=329.85	? (TO) TT=1800.08
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-31_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.07	? (MO) TT=11.095	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.23	? (TO) TT=1800.18	? TT=330.58	? (TO) TT=1800.06
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-33_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.03	? (MO) TT=10.395	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.27	? (TO) TT=1800.16	? TT=303.63	? (TO) TT=1800.07
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-35_ext.xml		? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.09	? (MO) TT=10.895	? (TO) TT=1800.05	? (TO) TT=0.027	? (TO) TT=1800.04	? (TO) TT=1800.22	? (TO) TT=1800.15	? TT=316.39	? (TO) TT=1800.04
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-37_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.19	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.08	? (MO) TT=10.48	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.17	? (TO) TT=1800.17	? TT=334.97	? (TO) TT=1800.01
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-39_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.05	? (MO) TT=11.099	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.2	? TT=335.25	? (TO) TT=1800.05
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-41_ext.xml	SAT TT=36.098	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.07	SAT TT=1083.5 NODES=800471	SAT TT=36.098 CHECKS=2135667 NODES=35771	? (MO) TT=10.383	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.17	? (TO) TT=1800.15	? TT=325.8	? (TO) TT=1800.11
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-43_ext.xml	SAT TT=246.336	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.16	SAT TT=246.336 NODES=228598	? (TO) TT=1800.08	? (TO) TT=1800.03	? (MO) TT=10.911	? (TO) TT=1800.01	? (TO) TT=1800.07	SAT TT=1276.13	? (TO) TT=1800.22	? (TO) TT=1800.17	? TT=330.83	SAT TT=1540.85
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-45_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.09	? (MO) TT=9.844	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.1	? (TO) TT=1800.18	? (TO) TT=1800.23	? TT=317.86	? (TO) TT=1800.11
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-47_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.1	? (MO) TT=10.812	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.47	? TT=343.56	? (TO) TT=1800.1
random/rand-3-28-28-fcd/ rand-3-28-28-93-632-fcd-49_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.04	? (MO) TT=10.98	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.15	? (TO) TT=1800.18	? TT=328.09	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-10_ext.xml	SAT TT=1741.14	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.2	? (TO) TT=1800.08	? (TO) TT=1800.06	SAT TT=1741.14 CHECKS=2254343 NODES=1994805	? (MO) TT=9.903	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.23	? (TO) TT=1800.17	? TT=334.93	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-11_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.08	? (MO) TT=10.602	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.2	? (TO) TT=1800.44	? TT=297.66	? (TO) TT=1800.04
random/rand-3-28-28/ rand-3-28-28-93-632-12_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.09	? (MO) TT=10.268	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.21	? TT=352.12	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-13_ext.xml	SAT TT=312.575	? (TO) TT=1800.16	SAT TT=312.575 CHECKS=191174096 NODES=139663	? (TO) TT=1800.18	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.06	? (MO) TT=9.989	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.24	? (TO) TT=1800.21	? TT=319.32	? (TO) TT=1800.01
random/rand-3-28-28/ rand-3-28-28-93-632-14_ext.xml		? (TO) TT=1800.19	? (TO) TT=1800.13	? (TO) TT=1800.17	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.07	? (MO) TT=10.258	? (TO) TT=1800.08	? (TO) TT=0.03	? (TO) TT=1800.1	? (TO) TT=1800.3	? (TO) TT=1800.21	? TT=328.86	? (TO) TT=1800.06
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-28-28/ rand-3-28-28-93-632-15_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.08	? (MO) TT=9.754	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.19	? (TO) TT=1800.26	? TT=315.47	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-16_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.03	? (MO) TT=10.736	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.24	? (TO) TT=1800.21	? TT=326.74	? (TO) TT=1800.1
random/rand-3-28-28/ rand-3-28-28-93-632-17_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.05	? (MO) TT=9.977	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.2	? (TO) TT=1800.19	? TT=312.15	? (TO) TT=1800.01
random/rand-3-28-28/ rand-3-28-28-93-632-18_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.09	? (MO) TT=9.968	? (TO) TT=1800.03	? (TO) TT=0.031	? (TO) TT=1800.05	? (TO) TT=1800.23	? (TO) TT=1800.18	? TT=330	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-19_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.06	? (MO) TT=10.626	? (TO) TT=1800.07	? (TO) TT=0.028	? (TO) TT=1800.05	? (TO) TT=1800.18	? (TO) TT=1800.17	? TT=323.76	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-1_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.18	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.05	? (MO) TT=11.21	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.24	? (TO) TT=1800.16	? TT=296.06	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-20_ext.xml		? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800	? (MO) TT=10.556	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.17	? (TO) TT=1800.38	? TT=321.11	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-21_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.08	? (MO) TT=10.117	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.19	? (TO) TT=1800.26	? TT=335.24	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-22_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.08	? (MO) TT=9.895	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.21	? (TO) TT=1800.14	? TT=317.64	? (TO) TT=1800.1
random/rand-3-28-28/ rand-3-28-28-93-632-23_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800	? (MO) TT=10.12	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.14	? TT=331.96	? (TO) TT=1800.09
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-28-28/ rand-3-28-28-93-632-24_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.03	? (MO) TT=10.318	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.26	? (TO) TT=1800.16	? TT=333.37	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-25_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=10.351	? (TO) TT=1800.05	? (TO) TT=0.029	? (TO) TT=1800.08	? (TO) TT=1800.27	? (TO) TT=1800.19	? TT=330.4	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-26_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (MO) TT=10.009	? (TO) TT=1800.08	? (TO) TT=0.025	? (TO) TT=1800.11	? (TO) TT=1800.27	? (TO) TT=1800.14	? TT=330.13	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-27_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.06	? (MO) TT=9.987	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.2	? TT=331.79	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-28_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.03	? (MO) TT=9.943	? (TO) TT=1800.07	? (TO) TT=1800	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.21	? TT=310.43	? (TO) TT=1800.05
random/rand-3-28-28/ rand-3-28-28-93-632-29_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=10.539	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.22	? (TO) TT=1800.18	? TT=314.03	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-2_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.09	? (MO) TT=10.479	? (TO) TT=1800.04	? (TO) TT=0.028	? (TO) TT=1800.06	? (TO) TT=1800.2	? (TO) TT=1800.14	? TT=350.79	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-30_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.16	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	? (MO) TT=10.596	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.2	? TT=307.58	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-31_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.03	? (MO) TT=9.97	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.16	? (TO) TT=1800.16	? TT=330.02	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-32_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.01	? (MO) TT=10.471	? (TO) TT=1800.09	? (MO) TT=0.02	? (TO) TT=1800.07	? (TO) TT=1800.25	? (TO) TT=1800.21	? TT=327.86	? (TO) TT=1800.11
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-28-28/ rand-3-28-28-93-632-33_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.09	? (MO) TT=10.306	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.21	? (TO) TT=1800.23	? TT=328.16	? (TO) TT=1800.11
random/rand-3-28-28/ rand-3-28-28-93-632-34_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	? (MO) TT=10.376	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.47	? (TO) TT=1800.21	? TT=310.04	? (TO) TT=1800.05
random/rand-3-28-28/ rand-3-28-28-93-632-35_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.05	? (MO) TT=10.557	? (TO) TT=1800.09	? (TO) TT=0.027	? (TO) TT=1800.03	? (TO) TT=1800.21	? (TO) TT=1800.13	? TT=318.03	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-36_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.01	? (MO) TT=9.89	? (TO) TT=1800.05	? (TO) TT=0.027	? (TO) TT=1800.06	? (TO) TT=1800.2	? (TO) TT=1800.25	? TT=326.84	? (TO) TT=1800.07
random/rand-3-28-28/ rand-3-28-28-93-632-37_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.1	? (MO) TT=10.276	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.25	? (TO) TT=1800.17	? TT=299.16	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-38_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.01	? (MO) TT=9.824	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.23	? (TO) TT=1800.16	? TT=331.17	? (TO) TT=1800.03
random/rand-3-28-28/ rand-3-28-28-93-632-39_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.01	? (MO) TT=9.909	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.19	? TT=351.05	? (TO) TT=1800.11
random/rand-3-28-28/ rand-3-28-28-93-632-3_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.03	? (MO) TT=10.479	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.01	? (MO) TT=1779.39	? (TO) TT=1800.26	? TT=320.54	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-40_ext.xml		? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.09	? (MO) TT=10.246	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.16	? TT=339.18	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-41_ext.xml		? (TO) TT=1800.18	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.06	? (MO) TT=10.589	? (TO) TT=1800.1	? (TO) TT=0.028	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.16	? TT=315.77	? (TO) TT=1800.12
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-28-28/ rand-3-28-28-93-632-42_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.07	? (MO) TT=10.549	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.21	? (TO) TT=1800.14	? TT=342.88	? (TO) TT=1800.04
random/rand-3-28-28/ rand-3-28-28-93-632-43_ext.xml		? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.09	? (MO) TT=9.866	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.18	? (TO) TT=1800.49	? TT=330.1	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-44_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.05	? (MO) TT=10.483	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.19	? TT=318.92	? (TO) TT=1800.03
random/rand-3-28-28/ rand-3-28-28-93-632-45_ext.xml		? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.09	? (MO) TT=10.124	? (TO) TT=1800.07	? (TO) TT=0.023	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.2	? TT=314.95	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-46_ext.xml	SAT TT=81.297	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.04	? (MO) TT=9.892	? (TO) TT=1800.07	? (TO) TT=1800.04	SAT TT=81.297	? (TO) TT=1800.13	? (TO) TT=1800.18	? TT=315.36	? (TO) TT=1800.05
random/rand-3-28-28/ rand-3-28-28-93-632-47_ext.xml		? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.15	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=9.975	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.19	? TT=350.65	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-48_ext.xml		? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.07	? (MO) TT=10.585	? (TO) TT=1800.09	? (TO) TT=0.028	? (TO) TT=1800.03	? (TO) TT=1800.19	? (TO) TT=1800.23	? TT=295.56	? (TO) TT=1800.04
random/rand-3-28-28/ rand-3-28-28-93-632-49_ext.xml	SAT TT=444.223	? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.18	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.08	? (MO) TT=9.828	? (TO) TT=1800.08	? (TO) TT=0.023	SAT TT=444.223	? (TO) TT=1800.14	? (TO) TT=1800.19	? TT=345.49	? (TO) TT=1800.09
random/rand-3-28-28/ rand-3-28-28-93-632-4_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.16	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.03	? (MO) TT=9.964	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.16	? TT=307.88	? (TO) TT=1800.08
random/rand-3-28-28/ rand-3-28-28-93-632-50_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.07	? (MO) TT=9.83	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.21	? (TO) TT=1800.27	? TT=314.78	? (TO) TT=1800.11
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-3-28-28/ rand-3-28-28-93-632-5_ext.xml		? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.18	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.06	? (MO) TT=9.951	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.01	? (TO) TT=1800.22	? (TO) TT=1800.14	? TT=326.86	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-6_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.03	? (MO) TT=10.563	? (TO) TT=1800	? (TO) TT=0.029	? (TO) TT=1800.11	? (TO) TT=1800.17	? (MO) TT=1763.03	? TT=330.12	? (TO) TT=1800.1
random/rand-3-28-28/ rand-3-28-28-93-632-7_ext.xml		? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.01	? (MO) TT=9.94	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.15	? TT=330.44	? (TO) TT=1800.06
random/rand-3-28-28/ rand-3-28-28-93-632-8_ext.xml		? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.01	? (MO) TT=9.94	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.17	? (TO) TT=1800.2	? TT=335.31	? (TO) TT=1800.02
random/rand-3-28-28/ rand-3-28-28-93-632-9_ext.xml		? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.02	? (MO) TT=9.855	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.17	? TT=321.6	? (TO) TT=1800.09
random/rand-8-20-5/ rand-8-20-5-18-800-11_ext.xml	SAT TT=12.968	SAT TT=108.028 CHECKS=33909885 NODES=102827	SAT TT=110.517 CHECKS=33925931 NODES=102699	? (conv) TT=0.019	SAT TT=27.337 NODES=32254	SAT TT=12.968 NODES=2137	SAT TT=18.142 CHECKS=0 NODES=10614	? (MO) TT=17.08	? (TO) TT=1800.02	? (problem) TT=257.148	? (exit code) TT=0.379	? (MO) TT=28.432	? (MO) TT=36.232	? TT=324	? (exit code) TT=0.395
random/rand-8-20-5/ rand-8-20-5-18-800-13_ext.xml	SAT TT=54.623	SAT TT=106.134 CHECKS=30738466 NODES=109945	SAT TT=54.623 CHECKS=14878510 NODES=53718	? (conv) TT=0.019	SAT TT=1318.2 NODES=2873483	SAT TT=1379.21 NODES=3012112	SAT TT=687.096 CHECKS=0 NODES=1447527	? (MO) TT=16.999	? (TO) TT=1800.03	? (problem) TT=228.562	? (exit code) TT=0.398	? (MO) TT=27.83	? (MO) TT=28.53	? TT=315.73	? (exit code) TT=0.395
random/rand-8-20-5/ rand-8-20-5-18-800-15_ext.xml	SAT TT=23.176	SAT TT=26.077 CHECKS=4278991 NODES=14283	SAT TT=23.176 CHECKS=4420083 NODES=14930	? (conv) TT=0.019	SAT TT=673.636 NODES=1461596	SAT TT=153.624 NODES=273132	SAT TT=213.812 CHECKS=0 NODES=398038	? (MO) TT=17.238	? (TO) TT=1800.09	? (MO) TT=0.028	? (exit code) TT=0.401	? (MO) TT=28.449	? (MO) TT=27.815	? TT=334.85	? (exit code) TT=0.402
random/rand-8-20-5/ rand-8-20-5-18-800-17_ext.xml	SAT TT=17.162	SAT TT=17.162 CHECKS=2371549 NODES=6383	SAT TT=17.977 CHECKS=2299831 NODES=6069	? (conv) TT=0.019	SAT TT=302.083 NODES=591818	SAT TT=302.667 NODES=595913	SAT TT=98.958 CHECKS=0 NODES=165536	? (MO) TT=16.842	? (TO) TT=1800.08	? (problem) TT=269.443	? (exit code) TT=0.373	? (MO) TT=34.185	? TT=69.414	? TT=311.73	? (exit code) TT=0.392
random/rand-8-20-5/ rand-8-20-5-18-800-19_ext.xml	SAT TT=110.339	SAT TT=110.339 CHECKS=35614502 NODES=87468	SAT TT=117.083 CHECKS=36213711 NODES=88327	? (conv) TT=0.019	SAT TT=1007.71 NODES=2162906	SAT TT=372.169 NODES=722768	SAT TT=453.198 CHECKS=0 NODES=906457	? (MO) TT=17.923	? (TO) TT=1800.02	? (problem) TT=255.126	? (exit code) TT=0.405	? (MO) TT=29.698	? (MO) TT=34.151	? TT=300.01	? (exit code) TT=0.393
Bench name	Best results on this instance	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
random/rand-8-20-5/ rand-8-20-5-18-800-1_ext.xml	SAT TT=155.889	SAT TT=283.768 CHECKS=93368732 NODES=217455	SAT TT=301.116 CHECKS=93142565 NODES=217469	? (conv) TT=0.018	SAT TT=762.852 NODES=1572730	SAT TT=351.925 NODES=603553	SAT TT=155.889 CHECKS=0 NODES=287249	? (MO) TT=17.254	? (TO) TT=1800.02	? (problem) TT=206.774	? (exit code) TT=0.396	? (MO) TT=28.191	? (MO) TT=26.794	? TT=303.16	? (exit code) TT=0.407
random/rand-8-20-5/ rand-8-20-5-18-800-3_ext.xml	SAT TT=34.515	SAT TT=118.565 CHECKS=39782224 NODES=80842	SAT TT=114.395 CHECKS=39222653 NODES=79898	? (conv) TT=0.018	SAT TT=428.955 NODES=848577	SAT TT=34.575 NODES=36530	SAT TT=34.515 CHECKS=0 NODES=38357	? (MO) TT=17.343	? (TO) TT=1800.08	? (problem) TT=257.122	? (exit code) TT=0.382	? (MO) TT=27.917	? (MO) TT=28.491	? TT=318.14	? (exit code) TT=0.408
random/rand-8-20-5/ rand-8-20-5-18-800-5_ext.xml	SAT TT=33.758	SAT TT=254.706 CHECKS=93968747 NODES=290693	SAT TT=238.94 CHECKS=93500931 NODES=289176	? (conv) TT=0.019	SAT TT=299.932 NODES=595245	SAT TT=33.758 NODES=54271	SAT TT=125.665 CHECKS=0 NODES=243256	? (MO) TT=17.451	? (TO) TT=1800.02	? (MO) TT=0.028	? (exit code) TT=0.398	? (MO) TT=26.882	? (MO) TT=26.993	? TT=307.57	? (exit code) TT=0.365
random/rand-8-20-5/ rand-8-20-5-18-800-7_ext.xml	SAT TT=20.257	SAT TT=23.538 CHECKS=3579304 NODES=12762	SAT TT=22.624 CHECKS=3567367 NODES=12733	? (conv) TT=0.018	SAT TT=20.257 NODES=18439	SAT TT=24.542 NODES=23330	SAT TT=22.748 CHECKS=0 NODES=23787	? (MO) TT=17.234	SAT TT=1040.11	? (problem) TT=259.25	? (exit code) TT=0.401	? TT=88.368	? TT=82.101	? TT=319.38	? (exit code) TT=0.409
random/rand-8-20-5/ rand-8-20-5-18-800-9_ext.xml	SAT TT=62.181	SAT TT=130.96 CHECKS=42915145 NODES=88293	SAT TT=120.175 CHECKS=42644180 NODES=87437	? (conv) TT=0.018	SAT TT=204.182 NODES=429089	SAT TT=62.181 NODES=84954	SAT TT=62.64 CHECKS=0 NODES=84421	? (MO) TT=18.997	? (TO) TT=1800.03	? (MO) TT=0.029	? (exit code) TT=0.403	? (MO) TT=34.218	? (MO) TT=34.266	? TT=320.18	? (exit code) TT=0.377

Some statistics...

	Abscon 109 ESAC	Abscon 109 AC	BPrologCSPSolver70a 2006-12-13	CSP4J - Combo 2006-12-19	CSP4J - MAC 2006-12-19	CSP4J - MAC 2007-01-16	CSPtoSAT+minisat 0.3	galac 1	galacJ beta 1	Mistral 2006-12-04	sat4jCSP 1.7 RC BF3	SAT4JCSP-CACHED 1.7 RC BF3	sugar 0.40	Tramontane 2006-12-04
Number of times the solver is able to give the best known answer	84	86	37	66	77	84	10	13	10	85	33	33	0	78
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)	15	17	0	6	6	15	0	0	0	53	1	1	0	4