SAT 2009 Competition: multithread track: results by benchmark

Results by benchmark for category random instances (RANDOM)

This page displays the results of the different solvers for each benchmark for category random instances (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:
gNovelty+-T 2009-03-22 (16 threads) (incomplete)
gNovelty+-T 2009-03-22 (4 threads) (incomplete)

Bench name	Best results on this instance	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf		? (TO) TT=5000.55	? (TO) TT=3753.16
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT TT=2000.9	? (TO) TT=5001.09	SAT TT=2000.9
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT TT=242.8	? (TO) TT=5001.14	SAT TT=242.8
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT TT=93.08	? (TO) TT=5000.94	SAT TT=93.08
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT TT=1310.41	? (TO) TT=5000.96	SAT TT=1310.41
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT TT=1713.88	? (TO) TT=5001.07	SAT TT=1713.88
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT TT=425.38	? (TO) TT=5001.27	SAT TT=425.38
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT TT=107.37	? (TO) TT=5000.78	SAT TT=107.37
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT TT=970.76	? (TO) TT=5001.13	SAT TT=970.76
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf		? (TO) TT=5001.71	? (TO) TT=3803.4
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/ 12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT TT=1234.03	? (TO) TT=5000.62	SAT TT=1234.03
RANDOM/LARGE/3SAT/UNKNOWN/ 12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf		? (TO) TT=5001.22	? (TO) TT=3799
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	SAT TT=2550.81	? (TO) TT=5000.91	SAT TT=2550.81
RANDOM/LARGE/3SAT/UNKNOWN/ 12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT TT=1537.26	? (TO) TT=5000.35	SAT TT=1537.26
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf		? (TO) TT=5000.82	? (TO) TT=3821.73
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT TT=412.86	? (TO) TT=5000.43	SAT TT=412.86
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT TT=2194.22	? (TO) TT=5001.11	SAT TT=2194.22
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf		? (TO) TT=5001.4	? (TO) TT=3818.64
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf		? (TO) TT=5001.77	? (TO) TT=3813.84
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf		? (TO) TT=5000.25	? (TO) TT=3805.28
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf		? (TO) TT=5000.6	? (TO) TT=3839.74
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf		? (TO) TT=5000.85	? (TO) TT=3815.96
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf		? (TO) TT=5000.09	? (TO) TT=3813.87
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf		? (TO) TT=5000.88	? (TO) TT=3811.93
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT TT=1087.21	? (TO) TT=5000.76	SAT TT=1087.21
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf		? (TO) TT=5000.48	? (TO) TT=3816.9
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT TT=2790.68	? (TO) TT=5001.32	SAT TT=2790.68
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT TT=696.79	? (TO) TT=5001.11	SAT TT=696.79
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf		? (TO) TT=5000.98	? (TO) TT=3822.3
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf		? (TO) TT=5000.84	? (TO) TT=3814.94
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf		? (TO) TT=5000.27	? (TO) TT=3846.43
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT TT=2775.88	? (TO) TT=5001.3	SAT TT=2775.88
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	SAT TT=3782.73	? (TO) TT=5000.53	SAT TT=3782.73
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT TT=636.08	? (TO) TT=5000.76	SAT TT=636.08
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT TT=2588.17	? (TO) TT=5001.38	SAT TT=2588.17
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf		? (TO) TT=5000.53	? (TO) TT=3820.49
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT TT=3332.52	? (TO) TT=5001.18	SAT TT=3332.52
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf		? (TO) TT=5000.27	? (TO) TT=3828.28
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf		? (TO) TT=5001.42	? (TO) TT=3822.15
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	SAT TT=2682.81	? (TO) TT=5001.58	SAT TT=2682.81
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	SAT TT=2543.59	? (TO) TT=5000.36	SAT TT=2543.59
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf		? (TO) TT=5000.61	? (TO) TT=3839.48
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf		? (TO) TT=5000.42	? (TO) TT=3842.22
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	SAT TT=1174.46	? (TO) TT=5001.14	SAT TT=1174.46
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf		? (TO) TT=5001.4	? (TO) TT=3838.24
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf		? (TO) TT=5000.49	? (TO) TT=3826.62
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf		? (TO) TT=5001.39	? (TO) TT=3803.98
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf		? (TO) TT=5001.77	? (TO) TT=3819.28
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf		? (TO) TT=5001.37	? (TO) TT=3830.24
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT TT=1158.32	? (TO) TT=5000.72	SAT TT=1158.32
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT TT=1.7	SAT TT=76.71	SAT TT=1.7
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT TT=5.83	SAT TT=65.84	SAT TT=5.83
RANDOM/LARGE/3SAT/UNKNOWN/ 2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT TT=3.97	SAT TT=75.58	SAT TT=3.97
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT TT=2.81	SAT TT=69.85	SAT TT=2.81
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT TT=67.77	SAT TT=797.86	SAT TT=67.77
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT TT=2.34	SAT TT=62.71	SAT TT=2.34
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT TT=16.03	SAT TT=136.55	SAT TT=16.03
RANDOM/LARGE/3SAT/UNKNOWN/ 2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT TT=2.34	SAT TT=49.87	SAT TT=2.34
RANDOM/LARGE/3SAT/UNKNOWN/ 2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT TT=3.81	SAT TT=150.39	SAT TT=3.81
RANDOM/LARGE/3SAT/UNKNOWN/ 2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT TT=28.69	SAT TT=275.4	SAT TT=28.69
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT TT=59.68	SAT TT=556.09	SAT TT=59.68
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT TT=13.78	SAT TT=576.62	SAT TT=13.78
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT TT=68.48	SAT TT=779.8	SAT TT=68.48
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT TT=20.56	SAT TT=1021.86	SAT TT=20.56
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	SAT TT=3064.24	? (TO) TT=5001.4	SAT TT=3064.24
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT TT=3.27	SAT TT=429.85	SAT TT=3.27
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT TT=173.2	SAT TT=1624.55	SAT TT=173.2
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT TT=7.13	SAT TT=377.92	SAT TT=7.13
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT TT=50.57	SAT TT=759.43	SAT TT=50.57
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT TT=25.66	SAT TT=926.94	SAT TT=25.66
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT TT=262.95	SAT TT=1195.03	SAT TT=262.95
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT TT=28.7	SAT TT=2153.19	SAT TT=28.7
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT TT=504.72	? (TO) TT=5000.4	SAT TT=504.72
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT TT=25.15	SAT TT=1960.97	SAT TT=25.15
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT TT=299.17	SAT TT=4060.6	SAT TT=299.17
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT TT=864.34	? (TO) TT=5000.73	SAT TT=864.34
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT TT=213.43	SAT TT=4344	SAT TT=213.43
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT TT=294.1	? (TO) TT=5000.69	SAT TT=294.1
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT TT=137.43	SAT TT=1394.16	SAT TT=137.43
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT TT=3415.54	? (TO) TT=5000.62	SAT TT=3415.54
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT TT=458.41	? (TO) TT=5000.66	SAT TT=458.41
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT TT=449.96	? (TO) TT=5000.8	SAT TT=449.96
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT TT=130.94	SAT TT=4249.94	SAT TT=130.94
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	SAT TT=2816.42	? (TO) TT=5001.34	SAT TT=2816.42
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT TT=403.51	? (TO) TT=5001.22	SAT TT=403.51
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT TT=163.86	? (TO) TT=5000.3	SAT TT=163.86
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT TT=173.16	? (TO) TT=5001.08	SAT TT=173.16
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT TT=47.41	SAT TT=2269.61	SAT TT=47.41
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT TT=1160.49	? (TO) TT=5001.31	SAT TT=1160.49
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT TT=523.14	? (TO) TT=5000.34	SAT TT=523.14
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf		? (TO) TT=5000.41	? (TO) TT=3877.83
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf		? (TO) TT=5000.57	? (TO) TT=3881.4
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf		? (TO) TT=5001.26	? (TO) TT=3870.11
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf		? (TO) TT=5000.32	? (TO) TT=3937.24
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf		? (TO) TT=5001.56	? (TO) TT=3896.23
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf		? (TO) TT=5000.55	? (TO) TT=3873.25
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf		? (TO) TT=5000.47	? (TO) TT=3868.44
RANDOM/LARGE/5SAT/UNKNOWN/ 1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf		? (TO) TT=5000.68	? (TO) TT=3893.95
RANDOM/LARGE/5SAT/UNKNOWN/ 1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf		? (TO) TT=5000.77	? (TO) TT=3876.66
RANDOM/LARGE/5SAT/UNKNOWN/ 1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf		? (TO) TT=5001.51	? (TO) TT=3882.38
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf		? (TO) TT=5000.43	? (TO) TT=3875.62
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf		? (TO) TT=5000.74	? (TO) TT=3875.85
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf		? (TO) TT=5001	? (TO) TT=3889.07
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf		? (TO) TT=5001.5	? (TO) TT=3874.92
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf		? (TO) TT=5000.45	? (TO) TT=3876.75
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT TT=2939.08	? (TO) TT=5001.62	SAT TT=2939.08
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf		? (TO) TT=5000.32	? (TO) TT=3953.85
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	SAT TT=3041.24	? (TO) TT=5000.4	SAT TT=3041.24
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf		? (TO) TT=5000.38	? (TO) TT=3889.28
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf		? (TO) TT=5000.54	? (TO) TT=3877.7
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT TT=1.75	SAT TT=3678.71	SAT TT=1.75
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT TT=81.86	SAT TT=222.1	SAT TT=81.86
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT TT=1358.47	? (TO) TT=5000.91	SAT TT=1358.47
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT TT=950.88	? (TO) TT=5001.77	SAT TT=950.88
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT TT=280.86	? (TO) TT=5001.53	SAT TT=280.86
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT TT=245.5	? (TO) TT=5001.23	SAT TT=245.5
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT TT=223.86	? (TO) TT=5000.68	SAT TT=223.86
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT TT=274.22	SAT TT=4460.51	SAT TT=274.22
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT TT=30.32	SAT TT=2563.01	SAT TT=30.32
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT TT=342.87	? (TO) TT=5000.72	SAT TT=342.87
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT TT=1645.22	? (TO) TT=5001.54	SAT TT=1645.22
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf		? (TO) TT=5001.25	? (TO) TT=3878.59
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf		? (TO) TT=5000.95	? (TO) TT=3891.24
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT TT=2146.67	? (TO) TT=5000.86	SAT TT=2146.67
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf		? (TO) TT=5000.81	? (TO) TT=3889.67
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf		? (TO) TT=5000.9	? (TO) TT=3882.9
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf		? (TO) TT=5001.65	? (TO) TT=3872.1
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT TT=841.44	SAT TT=1189.84	SAT TT=841.44
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S251246256-047.cnf		? (TO) TT=5001.2	? (TO) TT=3873.37
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S315403000-060.cnf		? (TO) TT=5000.8	? (TO) TT=3870.84
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf		? (TO) TT=5000.53	? (TO) TT=3885.38
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT TT=1974.96	? (TO) TT=5000.3	SAT TT=1974.96
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf		? (TO) TT=5001.58	? (TO) TT=3864.04
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf		? (TO) TT=5000.65	? (TO) TT=3865.77
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf		? (TO) TT=5000.67	? (TO) TT=3889.97
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf		? (TO) TT=5001.06	? (TO) TT=3877.13
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT TT=150.25	? (TO) TT=5001.68	SAT TT=150.25
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S661850551-087.cnf		? (TO) TT=5000.2	? (TO) TT=3944.17
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S678706275-057.cnf		? (TO) TT=5001.09	? (TO) TT=3883.38
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S743448446-027.cnf		? (TO) TT=5000.59	? (TO) TT=3876.47
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT TT=183.49	SAT TT=492.94	SAT TT=183.49
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf		? (TO) TT=5001.31	? (TO) TT=3884.01
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT TT=209.29	SAT TT=880.36	SAT TT=209.29
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT TT=483.55	SAT TT=4672.98	SAT TT=483.55
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT TT=162.08	SAT TT=957.42	SAT TT=162.08
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT TT=180.34	SAT TT=873.45	SAT TT=180.34
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT TT=1037.96	SAT TT=1569.59	SAT TT=1037.96
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT TT=209.68	SAT TT=455.86	SAT TT=209.68
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT TT=794.17	SAT TT=1657.91	SAT TT=794.17
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT TT=47.61	? (TO) TT=5001.13	SAT TT=47.61
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT TT=1107.66	? (TO) TT=5001.44	SAT TT=1107.66
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT TT=1682.68	SAT TT=2898.62	SAT TT=1682.68
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT TT=4483.86	SAT TT=4483.86	? (TO) TT=3880.68
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf		? (TO) TT=5000.23	? (TO) TT=3909.67
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S285713182-059.cnf		? (TO) TT=5000.35	? (TO) TT=3877.37
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S327274323-044.cnf		? (TO) TT=5001.58	? (TO) TT=3879.81
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	SAT TT=2124.75	? (TO) TT=5000.51	SAT TT=2124.75
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT TT=1176.34	? (TO) TT=5001.39	SAT TT=1176.34
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	SAT TT=1725.16	? (TO) TT=5000.68	SAT TT=1725.16
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT TT=2725.48	? (TO) TT=5001.67	SAT TT=2725.48
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf		? (TO) TT=5000.25	? (TO) TT=3864.22
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf		? (TO) TT=5001.51	? (TO) TT=3894.1
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	SAT TT=2500	? (TO) TT=5000.45	SAT TT=2500
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	SAT TT=2561.64	? (TO) TT=5001.15	SAT TT=2561.64
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	SAT TT=2323.62	? (TO) TT=5000.97	SAT TT=2323.62
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf		? (TO) TT=5001.47	? (TO) TT=3878.42
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf		? (TO) TT=5001.58	? (TO) TT=3860.22
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf		? (TO) TT=5001.26	? (TO) TT=3843.33
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	SAT TT=785.83	? (TO) TT=5001.05	SAT TT=785.83
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S956556686-037.cnf		? (TO) TT=5000.74	? (TO) TT=3877.81
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf		? (TO) TT=5000.67	? (TO) TT=3988.56
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf		? (TO) TT=5001.55	? (TO) TT=3886.98
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf		? (TO) TT=5000.78	? (TO) TT=3870.11
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf		? (TO) TT=5000.79	? (TO) TT=3867.89
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S266028630-005.cnf		? (TO) TT=5001.33	? (TO) TT=3987.09
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S441484366-048.cnf		? (TO) TT=5001.48	? (TO) TT=3989.1
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S452919966-071.cnf		? (TO) TT=5000.23	? (TO) TT=3885.47
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S522321670-058.cnf		? (TO) TT=5000.21	? (TO) TT=3887.99
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S942507261-096.cnf		? (TO) TT=5000.84	? (TO) TT=3849.29
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S948914005-013.cnf		? (TO) TT=5000.49	? (TO) TT=3861.35
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf		? (TO) TT=5001.19	? (TO) TT=3858.27
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf		? (TO) TT=5001.74	? (TO) TT=3885.23
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf		? (TO) TT=5000.97	? (TO) TT=3893.7
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf		? (TO) TT=5001.46	? (TO) TT=3867.34
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S193214747-044.cnf		? (TO) TT=5001.54	? (TO) TT=3850.18
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf		? (TO) TT=5000.51	? (TO) TT=3988.88
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf		? (TO) TT=5000.52	? (TO) TT=3880.97
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S318878687-017.cnf		? (TO) TT=5000.18	? (TO) TT=3869.62
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S375588147-050.cnf		? (TO) TT=5000.77	? (TO) TT=3875.45
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S886725553-011.cnf		? (TO) TT=5000.51	? (TO) TT=3870.27
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT TT=0.1	SAT TT=4.588	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT TT=0.1	SAT TT=1.648	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT TT=0.89	SAT TT=2.152	SAT TT=0.89
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT TT=0.09	SAT TT=0.76	SAT TT=0.09
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT TT=1.37	SAT TT=1.424	SAT TT=1.37
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT TT=0.19	SAT TT=1.36	SAT TT=0.19
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT TT=0.1	SAT TT=0.344	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT TT=0.1	SAT TT=0.36	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT TT=1.71	SAT TT=22.39	SAT TT=1.71
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT TT=0.13	SAT TT=2.164	SAT TT=0.13
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT TT=0.11	SAT TT=0.544	SAT TT=0.11
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT TT=0.09	SAT TT=6.564	SAT TT=0.09
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT TT=0.09	SAT TT=0.352	SAT TT=0.09
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT TT=0.11	SAT TT=0.5	SAT TT=0.11
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT TT=0.57	SAT TT=20.149	SAT TT=0.57
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT TT=0.09	SAT TT=1.644	SAT TT=0.09
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT TT=0.09	SAT TT=0.752	SAT TT=0.09
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT TT=0.22	SAT TT=6.52	SAT TT=0.22
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT TT=0.1	SAT TT=0.956	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT TT=5.31	SAT TT=23.33	SAT TT=5.31
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT TT=0.09	SAT TT=1.16	SAT TT=0.09
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT TT=5.03	SAT TT=6.1	SAT TT=5.03
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT TT=0.86	SAT TT=6.792	SAT TT=0.86
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT TT=0.18	SAT TT=1.52	SAT TT=0.18
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT TT=0.13	SAT TT=2.704	SAT TT=0.13
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT TT=0.1	SAT TT=0.84	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT TT=0.43	SAT TT=9.997	SAT TT=0.43
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT TT=12.14	SAT TT=23.618	SAT TT=12.14
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT TT=0.38	SAT TT=10.697	SAT TT=0.38
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT TT=0.13	SAT TT=2.908	SAT TT=0.13
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT TT=1.13	SAT TT=5.192	SAT TT=1.13
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT TT=0.1	SAT TT=0.624	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT TT=0.12	SAT TT=2.5	SAT TT=0.12
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT TT=0.24	SAT TT=0.74	SAT TT=0.24
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT TT=1.65	SAT TT=19.44	SAT TT=1.65
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT TT=1.484	SAT TT=1.484	SAT TT=2.61
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT TT=0.1	SAT TT=1.432	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT TT=0.1	SAT TT=0.98	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT TT=0.14	SAT TT=2.216	SAT TT=0.14
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT TT=0.11	SAT TT=0.904	SAT TT=0.11
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT TT=0.25	SAT TT=25.778	SAT TT=0.25
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT TT=2.33	SAT TT=23.446	SAT TT=2.33
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT TT=0.18	SAT TT=1.98	SAT TT=0.18
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT TT=0.1	SAT TT=3.144	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT TT=0.12	SAT TT=1.52	SAT TT=0.12
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT TT=0.36	SAT TT=4.692	SAT TT=0.36
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT TT=0.1	SAT TT=0.572	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT TT=0.1	SAT TT=1.332	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT TT=1.76	SAT TT=7.985	SAT TT=1.76
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT TT=0.13	SAT TT=0.396	SAT TT=0.13
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT TT=1.75	SAT TT=44.14	SAT TT=1.75
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT TT=0.59	SAT TT=13.845	SAT TT=0.59
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT TT=0.18	SAT TT=2.28	SAT TT=0.18
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT TT=0.09	SAT TT=4.068	SAT TT=0.09
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT TT=0.11	SAT TT=0.276	SAT TT=0.11
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT TT=0.64	SAT TT=3.684	SAT TT=0.64
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT TT=0.87	SAT TT=8.745	SAT TT=0.87
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT TT=1.03	SAT TT=3.028	SAT TT=1.03
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT TT=0.1	SAT TT=0.92	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT TT=0.69	SAT TT=6.08	SAT TT=0.69
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT TT=0.14	SAT TT=2.08	SAT TT=0.14
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT TT=0.59	SAT TT=4.236	SAT TT=0.59
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT TT=0.72	SAT TT=59.344	SAT TT=0.72
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT TT=22.58	SAT TT=102.28	SAT TT=22.58
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT TT=0.11	SAT TT=4.032	SAT TT=0.11
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT TT=0.16	SAT TT=6.38	SAT TT=0.16
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT TT=5.8	SAT TT=17.933	SAT TT=5.8
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT TT=0.37	SAT TT=6.69	SAT TT=0.37
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT TT=0.1	SAT TT=1.544	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT TT=0.13	SAT TT=0.616	SAT TT=0.13
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT TT=1.3	SAT TT=18.72	SAT TT=1.3
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT TT=0.47	SAT TT=8.79	SAT TT=0.47
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT TT=0.54	SAT TT=3.228	SAT TT=0.54
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT TT=0.1	SAT TT=2.128	SAT TT=0.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT TT=2.35	SAT TT=4.68	SAT TT=2.35
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT TT=17.08	SAT TT=130.13	SAT TT=17.08
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT TT=2.2	SAT TT=13.525	SAT TT=2.2
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT TT=0.44	SAT TT=5.28	SAT TT=0.44
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT TT=0.91	SAT TT=9.333	SAT TT=0.91
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT TT=0.21	SAT TT=6.312	SAT TT=0.21
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT TT=0.11	SAT TT=0.816	SAT TT=0.11
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT TT=0.47	SAT TT=9.881	SAT TT=0.47
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT TT=10.96	SAT TT=17.057	SAT TT=10.96
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT TT=1.32	SAT TT=21.94	SAT TT=1.32
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT TT=0.11	SAT TT=25.638	SAT TT=0.11
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT TT=2.09	SAT TT=23.42	SAT TT=2.09
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT TT=0.24	SAT TT=12.817	SAT TT=0.24
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT TT=0.23	SAT TT=39.615	SAT TT=0.23
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT TT=0.13	SAT TT=1.752	SAT TT=0.13
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT TT=0.35	SAT TT=2.292	SAT TT=0.35
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT TT=0.7	SAT TT=13.1	SAT TT=0.7
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT TT=1.65	SAT TT=6.968	SAT TT=1.65
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT TT=0.11	SAT TT=0.784	SAT TT=0.11
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT TT=2.4	SAT TT=3.208	SAT TT=2.4
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT TT=2.24	SAT TT=22.269	SAT TT=2.24
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT TT=0.12	SAT TT=7.568	SAT TT=0.12
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT TT=2.71	SAT TT=28.12	SAT TT=2.71
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT TT=1.1	SAT TT=23.35	SAT TT=1.1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT TT=0.51	SAT TT=3.152	SAT TT=0.51
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT TT=2.26	SAT TT=35.76	SAT TT=2.26
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT TT=0.16	SAT TT=4.61	SAT TT=0.16
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT TT=0.28	SAT TT=1.928	SAT TT=0.28
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT TT=0.58	SAT TT=14.705	SAT TT=0.58
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT TT=4.32	SAT TT=44.16	SAT TT=4.32
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT TT=3.04	SAT TT=1202.48	SAT TT=3.04
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT TT=2.56	SAT TT=5.228	SAT TT=2.56
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT TT=0.33	SAT TT=5.828	SAT TT=0.33
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT TT=0.18	SAT TT=1.668	SAT TT=0.18
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT TT=9.76	SAT TT=143.12	SAT TT=9.76
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT TT=0.1	SAT TT=1.32	SAT TT=0.1
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf		? (TO) TT=5001.64	? (TO) TT=3692.51
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf		? (TO) TT=5000.26	? (TO) TT=3668.02
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf		? (TO) TT=5001.48	? (TO) TT=3672.41
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf		? (TO) TT=5000.48	? (TO) TT=3692.94
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf		? (TO) TT=5001.11	? (TO) TT=3670.74
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf		? (TO) TT=5000.67	? (TO) TT=3689.76
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf		? (TO) TT=5001.28	? (TO) TT=3690.82
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf		? (TO) TT=5000.74	? (TO) TT=3686.56
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf		? (TO) TT=5001.54	? (TO) TT=3680.65
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf		? (TO) TT=5000.27	? (TO) TT=3726.4
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf		? (TO) TT=5000.96	? (TO) TT=3685.68
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf		? (TO) TT=5000.61	? (TO) TT=3709.37
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf		? (TO) TT=5000.12	? (TO) TT=3665.75
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf		? (TO) TT=5001.38	? (TO) TT=3681.37
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf		? (TO) TT=5000.72	? (TO) TT=3677.02
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf		? (TO) TT=5000.18	? (TO) TT=3705.35
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf		? (TO) TT=5001.43	? (TO) TT=3709.85
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf		? (TO) TT=5000.99	? (TO) TT=3703.35
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf		? (TO) TT=5001.43	? (TO) TT=3697.49
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf		? (TO) TT=5001.69	? (TO) TT=3687.22
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf		? (TO) TT=5001.71	? (TO) TT=3710.77
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf		? (TO) TT=5000.54	? (TO) TT=3706.2
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf		? (TO) TT=5001.09	? (TO) TT=3700.46
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf		? (TO) TT=5001.79	? (TO) TT=3693.81
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf		? (TO) TT=5000.79	? (TO) TT=3715.25
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf		? (TO) TT=5001.09	? (TO) TT=3701.07
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf		? (TO) TT=5001.6	? (TO) TT=3710.75
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf		? (TO) TT=5001.4	? (TO) TT=3696.26
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf		? (TO) TT=5000.84	? (TO) TT=3701.09
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf		? (TO) TT=5000.62	? (TO) TT=3705.58
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf		? (TO) TT=5001.27	? (TO) TT=3703.17
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf		? (TO) TT=5000.72	? (TO) TT=3698.28
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf		? (TO) TT=5001	? (TO) TT=3705.5
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf		? (TO) TT=5001.3	? (TO) TT=3702.07
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf		? (TO) TT=5001.1	? (TO) TT=3725.56
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf		? (TO) TT=5000.29	? (TO) TT=3702.43
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf		? (TO) TT=5000.5	? (TO) TT=3706.1
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf		? (TO) TT=5001.54	? (TO) TT=3709.73
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf		? (TO) TT=5001.77	? (TO) TT=3678.49
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf		? (TO) TT=5001.48	? (TO) TT=3714.23
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf		? (TO) TT=5001.65	? (TO) TT=3729.78
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf		? (TO) TT=5001.14	? (TO) TT=3690.28
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf		? (TO) TT=5001.3	? (TO) TT=3683.3
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf		? (TO) TT=5001.65	? (TO) TT=3684.09
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf		? (TO) TT=5001.32	? (TO) TT=3698.59
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf		? (TO) TT=5000.37	? (TO) TT=3694
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf		? (TO) TT=5000.96	? (TO) TT=3684.08
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf		? (TO) TT=5001.64	? (TO) TT=3707.16
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf		? (TO) TT=5001.59	? (TO) TT=3688.26
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf		? (TO) TT=5000.22	? (TO) TT=3725.84
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf		? (TO) TT=5000.99	? (TO) TT=3719.45
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf		? (TO) TT=5000.54	? (TO) TT=3708.08
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf		? (TO) TT=5000.5	? (TO) TT=3728.35
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf		? (TO) TT=5000.52	? (TO) TT=3715.28
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf		? (TO) TT=5000.17	? (TO) TT=3730.62
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf		? (TO) TT=5000.27	? (TO) TT=3688.11
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf		? (TO) TT=5000.34	? (TO) TT=3717.1
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf		? (TO) TT=5000.84	? (TO) TT=3710.13
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf		? (TO) TT=5000.55	? (TO) TT=3703.54
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf		? (TO) TT=5000.33	? (TO) TT=3706.63
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf		? (TO) TT=5000.89	? (TO) TT=3706.46
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf		? (TO) TT=5000.33	? (TO) TT=3694.33
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf		? (TO) TT=5001.37	? (TO) TT=3703.82
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf		? (TO) TT=5000.37	? (TO) TT=3705.56
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf		? (TO) TT=5001.02	? (TO) TT=3704.82
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf		? (TO) TT=5001.07	? (TO) TT=3698.19
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf		? (TO) TT=5000.83	? (TO) TT=3684.07
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf		? (TO) TT=5000.83	? (TO) TT=3708.88
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf		? (TO) TT=5000.37	? (TO) TT=3726.52
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf		? (TO) TT=5000.8	? (TO) TT=3684.39
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf		? (TO) TT=5001.7	? (TO) TT=3714.54
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf		? (TO) TT=5000.24	? (TO) TT=3679.46
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf		? (TO) TT=5000.31	? (TO) TT=3703.72
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf		? (TO) TT=5001.25	? (TO) TT=3698.53
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf		? (TO) TT=5001.44	? (TO) TT=3691.27
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf		? (TO) TT=5000.97	? (TO) TT=3713.12
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf		? (TO) TT=5001.76	? (TO) TT=3697.76
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf		? (TO) TT=5001.33	? (TO) TT=3685.56
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf		? (TO) TT=5000.19	? (TO) TT=3711.75
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf		? (TO) TT=5001.23	? (TO) TT=3717.12
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf		? (TO) TT=5000.3	? (TO) TT=3726.15
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf		? (TO) TT=5001.64	? (TO) TT=3691.91
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf		? (TO) TT=5001.24	? (TO) TT=3712.09
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf		? (TO) TT=5000.33	? (TO) TT=3735.13
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf		? (TO) TT=5000.38	? (TO) TT=3722.53
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf		? (TO) TT=5000.99	? (TO) TT=3711.29
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf		? (TO) TT=5000.62	? (TO) TT=3702.42
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf		? (TO) TT=5001	? (TO) TT=3729.33
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf		? (TO) TT=5001.22	? (TO) TT=3720.71
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf		? (TO) TT=5001.33	? (TO) TT=3700.98
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf		? (TO) TT=5001.12	? (TO) TT=3714.29
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf		? (TO) TT=5001.56	? (TO) TT=3697.41
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf		? (TO) TT=5001.65	? (TO) TT=3684.51
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf		? (TO) TT=5000.41	? (TO) TT=3722.94
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf		? (TO) TT=5000.25	? (TO) TT=3722.87
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf		? (TO) TT=5000.94	? (TO) TT=3704.31
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf		? (TO) TT=5000.24	? (TO) TT=3730.54
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf		? (TO) TT=5000.68	? (TO) TT=3703.52
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf		? (TO) TT=5001.39	? (TO) TT=3733.84
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf		? (TO) TT=5000.73	? (TO) TT=3713.47
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf		? (TO) TT=5001.05	? (TO) TT=3698.66
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf		? (TO) TT=5001.6	? (TO) TT=3722.96
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf		? (TO) TT=5001.28	? (TO) TT=3709.03
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf		? (TO) TT=5001.55	? (TO) TT=3699.29
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf		? (TO) TT=5001.1	? (TO) TT=3700.9
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf		? (TO) TT=5000.85	? (TO) TT=3716.55
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf		? (TO) TT=5000.49	? (TO) TT=3711.13
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf		? (TO) TT=5000.6	? (TO) TT=3729.9
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf		? (TO) TT=5000.65	? (TO) TT=3715
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf		? (TO) TT=5000.5	? (TO) TT=3711.21
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT TT=0.13	SAT TT=1.06	SAT TT=0.13
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT TT=0.13	SAT TT=1.34	SAT TT=0.13
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT TT=38.52	SAT TT=106.12	SAT TT=38.52
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT TT=0.18	SAT TT=2.78	SAT TT=0.18
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT TT=0.1	SAT TT=0.708	SAT TT=0.1
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT TT=0.15	SAT TT=0.796	SAT TT=0.15
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT TT=0.1	SAT TT=2.436	SAT TT=0.1
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT TT=1.14	SAT TT=1.14	SAT TT=1.54
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT TT=0.25	SAT TT=0.344	SAT TT=0.25
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT TT=0.28	SAT TT=2.748	SAT TT=0.28
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT TT=0.27	SAT TT=22.625	SAT TT=0.27
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT TT=0.11	SAT TT=1.4	SAT TT=0.11
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT TT=4.8	SAT TT=25.626	SAT TT=4.8
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT TT=0.26	SAT TT=20.025	SAT TT=0.26
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT TT=3.42	SAT TT=3.42	SAT TT=4.39
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT TT=1.5	SAT TT=2.36	SAT TT=1.5
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT TT=0.1	SAT TT=1.528	SAT TT=0.1
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT TT=0.24	SAT TT=1.404	SAT TT=0.24
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT TT=0.33	SAT TT=14.317	SAT TT=0.33
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT TT=0.21	SAT TT=0.624	SAT TT=0.21
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT TT=0.8	SAT TT=94.11	SAT TT=0.8
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT TT=1.048	SAT TT=1.048	SAT TT=2.97
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT TT=0.18	SAT TT=1.608	SAT TT=0.18
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT TT=0.49	SAT TT=2.816	SAT TT=0.49
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT TT=0.77	SAT TT=24.23	SAT TT=0.77
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT TT=1.01	SAT TT=26.71	SAT TT=1.01
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT TT=0.29	SAT TT=14.757	SAT TT=0.29
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT TT=0.15	SAT TT=1.216	SAT TT=0.15
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT TT=1.82	SAT TT=98.95	SAT TT=1.82
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT TT=1.024	SAT TT=1.024	SAT TT=1.55
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT TT=0.1	SAT TT=1.712	SAT TT=0.1
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT TT=0.17	SAT TT=2.888	SAT TT=0.17
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT TT=0.41	SAT TT=8.68	SAT TT=0.41
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT TT=0.09	SAT TT=0.528	SAT TT=0.09
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT TT=0.56	SAT TT=2.884	SAT TT=0.56
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT TT=0.16	SAT TT=0.804	SAT TT=0.16
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT TT=0.23	SAT TT=8.073	SAT TT=0.23
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT TT=0.14	SAT TT=1.98	SAT TT=0.14
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT TT=0.12	SAT TT=1.928	SAT TT=0.12
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT TT=0.1	SAT TT=0.528	SAT TT=0.1
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf		? (TO) TT=5001.54	? (TO) TT=3860.38
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf		? (TO) TT=5000.57	? (TO) TT=3859.96
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf		? (TO) TT=5000.99	? (TO) TT=3864.85
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf		? (TO) TT=5001.54	? (TO) TT=3857.72
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf		? (TO) TT=5001.03	? (TO) TT=3864.07
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf		? (TO) TT=5000.95	? (TO) TT=3861.28
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf		? (TO) TT=5000.31	? (TO) TT=3837.84
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf		? (TO) TT=5000.48	? (TO) TT=3865.91
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf		? (TO) TT=5000.52	? (TO) TT=3861.53
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf		? (TO) TT=5000.91	? (TO) TT=3851.78
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf		? (TO) TT=5000.35	? (TO) TT=3857.56
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf		? (TO) TT=5000.63	? (TO) TT=3866.89
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf		? (TO) TT=5000.97	? (TO) TT=3867.03
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf		? (TO) TT=5001.64	? (TO) TT=3856.32
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf		? (TO) TT=5000.21	? (TO) TT=3856.04
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf		? (TO) TT=5001.03	? (TO) TT=3866.29
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf		? (TO) TT=5000.45	? (TO) TT=3868.9
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf		? (TO) TT=5000.85	? (TO) TT=3872.86
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf		? (TO) TT=5000.54	? (TO) TT=3853.07
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf		? (TO) TT=5000.61	? (TO) TT=3850.15
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf		? (TO) TT=5000.25	? (TO) TT=3867.86
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf		? (TO) TT=5001.68	? (TO) TT=3856.75
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf		? (TO) TT=5001.08	? (TO) TT=3868.91
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf		? (TO) TT=5001.44	? (TO) TT=3851.25
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf		? (TO) TT=5001.28	? (TO) TT=3859.63
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf		? (TO) TT=5001.26	? (TO) TT=3845.53
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf		? (TO) TT=5001.79	? (TO) TT=3870
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf		? (TO) TT=5000.67	? (TO) TT=3876.14
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf		? (TO) TT=5001.79	? (TO) TT=3853.89
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf		? (TO) TT=5000.56	? (TO) TT=3869.72
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf		? (TO) TT=5000.33	? (TO) TT=3851.19
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf		? (TO) TT=5001.16	? (TO) TT=3859.46
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf		? (TO) TT=5001.68	? (TO) TT=3860.02
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf		? (TO) TT=5000.41	? (TO) TT=3858.29
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf		? (TO) TT=5000.95	? (TO) TT=3856.67
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf		? (TO) TT=5000.26	? (TO) TT=3855.47
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf		? (TO) TT=5000.72	? (TO) TT=3849.72
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf		? (TO) TT=5001.26	? (TO) TT=3864.13
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf		? (TO) TT=5000.37	? (TO) TT=3861.63
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf		? (TO) TT=5000.74	? (TO) TT=3854.95
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT TT=0.41	SAT TT=55.34	SAT TT=0.41
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT TT=0.16	SAT TT=3.888	SAT TT=0.16
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT TT=1.49	SAT TT=26.91	SAT TT=1.49
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT TT=0.77	SAT TT=5.616	SAT TT=0.77
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT TT=0.49	SAT TT=1.476	SAT TT=0.49
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT TT=0.37	SAT TT=23.41	SAT TT=0.37
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT TT=1.41	SAT TT=70.61	SAT TT=1.41
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT TT=0.88	SAT TT=9.877	SAT TT=0.88
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT TT=3.33	SAT TT=45.29	SAT TT=3.33
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT TT=0.27	SAT TT=16.229	SAT TT=0.27
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT TT=0.74	SAT TT=19.449	SAT TT=0.74
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT TT=0.83	SAT TT=8.201	SAT TT=0.83
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT TT=20.52	SAT TT=20.52	SAT TT=25.95
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT TT=0.22	SAT TT=8.977	SAT TT=0.22
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT TT=1.73	SAT TT=13.417	SAT TT=1.73
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT TT=52.82	SAT TT=179.2	SAT TT=52.82
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT TT=1.07	SAT TT=13.345	SAT TT=1.07
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT TT=8.57	SAT TT=139.79	SAT TT=8.57
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT TT=3.24	SAT TT=172.98	SAT TT=3.24
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT TT=1.15	SAT TT=6.432	SAT TT=1.15
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT TT=4.58	SAT TT=45.39	SAT TT=4.58
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT TT=4.94	SAT TT=10.525	SAT TT=4.94
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT TT=6.98	SAT TT=26.29	SAT TT=6.98
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT TT=1.52	SAT TT=117.05	SAT TT=1.52
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT TT=0.8	SAT TT=19.549	SAT TT=0.8
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT TT=0.91	SAT TT=73.82	SAT TT=0.91
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT TT=0.64	SAT TT=28.59	SAT TT=0.64
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT TT=3.64	SAT TT=15.105	SAT TT=3.64
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT TT=2.54	SAT TT=23.39	SAT TT=2.54
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT TT=2.17	SAT TT=14.245	SAT TT=2.17
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT TT=4.15	SAT TT=581.32	SAT TT=4.15
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT TT=11.01	SAT TT=14.7	SAT TT=11.01
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT TT=0.628	SAT TT=0.628	SAT TT=8.1
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT TT=28.03	SAT TT=28.03	SAT TT=28.37
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT TT=8.43	SAT TT=206.87	SAT TT=8.43
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT TT=9.9	SAT TT=44.17	SAT TT=9.9
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT TT=1.4	SAT TT=189.74	SAT TT=1.4
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT TT=16.53	SAT TT=76.93	SAT TT=16.53
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT TT=11.53	SAT TT=95.7	SAT TT=11.53
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT TT=5.64	SAT TT=74.27	SAT TT=5.64
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S108799362-035.cnf		? (TO) TT=5000.86	? (TO) TT=3873
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf		? (TO) TT=5000.45	? (TO) TT=3885.61
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf		? (TO) TT=5001.03	? (TO) TT=3860.78
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf		? (TO) TT=5001.3	? (TO) TT=3988.23
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf		? (TO) TT=5000.21	? (TO) TT=3878.1
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S197260469-019.cnf		? (TO) TT=5001.07	? (TO) TT=3892.05
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf		? (TO) TT=5001.31	? (TO) TT=3849.91
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf		? (TO) TT=5001.45	? (TO) TT=3867.63
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S528193823-041.cnf		? (TO) TT=5000.51	? (TO) TT=3877.4
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S703461330-034.cnf		? (TO) TT=5000.17	? (TO) TT=3871.66
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf		? (TO) TT=5001.55	? (TO) TT=3879.08
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf		? (TO) TT=5000.78	? (TO) TT=3886.84
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf		? (TO) TT=5001.15	? (TO) TT=3842.71
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf		? (TO) TT=5000.72	? (TO) TT=3870.57
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf		? (TO) TT=5001.63	? (TO) TT=3872.95
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf		? (TO) TT=5001.42	? (TO) TT=3897.25
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf		? (TO) TT=5000.51	? (TO) TT=3871.31
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S254828838-055.cnf		? (TO) TT=5000.53	? (TO) TT=3880.98
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT TT=16.59	SAT TT=759.5	SAT TT=16.59
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S857870897-089.cnf		? (TO) TT=5000.24	? (TO) TT=3899.13
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT TT=1.956	SAT TT=1.956	SAT TT=29.35
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf		? (TO) TT=5000.68	? (TO) TT=3874.43
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S184801254-020.cnf		? (TO) TT=5000.72	? (TO) TT=3834.48
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf		? (TO) TT=5000.68	? (TO) TT=3882.47
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT TT=4.3	SAT TT=120.57	SAT TT=4.3
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf		? (TO) TT=5000.18	? (TO) TT=3987.91
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf		? (TO) TT=5001.73	? (TO) TT=3864.98
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S289069074-070.cnf		? (TO) TT=5001.16	? (TO) TT=3892.49
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S358640743-023.cnf		? (TO) TT=5000.38	? (TO) TT=3888.1
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S884764237-004.cnf		? (TO) TT=5000.55	? (TO) TT=3889.21
Bench name	Best results	gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf		? (TO) TT=5000.41	? (TO) TT=3892.29
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf		? (TO) TT=5000.26	? (TO) TT=3880.69
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf		? (TO) TT=5001.51	? (TO) TT=3875.15
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf		? (TO) TT=5000.98	? (TO) TT=3882.44
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf		? (TO) TT=5000.42	? (TO) TT=3871.42
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf		? (TO) TT=5001.5	? (TO) TT=3896.57
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT TT=0.56	SAT TT=124.93	SAT TT=0.56
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT TT=17.45	SAT TT=141.43	SAT TT=17.45
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S400162545-095.cnf		? (TO) TT=5001.07	? (TO) TT=3902.23
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S905029262-097.cnf		? (TO) TT=5000.61	? (TO) TT=3881.61

Statistics		gNovelty+-T 2009-03-22 (16 threads) (incomplete)	gNovelty+-T 2009-03-22 (4 threads) (incomplete)
Number of times the solver is able to give the best known answer		237	296
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)		10	287