CSP 2006 Competition (second round): results by benchmark

Results by benchmark for category n-ary constraints in intension (N-ARY-INT), subcategory quasi random

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

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
primes/primes-10/ primes-10-20-2-1.xml	SAT TT=0.02	SAT TT=0.888 CHECKS=149104 NODES=0	SAT TT=0.885 CHECKS=149101 NODES=100	SAT TT=0.02	SAT TT=0.574 NODES=100	SAT TT=0.574 NODES=100	SAT TT=0.589 CHECKS=558 NODES=100	SAT TT=1.553	SAT TT=2.704	SAT TT=2.014	Signal TT=0.019	SAT TT=4.039	SAT TT=5.71	SAT TT=2.725	Signal TT=0.018
primes/primes-10/ primes-10-20-2-3.xml	SAT TT=0.023	SAT TT=3.049 CHECKS=3876319 NODES=0	SAT TT=4.442 CHECKS=5914919 NODES=103	SAT TT=0.023	SAT TT=28.303 NODES=102	SAT TT=28.439 NODES=100	SAT TT=21.968 CHECKS=37850308 NODES=100	SAT TT=93.719	SAT TT=76.622	SAT TT=67.512	Signal TT=0.019	? (MO) TT=77.695	? (MO) TT=41.731	SAT TT=49.245	Signal TT=0.02
primes/primes-10/ primes-10-20-2-5.xml	SAT TT=0.023	SAT TT=10.055 CHECKS=13535183 NODES=102	SAT TT=5.915 CHECKS=7151136 NODES=104	SAT TT=0.023	SAT TT=1323.55 NODES=102	? (TO) TT=1800.02	SAT TT=72.935 CHECKS=355285899 NODES=100	SAT TT=343.08	? (TO) TT=1800.04	? (TO) TT=1800.02	Signal TT=0.021	? (MO) TT=83.335	? (MO) TT=40.957	SAT TT=96.36	Signal TT=0.019
primes/primes-10/ primes-10-20-2-7.xml	SAT TT=0.024	SAT TT=454.301 CHECKS=507619270 NODES=1097	SAT TT=66.757 CHECKS=69049542 NODES=270	SAT TT=0.024	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=0.004	? (MO) TT=1013.35	? (TO) TT=1800.05	? (TO) TT=1800.05	Signal TT=0.021	? TT=85.902	? (MO) TT=46.915	? (MO) TT=86.57	Signal TT=0.038
primes/primes-10/ primes-10-20-3-1.xml	SAT TT=0.021	SAT TT=3.863 CHECKS=5958465 NODES=0	SAT TT=3.634 CHECKS=5082054 NODES=101	SAT TT=0.021	SAT TT=6.009 NODES=103	SAT TT=7.092 NODES=101	SAT TT=6.721 CHECKS=24433 NODES=101	SAT TT=90.466	SAT TT=8.491	SAT TT=6.493	Signal TT=0.019	? (MO) TT=131.956	? (MO) TT=37.888	SAT TT=22.669	Signal TT=0.018
primes/primes-10/ primes-10-20-3-3.xml	SAT TT=0.023	SAT TT=8.556 CHECKS=11468304 NODES=0	SAT TT=15.096 CHECKS=21178837 NODES=122	SAT TT=0.023	SAT TT=148.652 NODES=103	SAT TT=135.917 NODES=100	SAT TT=124.739 CHECKS=620320150 NODES=100	SAT TT=769.633	SAT TT=1772	SAT TT=1764.27	Signal TT=0.022	? (MO) TT=58.458	? (MO) TT=40.189	SAT TT=87.58	Signal TT=0.02
primes/primes-10/ primes-10-20-3-5.xml	SAT TT=0.024	SAT TT=39.735 CHECKS=56648865 NODES=190	SAT TT=5.75 CHECKS=6670106 NODES=100	SAT TT=0.024	SAT TT=593.985 NODES=102	SAT TT=816.812 NODES=100	Wrong Cert. TT=377.582 CHECKS=1515644434 NODES=100	? (MO) TT=1164.59	? (TO) TT=1800.04	? (TO) TT=1800.05	Signal TT=0.026	? (MO) TT=66.243	? (MO) TT=53.531	? (MO) TT=56.17	Signal TT=0.02
primes/primes-10/ primes-10-20-3-7.xml	SAT TT=0.023	? (TO) TT=1800.12	? (TO) TT=1800.14	SAT TT=0.023	? (TO) TT=1800	? (TO) TT=1800.01	? (TO) TT=1800.08	SAT TT=659.447	? (TO) TT=1800.01	? (TO) TT=1800.07	Signal TT=0.022	? (MO) TT=94.563	? (MO) TT=48.7	? (MO) TT=106	Signal TT=0.026
primes/primes-10/ primes-10-40-2-1.xml	SAT TT=0.023	SAT TT=1.063 CHECKS=123980 NODES=0	SAT TT=1.013 CHECKS=123595 NODES=100	SAT TT=0.023	SAT TT=0.759 NODES=0	SAT TT=0.766 NODES=100	SAT TT=0.793 CHECKS=687 NODES=100	SAT TT=5.889	SAT TT=3.538	SAT TT=2.835	Signal TT=0.021	SAT TT=6.571	? (MO) TT=8.959	SAT TT=6.59	Signal TT=0.02
primes/primes-10/ primes-10-40-2-3.xml	SAT TT=0.026	SAT TT=2.087 CHECKS=2108463 NODES=0	SAT TT=2.29 CHECKS=2342192 NODES=100	SAT TT=0.026	SAT TT=23.36 NODES=101	SAT TT=23.25 NODES=100	SAT TT=19.639 CHECKS=25554198 NODES=100	SAT TT=67.548	SAT TT=106.64	SAT TT=95.65	Signal TT=0.024	? (MO) TT=101.076	? (MO) TT=41.427	SAT TT=76.66	Signal TT=0.023
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
primes/primes-10/ primes-10-40-2-5.xml	SAT TT=0.025	SAT TT=4.606 CHECKS=5061705 NODES=102	SAT TT=4.389 CHECKS=4592810 NODES=137	SAT TT=0.025	SAT TT=1037.81 NODES=107	SAT TT=991.115 NODES=101	SAT TT=88.905 CHECKS=418709666 NODES=101	SAT TT=205.136	? (TO) TT=1800.01	? (TO) TT=1800.05	Signal TT=0.026	? (MO) TT=86.663	? (MO) TT=41.154	? (MO) TT=49.83	Signal TT=0.026
primes/primes-10/ primes-10-40-2-7.xml		? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=0.006	? (TO) TT=1800.03	? (MO) TT=1312.37	? (TO) TT=1800.03	? (TO) TT=1800.06	Signal TT=0.027	? TT=83.908	? (MO) TT=5.597	? (MO) TT=126.65	Signal TT=0.031
primes/primes-10/ primes-10-40-3-1.xml	SAT TT=0.023	SAT TT=2.238 CHECKS=2527344 NODES=0	SAT TT=2.258 CHECKS=2527344 NODES=100	SAT TT=0.023	SAT TT=9.942 NODES=100	SAT TT=9.531 NODES=100	SAT TT=9.554 CHECKS=1742 NODES=100	SAT TT=91.052	SAT TT=13.128	SAT TT=10.346	Signal TT=0.025	? (MO) TT=57.865	? (MO) TT=41.12	SAT TT=91.11	Signal TT=0.022
primes/primes-10/ primes-10-40-3-3.xml	SAT TT=2.962	SAT TT=1155.08 CHECKS=1649663284 NODES=26833	SAT TT=1002.45 CHECKS=1533984660 NODES=25687	SAT TT=2.962	SAT TT=782.192 NODES=1464	? (TO) TT=1800.09	? (TO) TT=1800.01	? (MO) TT=1738.07	? (TO) TT=1800.08	? (TO) TT=1800.02	Signal TT=0.024	? (MO) TT=57.478	? (MO) TT=42.055	? (MO) TT=48.8	Signal TT=0.024
primes/primes-10/ primes-10-40-3-5.xml		? (TO) TT=1800.06	? (TO) TT=1800.16	? (TO) TT=1800.1	? (TO) TT=0.004	? (TO) TT=1800	? (TO) TT=1800.09	? (MO) TT=1680.07	? (TO) TT=1800.09	? (TO) TT=1800.01	Signal TT=0.027	? (MO) TT=56.803	? (MO) TT=40.892	? (MO) TT=89.86	Signal TT=0.028
primes/primes-10/ primes-10-40-3-7.xml		? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800	? (MO) TT=1611.73	? (TO) TT=1800.03	? (TO) TT=1800.05	Signal TT=0.03	? (MO) TT=65.695	? (MO) TT=49.529	? TT=183.929	Signal TT=0.031
primes/primes-10/ primes-10-60-2-1.xml	SAT TT=0.024	SAT TT=1.104 CHECKS=61690 NODES=0	SAT TT=1.15 CHECKS=61662 NODES=100	SAT TT=0.024	SAT TT=0.883 NODES=0	SAT TT=0.91 NODES=100	SAT TT=0.911 CHECKS=325 NODES=100	SAT TT=7.284	SAT TT=4.537	SAT TT=3.599	Signal TT=0.025	SAT TT=9.8	SAT TT=8.737	SAT TT=8.475	Signal TT=0.028
primes/primes-10/ primes-10-60-2-3.xml	SAT TT=0.025	SAT TT=1.381 CHECKS=943914 NODES=0	SAT TT=1.569 CHECKS=1118610 NODES=100	SAT TT=0.025	SAT TT=19.258 NODES=0	SAT TT=19.421 NODES=100	SAT TT=14.892 CHECKS=8258381 NODES=100	SAT TT=21.569	SAT TT=188.939	SAT TT=170.241	Signal TT=0.029	? (MO) TT=66.633	? (MO) TT=41.156	SAT TT=69.894	Signal TT=0.025
primes/primes-10/ primes-10-60-2-5.xml	SAT TT=0.027	SAT TT=1.352 CHECKS=677826 NODES=0	SAT TT=1.906 CHECKS=1302989 NODES=100	SAT TT=0.027	SAT TT=430.193 NODES=0	SAT TT=404.124 NODES=100	SAT TT=79.883 CHECKS=363905730 NODES=100	SAT TT=19.957	? (TO) TT=1800.08	? (TO) TT=1800.06	Signal TT=0.034	? (MO) TT=61.129	? (MO) TT=53.584	? (MO) TT=77.55	Signal TT=0.031
primes/primes-10/ primes-10-60-2-7.xml	SAT TT=0.102	SAT TT=16.801 CHECKS=22329593 NODES=226	SAT TT=11.926 CHECKS=14638019 NODES=198	SAT TT=0.102	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.07	? (MO) TT=1337.69	? (TO) TT=1800.06	? (TO) TT=1800.07	Signal TT=0.035	? (MO) TT=97.932	? (MO) TT=49.08	? TT=164.77	Signal TT=0.033
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
primes/primes-10/ primes-10-60-3-1.xml	SAT TT=0.025	SAT TT=2.035 CHECKS=1991991 NODES=0	SAT TT=2.198 CHECKS=1991991 NODES=100	SAT TT=0.025	SAT TT=14.312 NODES=0	SAT TT=14.379 NODES=100	SAT TT=14.876 CHECKS=1239 NODES=100	SAT TT=124.217	SAT TT=20.394	SAT TT=16.401	Signal TT=0.026	? (MO) TT=54.309	? (MO) TT=43.467	SAT TT=149.15	Signal TT=0.025
primes/primes-10/ primes-10-60-3-3.xml	SAT TT=0.033	SAT TT=3.733 CHECKS=5044979 NODES=0	SAT TT=5.699 CHECKS=8391694 NODES=112	SAT TT=0.033	SAT TT=223.561 NODES=108	SAT TT=220.562 NODES=101	SAT TT=153.936 CHECKS=706024021 NODES=101	SAT TT=1095.14	? (TO) TT=1800.04	? (TO) TT=1800.02	Signal TT=0.03	? TT=136.106	? (MO) TT=41.721	? (MO) TT=74.85	Signal TT=0.03
primes/primes-10/ primes-10-60-3-5.xml	SAT TT=50.464	SAT TT=1010.32 CHECKS=1386421742 NODES=14062	SAT TT=1233.19 CHECKS=1605918997 NODES=9486	SAT TT=50.464	? (TO) TT=0.005	? (TO) TT=1800.07	? (TO) TT=0.003	? (TO) TT=1800.2	? (TO) TT=1800.03	? (TO) TT=1800.07	Signal TT=0.034	? (MO) TT=59.954	? (MO) TT=42.013	? (MO) TT=126.68	Signal TT=0.032
primes/primes-10/ primes-10-60-3-7.xml	SAT TT=43.102	? (TO) TT=1800.14	? (TO) TT=1800.11	SAT TT=43.102	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.25	? (TO) TT=1800.01	? (TO) TT=1800.01	Signal TT=0.036	? (MO) TT=75.505	? (MO) TT=56.564	? TT=222.91	Signal TT=0.037
primes/primes-10/ primes-10-80-2-1.xml	SAT TT=0.024	SAT TT=1.179 CHECKS=62563 NODES=0	SAT TT=1.176 CHECKS=62521 NODES=100	SAT TT=0.024	SAT TT=1.096 NODES=0	SAT TT=1.025 NODES=100	SAT TT=0.98 CHECKS=388 NODES=100	SAT TT=9.94	SAT TT=5.267	SAT TT=4.391	Signal TT=0.027	? (MO) TT=6.343	SAT TT=17.442	SAT TT=9.58	Signal TT=0.027
primes/primes-10/ primes-10-80-2-3.xml	SAT TT=0.027	SAT TT=1.405 CHECKS=839940 NODES=0	SAT TT=1.414 CHECKS=839894 NODES=100	SAT TT=0.027	SAT TT=17.878 NODES=0	SAT TT=17.542 NODES=100	SAT TT=13.142 CHECKS=2950199 NODES=100	SAT TT=15.905	SAT TT=229.215	SAT TT=200.546	Signal TT=0.031	? TT=145.722	? (MO) TT=41.005	SAT TT=86.21	Signal TT=0.031
primes/primes-10/ primes-10-80-2-5.xml	SAT TT=0.027	SAT TT=1.245 CHECKS=332761 NODES=0	SAT TT=1.262 CHECKS=447556 NODES=100	SAT TT=0.027	SAT TT=1136.49 NODES=0	SAT TT=1205.14 NODES=100	SAT TT=84.735 CHECKS=400065157 NODES=100	SAT TT=13.481	? (TO) TT=1800	? (TO) TT=1800.09	Signal TT=0.033	? (MO) TT=99.234	? (MO) TT=41.846	? (MO) TT=100.92	Signal TT=0.034
primes/primes-10/ primes-10-80-2-7.xml	SAT TT=0.031	SAT TT=2.116 CHECKS=1974755 NODES=0	SAT TT=2.226 CHECKS=2029559 NODES=100	SAT TT=0.031	? (TO) TT=1800.02	? (TO) TT=1800.09	Wrong Cert. TT=447.035 CHECKS=2189929356 NODES=100	SAT TT=18.323	? (TO) TT=1800.05	? (TO) TT=1800.05	Signal TT=0.039	? (MO) TT=71.087	? (MO) TT=47.676	? TT=199.95	Signal TT=0.04
primes/primes-10/ primes-10-80-3-1.xml	SAT TT=0.028	SAT TT=2.042 CHECKS=1581255 NODES=0	SAT TT=2.043 CHECKS=1581255 NODES=100	SAT TT=0.028	SAT TT=17.73 NODES=0	SAT TT=18.94 NODES=100	SAT TT=18.347 CHECKS=1493 NODES=100	SAT TT=258.045	SAT TT=25.563	SAT TT=19.01	Signal TT=0.031	? TT=137.49	? (MO) TT=39.561	SAT TT=65.66	Signal TT=0.03
primes/primes-10/ primes-10-80-3-3.xml	SAT TT=0.027	SAT TT=2.916 CHECKS=3784987 NODES=0	SAT TT=3.001 CHECKS=3785594 NODES=100	SAT TT=0.027	SAT TT=137.489 NODES=0	SAT TT=129.101 NODES=100	SAT TT=88.816 CHECKS=433233538 NODES=100	SAT TT=634.76	? (TO) TT=1800	? (TO) TT=1800.05	Signal TT=0.035	? (MO) TT=54.691	? (MO) TT=43.205	? (MO) TT=84.54	Signal TT=0.035
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
primes/primes-10/ primes-10-80-3-5.xml	SAT TT=0.262	SAT TT=138.188 CHECKS=207206332 NODES=995	SAT TT=210.648 CHECKS=311548642 NODES=1483	SAT TT=0.262	? (TO) TT=0.004	? (TO) TT=0.005	? (TO) TT=0.004	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.06	Signal TT=0.04	? (MO) TT=60.629	? (MO) TT=58.161	? TT=139.95	Signal TT=0.038
primes/primes-10/ primes-10-80-3-7.xml	SAT TT=0.13	SAT TT=25.789 CHECKS=39458870 NODES=135	SAT TT=5.413 CHECKS=6528503 NODES=100	SAT TT=0.13	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.21	? (TO) TT=1800.05	? (TO) TT=1800.09	Signal TT=0.046	? (MO) TT=80	? (MO) TT=50.884	? TT=289.81	Signal TT=0.045
primes/primes-15/ primes-15-20-2-1.xml	SAT TT=0.023	SAT TT=1.387 CHECKS=573990 NODES=0	SAT TT=1.325 CHECKS=573979 NODES=100	SAT TT=0.023	SAT TT=0.866 NODES=0	SAT TT=0.862 NODES=100	SAT TT=0.834 CHECKS=331 NODES=100	SAT TT=8.577	SAT TT=4.321	SAT TT=2.512	Signal TT=0.018	SAT TT=9.751	SAT TT=9.34	SAT TT=5.73	Signal TT=0.018
primes/primes-15/ primes-15-20-2-3.xml	SAT TT=0.021	SAT TT=3.939 CHECKS=5416335 NODES=0	SAT TT=2.976 CHECKS=3529582 NODES=118	SAT TT=0.021	SAT TT=192.174 NODES=101	SAT TT=192.754 NODES=100	SAT TT=184.236 CHECKS=326004295 NODES=100	SAT TT=244.293	SAT TT=824.214	SAT TT=774.235	Signal TT=0.021	? (MO) TT=93.837	? (MO) TT=42.867	? (MO) TT=126.8	Signal TT=0.02
primes/primes-15/ primes-15-20-2-5.xml	SAT TT=0.026	? (TO) TT=1800.07	? (TO) TT=1800.17	SAT TT=0.026	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=0.004	? (TO) TT=1800.23	? (TO) TT=1800	? (TO) TT=1800.07	Signal TT=0.021	? (MO) TT=104.091	? (MO) TT=42.109	? TT=186.754	Signal TT=0.02
primes/primes-15/ primes-15-20-2-7.xml	SAT TT=0.023	? (TO) TT=1800.07	? (TO) TT=1800.14	SAT TT=0.023	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.2	? (TO) TT=1800.1	? (TO) TT=1800	Signal TT=0.024	? (MO) TT=85.323	? (MO) TT=46.747	? TT=457.55	Signal TT=0.024
primes/primes-15/ primes-15-20-3-1.xml	SAT TT=0.024	SAT TT=3.797 CHECKS=5069127 NODES=0	SAT TT=2.051 CHECKS=2001599 NODES=103	SAT TT=0.024	SAT TT=47.861 NODES=101	SAT TT=52.86 NODES=100	SAT TT=47.067 CHECKS=46497 NODES=100	SAT TT=496.922	SAT TT=35.092	SAT TT=30.363	Signal TT=0.019	? (MO) TT=74.385	? (MO) TT=29.798	? (MO) TT=97.08	Signal TT=0.019
primes/primes-15/ primes-15-20-3-3.xml	SAT TT=0.022	SAT TT=1553.36 CHECKS=2175239800 NODES=22630	SAT TT=19.702 CHECKS=29521804 NODES=292	SAT TT=0.022	? (TO) TT=1800.08	? (TO) TT=1800.04	SAT TT=521.179 CHECKS=2717966431 NODES=110	? (TO) TT=1800.23	? (TO) TT=1800.04	? (TO) TT=1800.04	Signal TT=0.02	? (MO) TT=66.973	? (MO) TT=42.139	? TT=163.54	Signal TT=0.02
primes/primes-15/ primes-15-20-3-5.xml	SAT TT=0.024	SAT TT=38.949 CHECKS=56250804 NODES=615	SAT TT=21.921 CHECKS=30935164 NODES=401	SAT TT=0.024	? (TO) TT=0.004	? (TO) TT=0.006	Wrong Cert. TT=177.9 CHECKS=514239967 NODES=100	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.05	Signal TT=0.02	? (MO) TT=65.946	? (MO) TT=41.402	? TT=333.838	Signal TT=0.021
primes/primes-15/ primes-15-20-3-7.xml	SAT TT=0.024	? (TO) TT=1800.08	? (TO) TT=1800.13	SAT TT=0.024	? (TO) TT=1800	? (TO) TT=1800.07	? (TO) TT=1800.07	SAT TT=1155.52	? (TO) TT=1800.09	? (TO) TT=1800.06	Signal TT=0.022	? (MO) TT=93.938	? (MO) TT=49.752	? TT=593.107	Signal TT=0.023
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
primes/primes-15/ primes-15-40-2-1.xml	SAT TT=0.022	SAT TT=1.911 CHECKS=548844 NODES=0	SAT TT=1.807 CHECKS=548521 NODES=100	SAT TT=0.022	SAT TT=1.325 NODES=0	SAT TT=1.334 NODES=100	SAT TT=1.256 CHECKS=422 NODES=100	SAT TT=28.291	SAT TT=5.672	SAT TT=3.753	Signal TT=0.021	SAT TT=15.576	SAT TT=15.208	SAT TT=29.45	Signal TT=0.023
primes/primes-15/ primes-15-40-2-3.xml	SAT TT=0.024	SAT TT=2.858 CHECKS=2916397 NODES=109	SAT TT=1.928 CHECKS=1663307 NODES=106	SAT TT=0.024	SAT TT=230.574 NODES=0	SAT TT=233.202 NODES=100	SAT TT=175.904 CHECKS=297153566 NODES=100	SAT TT=346.303	SAT TT=1025.78	SAT TT=1071.42	Signal TT=0.024	? (MO) TT=59.684	? (MO) TT=44.043	? TT=165.53	Signal TT=0.022
primes/primes-15/ primes-15-40-2-5.xml	SAT TT=17.4	SAT TT=46.883 CHECKS=65253105 NODES=2656	SAT TT=17.4 CHECKS=22986717 NODES=765	SAT TT=17.64	? (TO) TT=1800.01	? (TO) TT=1800.08	SAT TT=547.784 CHECKS=2554074149 NODES=100	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.1	Signal TT=0.025	? (MO) TT=94.907	? (MO) TT=40.204	? TT=281.068	Signal TT=0.025
primes/primes-15/ primes-15-40-2-7.xml		? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.06	? (TO) TT=1800.08	Signal TT=0.027	? (MO) TT=64.88	? (MO) TT=46.451	? TT=673.23	Signal TT=0.027
primes/primes-15/ primes-15-40-3-1.xml	SAT TT=0.024	SAT TT=1.908 CHECKS=1042070 NODES=0	SAT TT=1.932 CHECKS=1057216 NODES=100	SAT TT=0.024	SAT TT=73.221 NODES=100	SAT TT=75.707 NODES=100	SAT TT=71.166 CHECKS=3479 NODES=100	SAT TT=342.699	SAT TT=57.982	SAT TT=51.056	Signal TT=0.024	? (MO) TT=94.08	? (MO) TT=29.859	? (MO) TT=145.83	Signal TT=0.022
primes/primes-15/ primes-15-40-3-3.xml	SAT TT=0.863	SAT TT=16.766 CHECKS=27930795 NODES=300	SAT TT=4.045 CHECKS=5211669 NODES=145	SAT TT=0.863	SAT TT=1725.4 NODES=106	? (TO) TT=0.005	SAT TT=290.831 CHECKS=1387478394 NODES=100	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.08	Signal TT=0.027	? (MO) TT=67.35	? (MO) TT=41.516	? TT=322.684	Signal TT=0.027
primes/primes-15/ primes-15-40-3-5.xml		? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=0.004	? (TO) TT=0.004	? (TO) TT=0.004	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.08	Signal TT=0.029	? (MO) TT=62.941	? (MO) TT=43.858	? TT=770.281	Signal TT=0.026
primes/primes-15/ primes-15-40-3-7.xml		? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=0.006	? (TO) TT=1800.14	? (TO) TT=1800.03	? (TO) TT=1800.06	Signal TT=0.032	? (MO) TT=107.059	? (MO) TT=48.95	? (TO) TT=1802.22	Signal TT=0.032
primes/primes-15/ primes-15-60-2-1.xml	SAT TT=0.023	SAT TT=2.218 CHECKS=256934 NODES=0	SAT TT=2.078 CHECKS=256904 NODES=100	SAT TT=0.023	SAT TT=1.678 NODES=0	SAT TT=1.683 NODES=100	SAT TT=1.604 CHECKS=332 NODES=100	SAT TT=36.764	SAT TT=6.896	SAT TT=4.861	Signal TT=0.026	SAT TT=19.155	SAT TT=19.923	SAT TT=40.044	Signal TT=0.023
primes/primes-15/ primes-15-60-2-3.xml	SAT TT=0.026	SAT TT=1.851 CHECKS=1178391 NODES=0	SAT TT=1.8 CHECKS=1171629 NODES=100	SAT TT=0.026	SAT TT=106.912 NODES=0	SAT TT=107.574 NODES=100	SAT TT=98.649 CHECKS=135523219 NODES=100	SAT TT=118.212	? (TO) TT=1800.09	? (TO) TT=1800.03	Signal TT=0.027	? (MO) TT=63.784	? (MO) TT=40.606	? TT=305.44	Signal TT=0.026
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
primes/primes-15/ primes-15-60-2-5.xml	SAT TT=0.027	SAT TT=1.807 CHECKS=852757 NODES=0	SAT TT=1.689 CHECKS=883746 NODES=100	SAT TT=0.027	? (TO) TT=0.004	? (TO) TT=1800.04	SAT TT=530.974 CHECKS=2473878954 NODES=100	SAT TT=86.698	? (TO) TT=1800.03	? (TO) TT=1800.06	Signal TT=0.032	? (MO) TT=58.691	? (MO) TT=41.28	? TT=536.51	Signal TT=0.029
primes/primes-15/ primes-15-60-2-7.xml	SAT TT=0.068	SAT TT=16.079 CHECKS=19675077 NODES=868	SAT TT=11.46 CHECKS=15049746 NODES=836	SAT TT=0.068	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.17	? (TO) TT=1800.01	? (TO) TT=1800.1	Signal TT=0.034	? (MO) TT=105.134	? (MO) TT=5.787	? TT=1027.76	Signal TT=0.034
primes/primes-15/ primes-15-60-3-1.xml	SAT TT=0.026	SAT TT=2.144 CHECKS=940921 NODES=0	SAT TT=2.225 CHECKS=1002386 NODES=100	SAT TT=0.026	SAT TT=108.819 NODES=1	SAT TT=117.277 NODES=100	SAT TT=112.618 CHECKS=1517 NODES=100	? (TO) TT=1800.08	SAT TT=91.198	SAT TT=80.936	Signal TT=0.027	? (MO) TT=57.649	? (MO) TT=29.391	? TT=205.826	Signal TT=0.027
primes/primes-15/ primes-15-60-3-3.xml	SAT TT=0.272	SAT TT=3.919 CHECKS=4952668 NODES=0	SAT TT=4.512 CHECKS=5640061 NODES=164	SAT TT=0.272	? (TO) TT=1800.02	? (TO) TT=0.004	SAT TT=349.697 CHECKS=1693728845 NODES=100	? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.07	Signal TT=0.033	? (MO) TT=94.61	? (MO) TT=41.422	? TT=503.055	Signal TT=0.032
primes/primes-15/ primes-15-60-3-5.xml	SAT TT=20.012	? (TO) TT=1800.06	? (TO) TT=1800.08	SAT TT=20.012	? (TO) TT=0.007	? (TO) TT=0.003	? (TO) TT=0.006	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.07	Signal TT=0.033	? (MO) TT=62.946	? (MO) TT=43.729	? (TO) TT=1803.24	Signal TT=0.036
primes/primes-15/ primes-15-60-3-7.xml		? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=0.003	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800	Signal TT=0.038	? (MO) TT=112.308	? (MO) TT=48.982	? (TO) TT=1801.98	Signal TT=0.037
primes/primes-15/ primes-15-80-2-1.xml	SAT TT=0.023	SAT TT=2.562 CHECKS=148025 NODES=0	SAT TT=2.434 CHECKS=147983 NODES=100	SAT TT=0.023	SAT TT=2.108 NODES=0	SAT TT=1.958 NODES=100	SAT TT=1.87 CHECKS=397 NODES=100	SAT TT=49.07	SAT TT=7.991	SAT TT=5.575	Signal TT=0.026	SAT TT=20.498	SAT TT=22.245	SAT TT=54.14	Signal TT=0.026
primes/primes-15/ primes-15-80-2-3.xml	SAT TT=0.028	SAT TT=1.83 CHECKS=977958 NODES=0	SAT TT=1.85 CHECKS=963281 NODES=100	SAT TT=0.028	SAT TT=107.899 NODES=0	SAT TT=115.519 NODES=100	SAT TT=111.188 CHECKS=125662674 NODES=100	SAT TT=77.112	? (TO) TT=1800.02	? (TO) TT=1800.05	Signal TT=0.031	? (MO) TT=80.057	? (MO) TT=41.215	? TT=1522.57	Signal TT=0.031
primes/primes-15/ primes-15-80-2-5.xml	SAT TT=0.029	SAT TT=1.737 CHECKS=679376 NODES=0	SAT TT=1.821 CHECKS=774591 NODES=100	SAT TT=0.029	? (TO) TT=1800.1	? (TO) TT=1800.01	SAT TT=856.538 CHECKS=4053157878 NODES=100	SAT TT=67.213	? (TO) TT=1800.1	? (TO) TT=1800.02	Signal TT=0.035	? (MO) TT=112.876	? (MO) TT=42.166	? TT=772.34	Signal TT=0.036
primes/primes-15/ primes-15-80-2-7.xml	SAT TT=0.031	SAT TT=1.662 CHECKS=740149 NODES=0	SAT TT=1.71 CHECKS=735151 NODES=100	SAT TT=0.031	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=0.005	SAT TT=231.359	? (TO) TT=1800.1	? (TO) TT=1800.09	Signal TT=0.044	? (MO) TT=2.326	? (MO) TT=5.197	? TT=1322.74	Signal TT=0.037
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
primes/primes-15/ primes-15-80-3-1.xml	SAT TT=0.027	SAT TT=2.701 CHECKS=699721 NODES=0	SAT TT=2.807 CHECKS=907960 NODES=100	SAT TT=0.027	SAT TT=138.137 NODES=0	SAT TT=148.391 NODES=100	SAT TT=130.548 CHECKS=1614 NODES=100	? (TO) TT=1800.12	SAT TT=114.149	SAT TT=94.521	Signal TT=0.03	? (MO) TT=54.182	? (MO) TT=30.105	? TT=248.537	Signal TT=0.031
primes/primes-15/ primes-15-80-3-3.xml	SAT TT=0.03	SAT TT=2.257 CHECKS=1617519 NODES=0	SAT TT=2.33 CHECKS=1982142 NODES=107	SAT TT=0.03	SAT TT=1693.6 NODES=0	SAT TT=1560.48 NODES=100	SAT TT=342.29 CHECKS=1606105089 NODES=100	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.1	Signal TT=0.034	? (MO) TT=146.805	? (MO) TT=41.413	? TT=655.43	Signal TT=0.035
primes/primes-15/ primes-15-80-3-5.xml	SAT TT=0.843	? (TO) TT=1800.14	? (TO) TT=1800.1	SAT TT=0.843	? (TO) TT=1800.06	? (TO) TT=0.004	? (TO) TT=0.005	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.06	Signal TT=0.04	? (MO) TT=62.027	? (MO) TT=42.046	? TT=1704	Signal TT=0.042
primes/primes-15/ primes-15-80-3-7.xml	SAT TT=0.139	SAT TT=3.892 CHECKS=4511692 NODES=100	SAT TT=2.745 CHECKS=2217198 NODES=100	SAT TT=0.139	? (TO) TT=1800.06	? (TO) TT=0.003	? (TO) TT=0.003	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800	Signal TT=0.046	? (MO) TT=84.587	? (MO) TT=49.555	? (TO) TT=1803.08	Signal TT=0.044
primes/primes-20/ primes-20-20-2-1.xml	SAT TT=0.022	SAT TT=1.487 CHECKS=1891200 NODES=0	SAT TT=1.597 CHECKS=1890164 NODES=100	SAT TT=0.022	SAT TT=1.584 NODES=100	SAT TT=1.56 NODES=100	SAT TT=1.507 CHECKS=485 NODES=100	SAT TT=32.578	SAT TT=7.519	SAT TT=3.459	Signal TT=0.017	? (MO) TT=17.193	SAT TT=22.349	SAT TT=61.98	Signal TT=0.02
primes/primes-20/ primes-20-20-2-3.xml	SAT TT=0.022	SAT TT=13.021 CHECKS=21770310 NODES=127	SAT TT=10.014 CHECKS=15258740 NODES=127	SAT TT=0.022	SAT TT=629.838 NODES=101	SAT TT=507.124 NODES=100	SAT TT=526.867 CHECKS=2489872750 NODES=100	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.05	Signal TT=0.02	? TT=129.027	? (MO) TT=62.317	? TT=322.407	Signal TT=0.018
primes/primes-20/ primes-20-20-2-5.xml	SAT TT=0.022	SAT TT=130.572 CHECKS=171525102 NODES=558	SAT TT=130.547 CHECKS=160980457 NODES=563	SAT TT=0.022	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.04	Signal TT=0.02	? TT=131.123	? (MO) TT=44.256	? (TO) TT=1801.53	Signal TT=0.022
primes/primes-20/ primes-20-20-2-7.xml	SAT TT=0.024	? (TO) TT=1800.11	? (TO) TT=1800.1	SAT TT=0.024	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.09	Signal TT=0.022	? (MO) TT=77.947	? (MO) TT=2.259	? (TO) TT=1803.46	Signal TT=0.022
primes/primes-20/ primes-20-20-3-1.xml	SAT TT=0.023	SAT TT=9.974 CHECKS=17009615 NODES=116	SAT TT=4.609 CHECKS=7445405 NODES=102	SAT TT=0.023	SAT TT=273.559 NODES=100	SAT TT=316.852 NODES=100	SAT TT=288.85 CHECKS=262263 NODES=100	? (TO) TT=1800.07	SAT TT=163.973	SAT TT=151.031	Signal TT=0.018	? (MO) TT=86.222	? (MO) TT=41.539	? TT=137.757	Signal TT=0.02
primes/primes-20/ primes-20-20-3-3.xml	SAT TT=0.022	SAT TT=71.95 CHECKS=113830569 NODES=477	SAT TT=43.355 CHECKS=72950750 NODES=305	SAT TT=0.022	? (TO) TT=1800.1	? (TO) TT=1800.07	SAT TT=1051.61 CHECKS=5220774384 NODES=104	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800	Signal TT=0.02	? (MO) TT=70.745	? (MO) TT=43.871	? TT=1468.11	Signal TT=0.019
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
primes/primes-20/ primes-20-20-3-5.xml	SAT TT=0.022	SAT TT=232.067 CHECKS=270268489 NODES=864	SAT TT=524.943 CHECKS=719225847 NODES=2240	SAT TT=0.022	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.06	Signal TT=0.021	? (MO) TT=70.74	? (MO) TT=52.484	? (TO) TT=1803.28	Signal TT=0.02
primes/primes-20/ primes-20-20-3-7.xml	SAT TT=0.024	SAT TT=61.248 CHECKS=57733894 NODES=275	? (TO) TT=1800.12	SAT TT=0.024	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.05	Signal TT=0.023	? TT=85.318	? (MO) TT=52.363	? (TO) TT=1804.49	Signal TT=0.023
primes/primes-20/ primes-20-40-2-1.xml	SAT TT=0.022	SAT TT=1.611 CHECKS=1868549 NODES=0	SAT TT=1.602 CHECKS=1868529 NODES=100	SAT TT=0.022	SAT TT=2.829 NODES=0	SAT TT=3.041 NODES=100	SAT TT=2.712 CHECKS=695 NODES=100	SAT TT=113.601	SAT TT=10.345	SAT TT=6.085	Signal TT=0.02	SAT TT=39.815	SAT TT=50.545	? (MO) TT=72.3	Signal TT=0.023
primes/primes-20/ primes-20-40-2-3.xml	SAT TT=0.065	SAT TT=8.971 CHECKS=14600300 NODES=202	SAT TT=6.383 CHECKS=11050049 NODES=206	SAT TT=0.065	SAT TT=1274.91 NODES=107	SAT TT=1262.72 NODES=100	SAT TT=551.252 CHECKS=1966352531 NODES=100	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.09	Signal TT=0.024	? TT=123.264	? (MO) TT=55.034	? TT=642.8	Signal TT=0.023
primes/primes-20/ primes-20-40-2-5.xml	SAT TT=0.026	SAT TT=13.116 CHECKS=17738394 NODES=130	SAT TT=9.01 CHECKS=11843138 NODES=162	SAT TT=0.026	? (TO) TT=1800.01	? (TO) TT=1800.01	SAT TT=1256.36 CHECKS=6355129176 NODES=118	? (TO) TT=1800.16	? (TO) TT=1800.07	? (TO) TT=1800.08	Signal TT=0.026	? (MO) TT=80.519	? (MO) TT=42.262	? (TO) TT=1803.36	Signal TT=0.023
primes/primes-20/ primes-20-40-2-7.xml	SAT TT=124.508	? (TO) TT=1800.09	? (TO) TT=1800.06	SAT TT=124.508	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800	Signal TT=0.027	? (MO) TT=77.274	? (MO) TT=2.563	? (TO) TT=1803.93	Signal TT=0.029
primes/primes-20/ primes-20-40-3-1.xml	SAT TT=0.025	SAT TT=3.389 CHECKS=5762683 NODES=0	SAT TT=3.175 CHECKS=5679898 NODES=101	SAT TT=0.025	SAT TT=407.26 NODES=101	SAT TT=425.424 NODES=100	SAT TT=398.334 CHECKS=5435 NODES=100	? (TO) TT=1800.13	SAT TT=275.261	SAT TT=248.068	Signal TT=0.023	? (MO) TT=106.853	? (MO) TT=41.018	? TT=338.56	Signal TT=0.021
primes/primes-20/ primes-20-40-3-3.xml	SAT TT=1.869	SAT TT=1118.46 CHECKS=1862602280 NODES=13661	? (TO) TT=1800.08	SAT TT=1.869	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.1	Signal TT=0.027	? (MO) TT=87.8	? (MO) TT=42.348	? (TO) TT=1802.99	Signal TT=0.025
primes/primes-20/ primes-20-40-3-5.xml		? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.05	Signal TT=0.027	? (MO) TT=60.745	? (MO) TT=43.218	? (TO) TT=1804.39	Signal TT=0.028
primes/primes-20/ primes-20-40-3-7.xml		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.15	? (TO) TT=1800	? (TO) TT=1800.01	Signal TT=0.029	? (MO) TT=75.718	? (MO) TT=48.53	? (TO) TT=1804.51	Signal TT=0.031
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
primes/primes-20/ primes-20-60-2-1.xml	SAT TT=0.023	SAT TT=1.296 CHECKS=1018985 NODES=0	SAT TT=1.321 CHECKS=1018954 NODES=100	SAT TT=0.023	SAT TT=3.737 NODES=0	SAT TT=3.904 NODES=100	SAT TT=3.53 CHECKS=339 NODES=100	SAT TT=161.766	SAT TT=11.924	SAT TT=8.073	Signal TT=0.023	? (MO) TT=12.336	? (MO) TT=49.981	? (MO) TT=85.28	Signal TT=0.022
primes/primes-20/ primes-20-60-2-3.xml	SAT TT=0.027	SAT TT=2.641 CHECKS=4059702 NODES=0	SAT TT=2.556 CHECKS=3872396 NODES=100	SAT TT=0.027	SAT TT=583.919 NODES=0	SAT TT=579.688 NODES=100	SAT TT=477.518 CHECKS=721231731 NODES=100	SAT TT=663.99	? (TO) TT=1800.06	? (TO) TT=1800.08	Signal TT=0.026	? (MO) TT=101.32	? (MO) TT=40.261	? (TO) TT=1804.47	Signal TT=0.029
primes/primes-20/ primes-20-60-2-5.xml	SAT TT=0.028	SAT TT=2.391 CHECKS=3118172 NODES=0	SAT TT=2.726 CHECKS=3670930 NODES=100	SAT TT=0.028	? (TO) TT=1800.09	? (TO) TT=1800.02	SAT TT=1774 CHECKS=9290518220 NODES=100	SAT TT=809.326	? (TO) TT=1800.01	? (TO) TT=1800.06	Signal TT=0.032	? (MO) TT=68.853	? (MO) TT=52.169	? (TO) TT=1803.31	Signal TT=0.03
primes/primes-20/ primes-20-60-2-7.xml	SAT TT=0.142	SAT TT=37.484 CHECKS=59306998 NODES=1332	SAT TT=19.983 CHECKS=25920152 NODES=311	SAT TT=0.142	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.01	Signal TT=0.034	? (MO) TT=124.938	? (MO) TT=46.876	? (TO) TT=1803.53	Signal TT=0.033
primes/primes-20/ primes-20-60-3-1.xml	SAT TT=0.025	SAT TT=2.353 CHECKS=3449394 NODES=0	SAT TT=2.57 CHECKS=3827777 NODES=100	SAT TT=0.025	SAT TT=636.821 NODES=1	SAT TT=632.136 NODES=100	SAT TT=573.327 CHECKS=12137509 NODES=100	? (TO) TT=1800.12	SAT TT=433.293	SAT TT=389.184	Signal TT=0.027	? (MO) TT=60.366	? (MO) TT=42.754	? TT=917.908	Signal TT=0.026
primes/primes-20/ primes-20-60-3-3.xml	SAT TT=0.036	SAT TT=43.972 CHECKS=77847151 NODES=229	SAT TT=29.213 CHECKS=51179651 NODES=221	SAT TT=0.036	? (TO) TT=1800.09	? (TO) TT=1800.03	SAT TT=786.452 CHECKS=2544666924 NODES=100	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.05	Signal TT=0.031	? (MO) TT=92.278	? (MO) TT=40.077	? (TO) TT=1803.36	Signal TT=0.038
primes/primes-20/ primes-20-60-3-5.xml		? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.07	Signal TT=0.034	? (MO) TT=60.019	? (MO) TT=43.537	? (TO) TT=1803.3	Signal TT=0.035
primes/primes-20/ primes-20-60-3-7.xml		? (TO) TT=1800.04	? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.01	Signal TT=0.036	? (MO) TT=65.236	? (MO) TT=60.283	? (TO) TT=1803.33	Signal TT=0.036
primes/primes-20/ primes-20-80-2-1.xml	SAT TT=0.025	SAT TT=1.229 CHECKS=1010324 NODES=0	SAT TT=1.245 CHECKS=1010279 NODES=100	SAT TT=0.025	SAT TT=4.438 NODES=0	SAT TT=4.804 NODES=100	SAT TT=4.378 CHECKS=374 NODES=100	? (TO) TT=1800.1	SAT TT=13.921	SAT TT=9.912	Signal TT=0.026	SAT TT=60.406	? TT=379.98	? (MO) TT=124.12	Signal TT=0.026
primes/primes-20/ primes-20-80-2-3.xml	SAT TT=0.027	SAT TT=2.585 CHECKS=3921799 NODES=0	SAT TT=2.562 CHECKS=3878108 NODES=100	SAT TT=0.027	SAT TT=607.688 NODES=0	SAT TT=616.026 NODES=100	SAT TT=477.685 CHECKS=430955159 NODES=100	SAT TT=346.783	? (TO) TT=1800.03	? (TO) TT=1800.09	Signal TT=0.028	? (MO) TT=75.042	? (MO) TT=42.649	? (TO) TT=1802.22	Signal TT=0.034
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
primes/primes-20/ primes-20-80-2-5.xml	SAT TT=0.029	SAT TT=2.25 CHECKS=2849802 NODES=0	SAT TT=2.403 CHECKS=3184453 NODES=100	SAT TT=0.029	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.05	SAT TT=428.54	? (TO) TT=1800.07	? (TO) TT=1800.09	Signal TT=0.036	? (MO) TT=123.574	? (MO) TT=51.948	? (TO) TT=1801.75	Signal TT=0.037
primes/primes-20/ primes-20-80-2-7.xml	SAT TT=0.032	SAT TT=2.819 CHECKS=3352001 NODES=0	SAT TT=2.747 CHECKS=2889440 NODES=100	SAT TT=0.032	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.01	Signal TT=0.041	? (MO) TT=81.228	? (MO) TT=46.013	? (TO) TT=1804.32	Signal TT=0.037
primes/primes-20/ primes-20-80-3-1.xml	SAT TT=0.026	SAT TT=1.719 CHECKS=2039701 NODES=0	SAT TT=2.104 CHECKS=2704801 NODES=100	SAT TT=0.026	SAT TT=756.245 NODES=0	SAT TT=715.314 NODES=100	SAT TT=742.087 CHECKS=6384537 NODES=100	? (TO) TT=1800.12	SAT TT=507.077	SAT TT=471.863	Signal TT=0.03	? (MO) TT=62.253	? (MO) TT=42.361	? TT=932.648	Signal TT=0.033
primes/primes-20/ primes-20-80-3-3.xml	SAT TT=0.043	SAT TT=11.913 CHECKS=20196541 NODES=0	SAT TT=10.592 CHECKS=17372995 NODES=116	SAT TT=0.043	? (TO) TT=1800.01	? (TO) TT=0.005	SAT TT=1070.73 CHECKS=4338088968 NODES=100	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.01	Signal TT=0.036	? (MO) TT=74.917	? (MO) TT=42.659	? (TO) TT=1801.68	Signal TT=0.035
primes/primes-20/ primes-20-80-3-5.xml	SAT TT=144.365	? (TO) TT=1800.07	? (TO) TT=1800.13	SAT TT=144.365	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.1	Signal TT=0.043	? (MO) TT=68.873	? (MO) TT=44.626	? (TO) TT=1803.22	Signal TT=0.037
primes/primes-20/ primes-20-80-3-7.xml	SAT TT=18.505	SAT TT=30.285 CHECKS=48784328 NODES=580	SAT TT=18.505 CHECKS=28590388 NODES=204	SAT TT=20.232	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.09	Signal TT=0.044	? TT=84.941	? (MO) TT=47.197	? (TO) TT=1803.19	Signal TT=0.045
primes/primes-25/ primes-25-20-2-1.xml	SAT TT=0.02	SAT TT=3.574 CHECKS=6890444 NODES=0	SAT TT=3.423 CHECKS=6890444 NODES=100	SAT TT=0.02	SAT TT=3.076 NODES=100	SAT TT=3.348 NODES=100	SAT TT=2.961 CHECKS=1418 NODES=100	SAT TT=105.332	SAT TT=13.843	SAT TT=5.971	Signal TT=0.017	SAT TT=44.59	? TT=118.413	? (MO) TT=113.96	Signal TT=0.02
primes/primes-25/ primes-25-20-2-3.xml	SAT TT=0.024	SAT TT=15.695 CHECKS=26603064 NODES=0	SAT TT=28.378 CHECKS=47418310 NODES=135	SAT TT=0.024	? (TO) TT=1800	? (TO) TT=1800.05	Wrong Cert. TT=601.885 CHECKS=90598 NODES=100	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.05	Signal TT=0.018	? (MO) TT=50.804	? (MO) TT=41.623	? (TO) TT=1803.13	Signal TT=0.019
primes/primes-25/ primes-25-20-2-5.xml	SAT TT=0.023	? (TO) TT=1800.16	? (TO) TT=1800.07	SAT TT=0.023	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=0.005	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.08	Signal TT=0.021	? (MO) TT=67.476	? (MO) TT=41.67	? (TO) TT=1802.43	Signal TT=0.022
primes/primes-25/ primes-25-20-2-7.xml	SAT TT=0.024	? (TO) TT=1800.11	? (TO) TT=1800.07	SAT TT=0.024	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.15	? (TO) TT=1800.02	? (TO) TT=1800.07	Signal TT=0.022	? (MO) TT=66.115	? (MO) TT=48.903	? (TO) TT=1804.53	Signal TT=0.021
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
primes/primes-25/ primes-25-20-3-1.xml	SAT TT=0.02	SAT TT=82.993 CHECKS=149000400 NODES=0	SAT TT=43.806 CHECKS=78316167 NODES=167	SAT TT=0.02	SAT TT=943.173 NODES=101	SAT TT=1276.55 NODES=102	SAT TT=1257.45 CHECKS=1029664258 NODES=102	? (TO) TT=1800.07	SAT TT=539.745	SAT TT=518.441	Signal TT=0.021	? (MO) TT=70.622	? (MO) TT=43.894	? (TO) TT=1804.05	Signal TT=0.019
primes/primes-25/ primes-25-20-3-3.xml	SAT TT=0.024	SAT TT=56.382 CHECKS=103247035 NODES=193	SAT TT=13.063 CHECKS=21683479 NODES=105	SAT TT=0.024	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=0.004	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.05	Signal TT=0.021	? (MO) TT=95.12	? (MO) TT=42.974	? (TO) TT=1801.93	Signal TT=0.02
primes/primes-25/ primes-25-20-3-5.xml	SAT TT=0.026	? (TO) TT=1800.15	? (TO) TT=1800.05	SAT TT=0.026	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.06	Signal TT=0.021	? (MO) TT=62.654	? (MO) TT=45.633	? (TO) TT=1803.5	Signal TT=0.023
primes/primes-25/ primes-25-20-3-7.xml	SAT TT=0.034	? (TO) TT=1800.04	? (TO) TT=1800.1	SAT TT=0.034	? (TO) TT=1800.03	? (TO) TT=1800	? (TO) TT=0.006	? (TO) TT=1800.08	? (MO) TT=0.022	? (MO) TT=0.028	Signal TT=0.024	? TT=88.228	? (MO) TT=49.521	? (TO) TT=1802.65	Signal TT=0.025
primes/primes-25/ primes-25-40-2-1.xml	SAT TT=0.023	SAT TT=2.722 CHECKS=4662260 NODES=0	SAT TT=2.632 CHECKS=4662236 NODES=100	SAT TT=0.023	SAT TT=6.724 NODES=100	SAT TT=6.223 NODES=100	SAT TT=6.599 CHECKS=954 NODES=100	SAT TT=348.96	SAT TT=18.854	SAT TT=10.879	Signal TT=0.023	? (MO) TT=89.536	? (MO) TT=58.317	? TT=206.482	Signal TT=0.023
primes/primes-25/ primes-25-40-2-3.xml	SAT TT=0.062	SAT TT=73.954 CHECKS=132353206 NODES=246	SAT TT=16.797 CHECKS=31673118 NODES=142	SAT TT=0.062	? (TO) TT=1800.08	? (TO) TT=1800.03	Wrong Cert. TT=1099.03 CHECKS=619688472 NODES=100	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.03	Signal TT=0.029	? (MO) TT=119.804	? (MO) TT=43.218	? (TO) TT=1803.24	Signal TT=0.025
primes/primes-25/ primes-25-40-2-5.xml	SAT TT=0.027	SAT TT=1565.02 CHECKS=2403923284 NODES=4420	SAT TT=549.931 CHECKS=730029259 NODES=1049	SAT TT=0.027	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=0.005	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.06	Signal TT=0.026	? (MO) TT=86.21	? (MO) TT=41.685	? (TO) TT=1804.08	Signal TT=0.026
primes/primes-25/ primes-25-40-2-7.xml	SAT TT=44.497	? (TO) TT=1800.09	? (TO) TT=1800.09	SAT TT=44.497	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.01	Signal TT=0.029	? (MO) TT=88.854	? (MO) TT=47.362	? (TO) TT=1805.41	Signal TT=0.029
primes/primes-25/ primes-25-40-3-1.xml	SAT TT=0.024	SAT TT=7.168 CHECKS=13953470 NODES=0	SAT TT=6.377 CHECKS=13361462 NODES=102	SAT TT=0.024	SAT TT=1462.66 NODES=100	SAT TT=1443.58 NODES=100	SAT TT=1307.76 CHECKS=79341605 NODES=100	? (TO) TT=1800.11	SAT TT=855.74	SAT TT=890.669	Signal TT=0.024	? (MO) TT=56.856	? (MO) TT=41.798	? (TO) TT=1803.73	Signal TT=0.021
primes/primes-25/ primes-25-40-3-3.xml		? (TO) TT=1800.15	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.07	Signal TT=0.027	? (MO) TT=78.328	? (MO) TT=43.949	? (TO) TT=1800.99	Signal TT=0.027
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
primes/primes-25/ primes-25-40-3-5.xml		? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=0.005	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800	Signal TT=0.026	? (MO) TT=65.804	? (MO) TT=43.099	? (TO) TT=1803.01	Signal TT=0.033
primes/primes-25/ primes-25-40-3-7.xml		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.09	? (MO) TT=0.03	? (MO) TT=0.03	Signal TT=0.033	? TT=86.07	? (MO) TT=50.727	? (TO) TT=1801.76	Signal TT=0.031
primes/primes-25/ primes-25-60-2-1.xml	SAT TT=0.024	SAT TT=1.929 CHECKS=2399689 NODES=0	SAT TT=1.907 CHECKS=2399647 NODES=100	SAT TT=0.024	SAT TT=8.388 NODES=0	SAT TT=9.037 NODES=100	SAT TT=7.673 CHECKS=461 NODES=100	? (TO) TT=1800.06	SAT TT=22.957	SAT TT=14.642	Signal TT=0.025	? (MO) TT=67.122	? (MO) TT=61.57	? TT=1117.32	Signal TT=0.022
primes/primes-25/ primes-25-60-2-3.xml	SAT TT=0.025	SAT TT=6.75 CHECKS=12705225 NODES=0	SAT TT=6.536 CHECKS=13080831 NODES=100	SAT TT=0.025	? (TO) TT=1800.06	? (TO) TT=1800.1	Wrong Cert. TT=1189.91 CHECKS=58766113 NODES=100	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.06	Signal TT=0.03	? (MO) TT=64.638	? (MO) TT=41.874	? (TO) TT=1804.03	Signal TT=0.03
primes/primes-25/ primes-25-60-2-5.xml	SAT TT=0.028	SAT TT=4.823 CHECKS=7820536 NODES=0	SAT TT=6.192 CHECKS=10139380 NODES=100	SAT TT=0.028	? (TO) TT=0.007	? (TO) TT=0.004	? (TO) TT=0.006	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.01	Signal TT=0.028	? (MO) TT=103.17	? (MO) TT=44.175	? (TO) TT=1802.83	Signal TT=0.028
primes/primes-25/ primes-25-60-2-7.xml	SAT TT=197.024	SAT TT=197.024 CHECKS=241298330 NODES=609	SAT TT=357.845 CHECKS=411603580 NODES=983	? (TO) TT=1800.06	? (TO) TT=0.004	? (TO) TT=1800.05	? (TO) TT=0.003	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.05	Signal TT=0.034	? (MO) TT=122.687	? (MO) TT=47.351	? (TO) TT=1803.6	Signal TT=0.033
primes/primes-25/ primes-25-60-3-1.xml	SAT TT=0.025	SAT TT=7.805 CHECKS=15347046 NODES=0	SAT TT=7.186 CHECKS=14518971 NODES=100	SAT TT=0.025	? (TO) TT=0.004	? (TO) TT=0.006	? (TO) TT=0.005	? (TO) TT=1800.07	SAT TT=1338.76	SAT TT=1292.71	Signal TT=0.026	? (MO) TT=66.166	? (MO) TT=44.293	? (TO) TT=1803.28	Signal TT=0.027
primes/primes-25/ primes-25-60-3-3.xml	SAT TT=0.277	SAT TT=106.928 CHECKS=186131430 NODES=555	SAT TT=53.307 CHECKS=89627233 NODES=292	SAT TT=0.277	? (TO) TT=0.004	? (TO) TT=1800.05	? (TO) TT=0.004	? (TO) TT=1800.12	? (TO) TT=1800.03	? (TO) TT=1800.09	Signal TT=0.033	? (MO) TT=103.897	? (MO) TT=44.606	? (TO) TT=1803.44	Signal TT=0.029
primes/primes-25/ primes-25-60-3-5.xml		? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=0.005	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.06	Signal TT=0.036	? (MO) TT=63.3	? (MO) TT=43.873	? (TO) TT=1802.47	Signal TT=0.032
primes/primes-25/ primes-25-60-3-7.xml		? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.06	? (MO) TT=0.028	? (MO) TT=0.029	Signal TT=0.04	? TT=88.97	? (MO) TT=52.239	? (TO) TT=1803.79	Signal TT=0.038
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
primes/primes-25/ primes-25-80-2-1.xml	SAT TT=0.025	SAT TT=1.96 CHECKS=2392848 NODES=0	SAT TT=1.905 CHECKS=2392791 NODES=100	SAT TT=0.025	SAT TT=10.894 NODES=0	SAT TT=10.895 NODES=100	SAT TT=9.243 CHECKS=474 NODES=100	? (TO) TT=1800.06	SAT TT=26.87	SAT TT=18.162	Signal TT=0.027	? (MO) TT=73.716	? (MO) TT=17.794	? TT=341.57	Signal TT=0.028
primes/primes-25/ primes-25-80-2-3.xml	SAT TT=0.025	SAT TT=4.904 CHECKS=9260552 NODES=0	SAT TT=4.025 CHECKS=8162036 NODES=100	SAT TT=0.025	? (TO) TT=0.008	? (TO) TT=1800.06	Wrong Cert. TT=1321.09 CHECKS=12529972 NODES=100	SAT TT=1375.79	? (TO) TT=1800.09	? (TO) TT=1800.08	Signal TT=0.034	? (MO) TT=58.985	? (MO) TT=43.283	? (TO) TT=1804.13	Signal TT=0.03
primes/primes-25/ primes-25-80-2-5.xml	SAT TT=0.03	SAT TT=4.205 CHECKS=7528721 NODES=0	SAT TT=5.098 CHECKS=8258024 NODES=100	SAT TT=0.03	? (TO) TT=0.005	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.08	Signal TT=0.036	? (MO) TT=71.02	? (MO) TT=45.617	? (TO) TT=1803.18	Signal TT=0.037
primes/primes-25/ primes-25-80-2-7.xml	SAT TT=0.034	SAT TT=3.7 CHECKS=5812170 NODES=0	SAT TT=5.266 CHECKS=7429355 NODES=100	SAT TT=0.034	? (TO) TT=0.005	? (TO) TT=1800.01	? (TO) TT=0.003	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.01	Signal TT=0.042	? (MO) TT=97.315	? (MO) TT=49.188	? (TO) TT=1804.02	Signal TT=0.033
primes/primes-25/ primes-25-80-3-1.xml	SAT TT=0.027	SAT TT=3.074 CHECKS=5236707 NODES=0	SAT TT=4.099 CHECKS=7002752 NODES=100	SAT TT=0.027	? (TO) TT=0.007	? (TO) TT=1800.1	? (TO) TT=0.003	? (TO) TT=1800.08	SAT TT=1738.04	SAT TT=1747.5	Signal TT=0.03	? (MO) TT=69.049	? (MO) TT=44.438	? (TO) TT=1803.2	Signal TT=0.031
primes/primes-25/ primes-25-80-3-3.xml	SAT TT=0.032	SAT TT=6.256 CHECKS=12135334 NODES=0	SAT TT=7.377 CHECKS=13917934 NODES=102	SAT TT=0.032	? (TO) TT=1800.04	? (TO) TT=0.005	? (TO) TT=0.006	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.03	Signal TT=0.036	? (MO) TT=89.661	? (MO) TT=45.109	? (TO) TT=1800.12	Signal TT=0.032
primes/primes-25/ primes-25-80-3-5.xml	SAT TT=40.973	? (TO) TT=1800.09	? (TO) TT=1800.1	SAT TT=40.973	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=0.006	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.02	Signal TT=0.038	? (MO) TT=64.189	? (MO) TT=44.451	? (TO) TT=1802.41	Signal TT=0.04
primes/primes-25/ primes-25-80-3-7.xml		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=0.006	? (TO) TT=1800.07	? (MO) TT=0.028	? (MO) TT=0.028	Signal TT=0.044	? TT=87.427	? (MO) TT=50.552	? (TO) TT=1802.31	Signal TT=0.045
primes/primes-30/ primes-30-20-2-1.xml	SAT TT=0.02	SAT TT=5.724 CHECKS=12095286 NODES=0	SAT TT=5.773 CHECKS=12079971 NODES=100	SAT TT=0.02	SAT TT=4.818 NODES=100	SAT TT=5.408 NODES=100	SAT TT=4.569 CHECKS=2503 NODES=100	SAT TT=75.42	SAT TT=17.549	SAT TT=7.513	Signal TT=0.018	? (MO) TT=55.602	? (MO) TT=38.733	? TT=184.202	Signal TT=0.018
primes/primes-30/ primes-30-20-2-3.xml	SAT TT=0.024	SAT TT=40.753 CHECKS=72900019 NODES=4924	SAT TT=44.011 CHECKS=75457760 NODES=5168	SAT TT=0.024	? (TO) TT=1800.1	? (TO) TT=1800	SAT TT=1428.93 CHECKS=3533964752 NODES=113	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.02	Signal TT=0.021	? (MO) TT=74.202	? (MO) TT=42.569	? (TO) TT=1804.09	Signal TT=0.019
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
primes/primes-30/ primes-30-20-2-5.xml	SAT TT=0.024	? (TO) TT=1800.08	? (TO) TT=1800.12	SAT TT=0.024	? (TO) TT=0.003	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.08	Signal TT=0.021	? (MO) TT=84.522	? (MO) TT=44.639	? (TO) TT=1803.2	Signal TT=0.024
primes/primes-30/ primes-30-20-2-7.xml	SAT TT=0.021	? (TO) TT=1800.13	? (TO) TT=1800.14	SAT TT=0.021	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.03	Signal TT=0.021	? (MO) TT=128.927	? (MO) TT=2.157	? (TO) TT=1803.69	Signal TT=0.025
primes/primes-30/ primes-30-20-3-1.xml	SAT TT=0.023	SAT TT=78.445 CHECKS=141866976 NODES=10852	SAT TT=93.194 CHECKS=171752283 NODES=12699	SAT TT=0.023	SAT TT=1639.56 NODES=129	? (TO) TT=1800	? (TO) TT=0.004	? (TO) TT=1800.04	SAT TT=993.735	SAT TT=887.199	Signal TT=0.021	? (MO) TT=66.678	? (MO) TT=39.881	? (TO) TT=1803.04	Signal TT=0.021
primes/primes-30/ primes-30-20-3-3.xml	SAT TT=0.021	? (TO) TT=1800.12	? (TO) TT=1800.13	SAT TT=0.021	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=0.004	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.06	Signal TT=0.017	? (MO) TT=66.701	? (MO) TT=42.483	? (TO) TT=1804.35	Signal TT=0.018
primes/primes-30/ primes-30-20-3-5.xml	SAT TT=0.024	? (TO) TT=1800.12	SAT TT=106.887 CHECKS=138282637 NODES=11017	SAT TT=0.024	? (TO) TT=0.005	? (TO) TT=1800.01	? (TO) TT=0.006	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.04	Signal TT=0.021	? (MO) TT=54.709	? (MO) TT=42.637	? (TO) TT=1804.76	Signal TT=0.022
primes/primes-30/ primes-30-20-3-7.xml	SAT TT=0.026	? (TO) TT=1800.08	? (TO) TT=1800.08	SAT TT=0.026	? (TO) TT=1800.03	? (TO) TT=0.004	? (TO) TT=1800.03	? (TO) TT=1800.05	? (MO) TT=0.029	? (MO) TT=0.026	Signal TT=0.023	? TT=84.88	? (MO) TT=47.496	? (TO) TT=1803.31	Signal TT=0.024
primes/primes-30/ primes-30-40-2-1.xml	SAT TT=0.023	SAT TT=4.573 CHECKS=8925474 NODES=0	SAT TT=4.276 CHECKS=8925454 NODES=100	SAT TT=0.023	SAT TT=9.511 NODES=100	SAT TT=9.898 NODES=100	SAT TT=9.195 CHECKS=1392 NODES=100	SAT TT=568.793	SAT TT=25.107	SAT TT=15.051	Signal TT=0.025	? (MO) TT=99.477	? (MO) TT=36.497	? TT=1309.76	Signal TT=0.019
primes/primes-30/ primes-30-40-2-3.xml	SAT TT=0.431	SAT TT=144.326 CHECKS=235238255 NODES=35120	SAT TT=299.646 CHECKS=522319628 NODES=42673	SAT TT=0.431	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.01	Signal TT=0.026	? (MO) TT=53.187	? (MO) TT=2.269	? (TO) TT=1802.77	Signal TT=0.025
primes/primes-30/ primes-30-40-2-5.xml	SAT TT=0.038	? (TO) TT=1800.07	? (TO) TT=1800.13	SAT TT=0.038	? (TO) TT=1800.01	? (TO) TT=0.004	? (TO) TT=0.005	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.07	Signal TT=0.025	? TT=118.626	? (MO) TT=43.688	? (TO) TT=1803.28	Signal TT=0.024
primes/primes-30/ primes-30-40-2-7.xml		? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=0.004	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.08	Signal TT=0.025	? (MO) TT=2.24	? (MO) TT=2.214	? (TO) TT=1802.72	Signal TT=0.027
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
primes/primes-30/ primes-30-40-3-1.xml	SAT TT=0.023	SAT TT=7.127 CHECKS=14806307 NODES=120	SAT TT=7.22 CHECKS=14721571 NODES=138	SAT TT=0.023	? (TO) TT=0.005	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.03	SAT TT=1553.06	SAT TT=1513.27	Signal TT=0.024	? (MO) TT=43.302	? (MO) TT=40.877	? (TO) TT=1801.54	Signal TT=0.024
primes/primes-30/ primes-30-40-3-3.xml	SAT TT=16.94	? (TO) TT=1800.06	? (TO) TT=1800.03	SAT TT=16.94	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.01	Signal TT=0.024	? (MO) TT=95.946	? (MO) TT=43.269	? (TO) TT=1803.65	Signal TT=0.028
primes/primes-30/ primes-30-40-3-5.xml		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=0.004	? (TO) TT=0.005	? (TO) TT=0.004	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.05	Signal TT=0.026	? (MO) TT=57.436	? (MO) TT=41.195	? (TO) TT=1802.83	Signal TT=0.028
primes/primes-30/ primes-30-40-3-7.xml		? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.01	? (TO) TT=0.004	? (TO) TT=1800.03	? (TO) TT=0.005	? (TO) TT=1800.13	? (MO) TT=0.028	? (MO) TT=0.027	Signal TT=0.034	? (MO) TT=75.994	? (MO) TT=48.98	? (TO) TT=1803.24	Signal TT=0.032
primes/primes-30/ primes-30-60-2-1.xml	SAT TT=0.023	SAT TT=2.3 CHECKS=3362122 NODES=0	SAT TT=2.333 CHECKS=3362087 NODES=100	SAT TT=0.023	SAT TT=13.456 NODES=0	SAT TT=13.818 NODES=100	SAT TT=12.306 CHECKS=440 NODES=100	? (TO) TT=1800.07	SAT TT=29.759	SAT TT=19.89	Signal TT=0.025	? (MO) TT=261.242	? (MO) TT=19.255	? TT=949.18	Signal TT=0.027
primes/primes-30/ primes-30-60-2-3.xml	SAT TT=0.027	SAT TT=7.294 CHECKS=15980753 NODES=101	SAT TT=6.994 CHECKS=15837409 NODES=101	SAT TT=0.027	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.02	Signal TT=0.029	? (MO) TT=57.844	? (MO) TT=38.712	? (TO) TT=1802.9	Signal TT=0.028
primes/primes-30/ primes-30-60-2-5.xml	SAT TT=0.028	SAT TT=2.419 CHECKS=3697410 NODES=0	SAT TT=2.564 CHECKS=3715092 NODES=101	SAT TT=0.028	? (TO) TT=0.004	? (TO) TT=1800.01	? (TO) TT=0.004	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.01	Signal TT=0.03	? (MO) TT=82.314	? (MO) TT=5.454	? (TO) TT=1803.85	Signal TT=0.031
primes/primes-30/ primes-30-60-2-7.xml	SAT TT=42.411	SAT TT=84.492 CHECKS=140466650 NODES=15994	SAT TT=299.138 CHECKS=485484112 NODES=43908	SAT TT=42.411	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=0.004	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.09	Signal TT=0.035	? (MO) TT=126.624	? (MO) TT=5.168	? (TO) TT=1803.55	Signal TT=0.036
primes/primes-30/ primes-30-60-3-1.xml	SAT TT=0.026	SAT TT=5.959 CHECKS=13107711 NODES=100	SAT TT=5.718 CHECKS=12910991 NODES=100	SAT TT=0.026	? (TO) TT=0.004	? (TO) TT=1800.04	? (TO) TT=0.003	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.06	Signal TT=0.028	? (MO) TT=53.956	? (MO) TT=42.656	? (TO) TT=1804.11	Signal TT=0.029
primes/primes-30/ primes-30-60-3-3.xml	SAT TT=0.785	SAT TT=12.097 CHECKS=22700248 NODES=1609	SAT TT=13.421 CHECKS=23710328 NODES=1488	SAT TT=0.785	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=0.006	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.03	Signal TT=0.03	? (MO) TT=82.002	? (MO) TT=50.014	? (TO) TT=1802.75	Signal TT=0.031
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
primes/primes-30/ primes-30-60-3-5.xml		? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=0.004	? (TO) TT=0.004	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.07	Signal TT=0.035	? (MO) TT=53.544	? (MO) TT=43.929	? (TO) TT=1803.65	Signal TT=0.034
primes/primes-30/ primes-30-60-3-7.xml		? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=0.005	? (TO) TT=1800.05	? (MO) TT=0.031	? (MO) TT=0.028	Signal TT=0.038	? (MO) TT=70.404	? (MO) TT=48.362	? (TO) TT=1804.55	Signal TT=0.036
primes/primes-30/ primes-30-80-2-1.xml	SAT TT=0.024	SAT TT=2.214 CHECKS=3343766 NODES=0	SAT TT=2.231 CHECKS=3343715 NODES=100	SAT TT=0.024	SAT TT=17.445 NODES=0	SAT TT=16.19 NODES=100	SAT TT=14.313 CHECKS=466 NODES=100	? (TO) TT=1800.07	SAT TT=35.812	SAT TT=24.385	Signal TT=0.025	? TT=283.208	? (MO) TT=17.748	? (TO) TT=1804.31	Signal TT=0.029
primes/primes-30/ primes-30-80-2-3.xml	SAT TT=0.028	SAT TT=6.427 CHECKS=13073542 NODES=0	SAT TT=5.911 CHECKS=12997016 NODES=100	SAT TT=0.028	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=0.004	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.09	Signal TT=0.04	? (MO) TT=75.996	? (MO) TT=42.084	? (TO) TT=1804.59	Signal TT=0.029
primes/primes-30/ primes-30-80-2-5.xml	SAT TT=0.028	SAT TT=2.473 CHECKS=3624138 NODES=0	SAT TT=2.44 CHECKS=3612086 NODES=100	SAT TT=0.028	? (TO) TT=0.005	? (TO) TT=0.006	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.1	Signal TT=0.039	? (MO) TT=62.736	? (MO) TT=43.748	? (TO) TT=1804	Signal TT=0.037
primes/primes-30/ primes-30-80-2-7.xml	SAT TT=0.032	SAT TT=3.248 CHECKS=5028877 NODES=0	SAT TT=3.065 CHECKS=5071541 NODES=100	SAT TT=0.032	? (TO) TT=1800.06	? (TO) TT=0.007	? (TO) TT=0.004	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.09	Signal TT=0.039	? (MO) TT=2.29	? (MO) TT=2.854	? (TO) TT=1804.48	Signal TT=0.04
primes/primes-30/ primes-30-80-3-1.xml	SAT TT=0.025	SAT TT=4.295 CHECKS=9001966 NODES=0	SAT TT=4.365 CHECKS=8990296 NODES=100	SAT TT=0.025	? (TO) TT=1800.03	? (TO) TT=0.004	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.04	Signal TT=0.03	? (MO) TT=72.928	? (MO) TT=42.909	? (TO) TT=1803.18	Signal TT=0.029
primes/primes-30/ primes-30-80-3-3.xml	SAT TT=1.845	SAT TT=6.363 CHECKS=12798518 NODES=151	SAT TT=6.049 CHECKS=12374539 NODES=128	SAT TT=1.845	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.01	Signal TT=0.035	? (MO) TT=62.724	? (MO) TT=42.586	? (TO) TT=1804.77	Signal TT=0.038
primes/primes-30/ primes-30-80-3-5.xml		? (TO) TT=1800.06	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=0.006	? (TO) TT=0.003	? (TO) TT=0.004	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.01	Signal TT=0.041	? (MO) TT=56.392	? (MO) TT=43.695	? (TO) TT=1801.98	Signal TT=0.04
primes/primes-30/ primes-30-80-3-7.xml	SAT TT=101.677	SAT TT=101.677 CHECKS=179451113 NODES=16776	SAT TT=1090.35 CHECKS=1628607005 NODES=114928	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=0.005	? (TO) TT=0.006	? (TO) TT=1800.1	? (MO) TT=0.03	? (MO) TT=0.027	Signal TT=0.048	? (MO) TT=83.374	? (MO) TT=48.659	? (TO) TT=1803.63	Signal TT=0.044

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	114	113	135	58	54	0	47	45	45	0	10	0	19	0
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time)	2	2	133	0	0	0	0	0	0	0	0	0	0	0