SAT 2007 Competition Phase 2: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf	UNSAT	0.32395	0.324908	426921
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf	UNSAT	0.404937	0.406325	427032
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf	UNSAT	0.71789	0.720038	426908
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf	UNSAT	1.2808	1.28382	427101
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf	UNSAT	1.83772	1.83844	427002
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf	UNSAT	3.87341	3.87534	427078
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf	UNSAT	4.48032	4.48331	427020
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf	UNSAT	4.73228	4.73567	426978
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf	UNSAT	7.2129	7.21462	427014
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf	UNSAT	7.8778	7.88245	426561
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf	UNSAT	7.9118	7.91535	426567
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf	UNSAT	8.02478	8.02949	427060
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf	UNSAT	8.10977	8.12733	426537
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf	UNSAT	8.63369	8.63725	426519
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf	UNSAT	8.66268	8.66575	426573
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf	UNSAT	10.0295	10.0349	427038
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf	UNSAT	16.0226	16.0274	426822
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf	UNSAT	18.2542	18.2596	427050
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf	UNSAT	21.4337	21.4411	426812
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf	UNSAT	24.6353	24.6424	426749
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf	UNSAT	25.1572	25.1755	426701
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf	UNSAT	25.3871	25.3969	426755
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf	UNSAT	25.4431	25.4528	426707
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf	UNSAT	25.9221	25.9331	426790
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf	UNSAT	26.465	26.4741	426719
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf	UNSAT	30.0934	30.1043	426878
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf	UNSAT	30.6823	30.692	426817
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf	UNSAT	35.6116	35.6317	426504
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf	UNSAT	35.8216	35.8313	426785
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf	UNSAT	41.7107	41.7622	426493
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf	UNSAT	41.7946	41.7938	426514
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf	UNSAT	42.4076	42.4235	426471
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf	UNSAT	50.8223	50.8391	426509
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf	UNSAT	73.6528	73.674	426968
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf	UNSAT	73.8708	73.8906	427113
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf	UNSAT	81.3486	81.3773	426846
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf	UNSAT	86.5348	86.5612	426933
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf	UNSAT	86.9778	87.0143	426648
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf	UNSAT	87.5337	87.556	426843
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf	UNSAT	87.5867	87.6187	426639
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf	UNSAT	88.6805	88.7551	426844
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf	UNSAT	89.3084	89.3406	426642
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf	UNSAT	90.2123	90.2398	426645
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf	UNSAT	90.5052	90.5396	426636
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf	UNSAT	95.4625	95.4941	426860
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf	UNSAT	131.038	131.073	426894
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf	UNSAT	131.196	131.23	426845
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf	UNSAT	131.393	131.427	426884
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf	UNSAT	146.614	146.672	427081
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf	UNSAT	186.586	186.643	427091
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf	UNSAT	187.551	187.615	426593
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf	UNSAT	193.968	194.02	426582
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf	UNSAT	205.619	205.673	426580
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf	UNSAT	223.186	223.248	426953
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf	UNSAT	226.595	226.666	426599
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf	UNSAT	228.709	228.769	426584
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf	UNSAT	246.956	247.049	426964
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf	UNSAT	302.653	302.735	426682
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf	UNSAT	308.451	308.54	426676
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf	UNSAT	314.373	314.495	426678
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf	UNSAT	314.415	314.532	426677
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf	UNSAT	326.596	326.694	426668
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf	UNSAT	327.335	327.43	426965
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf	UNSAT	400.869	400.998	426966
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf	UNSAT	412.938	413.03	426760
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf	UNSAT	414.196	414.349	426768
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf	UNSAT	491.873	492.064	426765
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf	UNSAT	498.097	498.223	426963
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf	UNSAT	550.61	550.766	426767
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf	UNSAT	728.677	728.865	426948
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf	UNSAT	760.682	760.887	426947
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf	UNSAT	792.635	793.259	427090
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf	UNSAT	902.758	903.029	426758
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf	UNSAT	967.592	967.939	426880
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf	UNSAT	997.717	997.963	426609
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf	UNSAT	998.393	998.661	426611
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf	UNSAT	1012.68	1012.99	426610
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf	UNSAT	1059.41	1059.69	426691
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf	UNSAT	1084.19	1084.56	426697
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf	UNSAT	1085.12	1085.42	426690
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf	UNSAT	1098.75	1099.05	426692
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf	UNSAT	1110.53	1110.94	426607
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf	UNSAT	1114.7	1115	427097
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf	UNSAT	1116.3	1116.61	426614
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf	UNSAT	1135.06	1135.37	426689
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf	UNSAT	1369.68	1370.1	424338
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf	UNSAT	1483.7	1484.18	424118
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf	UNSAT	1721.82	1722.33	424344
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf	UNSAT	1935.54	1936.05	424335
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf	UNSAT	2307.09	2307.81	424366
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf	UNSAT	2584.62	2585.38	424375
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf	UNSAT	2817.89	2819.01	424122
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf	UNSAT	2845.33	2846.54	424123
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf	UNSAT	2958.3	2959.44	424325
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf	UNSAT	3142.57	3143.45	424360
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf	UNSAT	3144.6	3145.86	424121
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf	UNSAT	3288.32	3289.25	424120
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf	UNSAT	3455.89	3457.92	424082
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf	UNSAT	3746.43	3747.58	424086
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf	UNSAT	3748.92	3750.38	424085
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf	UNSAT	3817.83	3819.11	424083
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf	UNSAT	3819.17	3820.29	424088
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf	UNSAT	4210.79	4212.01	424333
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf	UNSAT	4295.07	4296.48	424334
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf	UNSAT	4579.95	4581.39	424066
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf	UNSAT	4587.48	4588.94	424065
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf	UNSAT	4933.27	4934.9	424071

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf	SAT	0.042992	0.0462879	426851
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf	SAT	0.183971	0.185389	426996
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf	SAT	0.220965	0.222797	426984
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf	SAT	0.269958	0.27156	426549
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf	SAT	0.634902	0.637469	426903
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf	SAT	0.841871	0.843684	426465
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf	SAT	0.874866	0.876555	427095
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf	SAT	0.98185	0.98232	426531
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf	SAT	1.09983	1.10227	426967
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf	SAT	1.26381	1.26605	426795
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf	SAT	1.52277	1.52364	426555
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf	SAT	1.60076	1.60222	426543
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf	SAT	1.60875	1.61109	426590
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf	SAT	1.64475	1.64734	426830
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf	SAT	1.75273	1.75561	426857
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf	SAT	1.87571	1.87882	426827
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf	SAT	2.17267	2.17451	426766
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf	SAT	2.58261	2.58888	427089
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf	SAT	3.51846	3.52117	426578
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf	SAT	3.57046	3.57397	426770
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf	SAT	3.76043	3.7618	426713
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf	SAT	4.51831	4.52179	426841
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf	SAT	4.69828	4.70596	426944
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf	SAT	4.87826	4.8827	426525
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf	SAT	4.94425	4.94765	426990
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf	SAT	5.36718	5.37162	426806
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf	SAT	5.48417	5.48834	426972
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf	SAT	6.05908	6.06073	426498
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf	SAT	6.06508	6.0706	426873
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf	SAT	6.81796	6.82265	427066
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf	SAT	6.87995	6.88396	426952
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf	SAT	8.29074	8.29521	426476
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf	SAT	8.38172	8.38617	427044
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf	SAT	8.88665	8.88985	427008
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf	SAT	9.2266	9.2339	426482
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf	SAT	9.8955	9.89911	426781
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf	SAT	11.3623	11.385	426935
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf	SAT	11.4243	11.4296	426926
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf	SAT	11.6612	11.8883	426731
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf	SAT	12.2811	12.2843	426737
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf	SAT	14.0549	14.0615	427072
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf	SAT	14.0589	14.0641	426956
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf	SAT	14.8847	14.8901	426604
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf	SAT	15.3817	15.39	426916
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf	SAT	16.5565	16.561	426836
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf	SAT	17.3534	17.3584	426743
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf	SAT	19.3811	19.3887	426725
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf	SAT	21.7337	21.7408	426951
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf	SAT	24.3793	24.3888	426800
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf	SAT	24.7492	24.7576	426674
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf	SAT	25.0652	25.0735	426488
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf	SAT	25.8591	25.8662	426616
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf	SAT	28.9486	28.9577	427026
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf	SAT	30.0564	30.0666	426684
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf	SAT	30.6853	30.6951	426688
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf	SAT	33.4529	33.4714	427087
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf	SAT	34.0638	34.0766	426652
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf	SAT	35.9585	35.9727	426627
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf	SAT	36.0845	36.1141	426889
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf	SAT	37.2193	37.2172	426602
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf	SAT	50.5113	50.5258	426868
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf	SAT	51.6411	51.659	426962
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf	SAT	53.5189	53.5399	426763
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf	SAT	55.2176	55.2481	426658
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf	SAT	61.0507	61.076	427056
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf	SAT	64.4692	64.4861	426622
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf	SAT	69.8984	69.9194	427107
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf	SAT	75.5805	75.6115	426633
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf	SAT	77.0493	77.0728	426759
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf	SAT	78.919	78.9542	426939
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf	SAT	113.406	113.434	426606
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf	SAT	118.3	118.332	427114
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf	SAT	122.063	122.098	426772
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf	SAT	131.33	131.378	426617
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf	SAT	134.81	134.845	426695
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf	SAT	148.736	148.792	426833
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf	SAT	158.28	158.32	426596
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf	SAT	161.609	161.652	426913
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf	SAT	173.293	173.34	426775
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf	SAT	176.664	176.735	426861
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf	SAT	181.03	181.08	427118
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf	SAT	182.686	182.736	426681
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf	SAT	188.607	188.598	426586
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf	SAT	189.603	189.652	426670
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf	SAT	194.316	194.367	426666
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf	SAT	215.719	215.803	426662
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf	SAT	268.637	268.715	427121
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf	SAT	307.828	307.942	426777
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf	SAT	309.062	309.144	426686
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf	SAT	332.285	332.369	426831
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf	SAT	338.565	338.687	426898
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf	SAT	380.204	380.309	426959
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf	SAT	466.486	466.604	426615
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf	SAT	475.096	475.271	426664
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf	SAT	494.758	494.897	426618
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf	SAT	558.376	558.527	426605
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf	SAT	572.348	572.559	426693
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf	SAT	573.427	573.581	426696
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf	SAT	607.1	607.27	426612
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf	SAT	652.172	652.135	426608
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf	SAT	757.647	757.814	426661
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf	SAT	843.671	843.988	426773
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf	SAT	850.757	851.031	426863
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf	SAT	1019.92	1020.19	426694
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf	SAT	1079.92	1080.27	426769
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf	SAT	1160.48	1160.79	426929
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf	SAT	1297.13	1297.58	424069
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf	SAT	1316.9	1317.22	424331
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf	SAT	1440.74	1441.19	424109
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf	SAT	1463.88	1464.39	424119
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf	SAT	1497.51	1498.47	424087
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf	SAT	1928.88	1929.6	424056
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf	SAT	2061.41	2062.07	424112
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf	SAT	2146.57	2147.41	424058
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf	SAT	2331.03	2331.79	424068
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf	SAT	2348.47	2349.16	424101
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf	SAT	2652.96	2653.79	424332
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf	SAT	2680.57	2681.57	424364
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf	SAT	2698.52	2699.32	424365
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf	SAT	2864.55	2865.34	424084
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf	SAT	3050.88	3051.91	424070
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf	SAT	3171.81	3172.83	424372
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf	SAT	3422.72	3423.75	424348
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf	SAT	3722.29	3723.84	424057
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf	SAT	3917.09	3918.47	424111
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf	SAT	3957.58	3959.02	424345
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf	SAT	4345.69	4347	424064
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf	SAT	4600.68	4602.24	424362
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf	SAT	4741.54	4741.38	424349
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf	SAT	4761.76	4763.13	424347

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf	? (TO)	5000.01	5001.81	424075
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf	? (TO)	5000.01	5001.51	424090
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf	? (TO)	5000.01	5001.51	424129
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1022834397-10.cnf	? (TO)	5000.01	5001.41	424176
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S640027679-08.cnf	? (TO)	5000.01	5001.81	424216
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S880121748-08.cnf	? (TO)	5000.01	5001.61	424294
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf	? (TO)	5000.01	5001.91	424340
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf	? (TO)	5000.01	5001.81	424324
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.51	424059
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.51	424067
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.51	424097
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.91	424114
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf	? (TO)	5000.02	5001.61	424110
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf	? (TO)	5000.02	5001.51	424116
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf	? (TO)	5000.02	5002.11	424130
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.51	424125
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.9	424136
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S451874538-03.cnf	? (TO)	5000.02	5001.41	424142
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2034423571-08.cnf	? (TO)	5000.02	5001.61	424151
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1463391112-08.cnf	? (TO)	5000.02	5001.51	424174
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S467706592-03.cnf	? (TO)	5000.02	5001.51	424212
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1955740096-08.cnf	? (TO)	5000.02	5001.61	424234
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S313074252-14.cnf	? (TO)	5000.02	5001.51	424277
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1426208256-08.cnf	? (TO)	5000.02	5001.51	424257
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf	? (TO)	5000.02	5001.31	424273
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf	? (TO)	5000.02	5002.01	424271
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf	? (TO)	5000.02	5001.51	424287
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf	? (TO)	5000.02	5001.51	424291
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf	? (TO)	5000.02	5001.51	424319
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf	? (TO)	5000.02	5002.01	424326
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf	? (TO)	5000.02	5001.81	424342
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf	? (TO)	5000.02	5001.51	424363
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf	? (TO)	5000.02	5001.61	424374
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.81	424124
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf	? (TO)	5000.02	5001.91	424134
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1509822356-13.cnf	? (TO)	5000.02	5001.91	424198
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.61	424062
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf	? (TO)	5000.03	5001.31	424081
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.51	424105
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.71	424115
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.51	424126
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf	? (TO)	5000.03	5001.61	424132
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1063466123-05.cnf	? (TO)	5000.03	5001.51	424143
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1744543366-13.cnf	? (TO)	5000.03	5001.91	424153
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1058323130-08.cnf	? (TO)	5000.03	5001.61	424149
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1559029529-16.cnf	? (TO)	5000.03	5001.51	424164
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S471246417-03.cnf	? (TO)	5000.03	5002.01	424169
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1172786648-06.cnf	? (TO)	5000.03	5001.51	424178
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1358416858-13.cnf	? (TO)	5000.03	5001.31	424213
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S52275463-03.cnf	? (TO)	5000.03	5001.71	424208
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S94225360-10.cnf	? (TO)	5000.03	5001.61	424217
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S787287513-16.cnf	? (TO)	5000.03	5002.11	424209
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S666382280-13.cnf	? (TO)	5000.03	5001.61	424224
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1854213938-15.cnf	? (TO)	5000.03	5002.01	424237
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S371462865-10.cnf	? (TO)	5000.03	5001.91	424229
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S1617760096-16.cnf	? (TO)	5000.03	5001.61	424250
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf	? (TO)	5000.03	5001.61	424272
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf	? (TO)	5000.03	5001.61	424321
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf	? (TO)	5000.03	5001.61	424337
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf	? (TO)	5000.03	5001.51	424353
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf	? (TO)	5000.03	5001.91	424368
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.51	424063
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.21	424108
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S643005221-14.cnf	? (TO)	5000.04	5001.61	424157
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1243695187-06.cnf	? (TO)	5000.04	5001.31	424189
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1739132237-05.cnf	? (TO)	5000.04	5001.21	424204
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1446471927-04.cnf	? (TO)	5000.04	5001.61	424211
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S660110840-06.cnf	? (TO)	5000.04	5001.51	424207
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S793713844-14.cnf	? (TO)	5000.04	5001.51	424215
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S77566504-14.cnf	? (TO)	5000.04	5001.41	424227
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2053050899-08.cnf	? (TO)	5000.04	5001.51	424247
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2043900701-05.cnf	? (TO)	5000.04	5001.71	424244
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S751835224-10.cnf	? (TO)	5000.04	5001.21	424245
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S251010207-06.cnf	? (TO)	5000.04	5001.71	424276
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1826229031-16.cnf	? (TO)	5000.04	5001.41	424254
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S597645631-10.cnf	? (TO)	5000.04	5001.41	424289
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S49237390-14.cnf	? (TO)	5000.04	5002.11	424313
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf	? (TO)	5000.04	5002.11	424303
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S565127616-04.cnf	? (TO)	5000.04	5001.91	424297
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf	? (TO)	5000.04	5002.01	424315
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf	? (TO)	5000.04	5001.51	424341
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf	? (TO)	5000.04	5001.61	424346
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf	? (TO)	5000.04	5001.51	424351
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf	? (TO)	5000.04	5001.41	424343
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf	? (TO)	5000.04	5002.11	424354
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S683236487-13.cnf	? (TO)	5000.04	5001.51	424179
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1861814752-08.cnf	? (TO)	5000.04	5001.61	424184
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf	? (TO)	5000.05	5002.11	424078
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf	? (TO)	5000.05	5001.71	424076
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf	? (TO)	5000.05	5001.61	424089
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.61	424107
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf	? (TO)	5000.05	5001.41	424131
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S2109328271-14.cnf	? (TO)	5000.05	5002.01	424144
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S422410882-13.cnf	? (TO)	5000.05	5001.51	424188
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1175862975-06.cnf	? (TO)	5000.05	5001.51	424193
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1941321941-16.cnf	? (TO)	5000.05	5001.41	424239
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S187076430-06.cnf	? (TO)	5000.05	5001.71	424241
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S409751023-10.cnf	? (TO)	5000.05	5001.41	424232
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S779713554-13.cnf	? (TO)	5000.05	5001.71	424255
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S448238512-10.cnf	? (TO)	5000.05	5001.21	424264
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf	? (TO)	5000.05	5001.41	424281
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf	? (TO)	5000.05	5001.31	424280
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S657313757-16.cnf	? (TO)	5000.05	5001.61	424288
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf	? (TO)	5000.05	5001.62	424312
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf	? (TO)	5000.05	5001.61	424307
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf	? (TO)	5000.05	5001.72	424311
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf	? (TO)	5000.05	5001.61	424352
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf	? (TO)	5000.05	5002.41	424356
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.81	424080
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.81	424094
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf	? (TO)	5000.06	5001.61	424128
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf	? (TO)	5000.06	5001.61	424135
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.51	424137
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S411047518-16.cnf	? (TO)	5000.06	5002.01	424150
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S274221008-04.cnf	? (TO)	5000.06	5002.11	424171
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S485928362-15.cnf	? (TO)	5000.06	5001.51	424182
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1128222245-05.cnf	? (TO)	5000.06	5001.61	424185
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1582455625-10.cnf	? (TO)	5000.06	5001.61	424199
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S879514135-06.cnf	? (TO)	5000.06	5001.81	424233
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S41627158-13.cnf	? (TO)	5000.06	5001.51	424231
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1048256369-15.cnf	? (TO)	5000.06	5001.61	424252
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf	? (TO)	5000.06	5001.51	424263
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S202413125-05.cnf	? (TO)	5000.06	5001.51	424269
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S81758219-15.cnf	? (TO)	5000.06	5001.51	424261
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf	? (TO)	5000.06	5001.91	424290
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S161446644-14.cnf	? (TO)	5000.06	5002.11	424310
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf	? (TO)	5000.06	5001.61	424336
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf	? (TO)	5000.06	5002.11	424373
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf	? (TO)	5000.06	5002.11	424096
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1227285183-04.cnf	? (TO)	5000.06	5001.51	424190
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S811174248-16.cnf	? (TO)	5000.06	5001.61	424181
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf	? (TO)	5000.07	5001.51	424074
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf	? (TO)	5000.07	5001.41	424104
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf	? (TO)	5000.07	5001.61	424106
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.61	424113
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	424127
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf	? (TO)	5000.07	5002.01	424138
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S769702923-04.cnf	? (TO)	5000.07	5001.51	424148
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S793374232-15.cnf	? (TO)	5000.07	5001.41	424161
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S2050975470-04.cnf	? (TO)	5000.07	5001.51	424200
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S478782385-06.cnf	? (TO)	5000.07	5001.81	424225
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1980584520-03.cnf	? (TO)	5000.07	5001.61	424236
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1215030506-14.cnf	? (TO)	5000.07	5001.61	424251
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf	? (TO)	5000.07	5001.41	424267
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S67600799-16.cnf	? (TO)	5000.07	5001.71	424295
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S440063851-05.cnf	? (TO)	5000.07	5003.61	424279
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf	? (TO)	5000.07	5001.71	424286
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S102550125-14.cnf	? (TO)	5000.07	5001.61	424299
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf	? (TO)	5000.07	5001.71	424304
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf	? (TO)	5000.07	5001.41	424306
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf	? (TO)	5000.07	5001.41	424323
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf	? (TO)	5000.07	5001.61	424327
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf	? (TO)	5000.07	5001.41	424330
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf	? (TO)	5000.07	5001.61	424369
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	424133
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S811866391-08.cnf	? (TO)	5000.07	5001.51	424162
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.61	424061
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf	? (TO)	5000.08	5001.41	424102
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.61	424103
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S883927618-10.cnf	? (TO)	5000.08	5001.71	424166
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1121059923-10.cnf	? (TO)	5000.08	5002.01	424156
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S471833188-06.cnf	? (TO)	5000.08	5001.51	424159
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S837858872-05.cnf	? (TO)	5000.08	5001.51	424175
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1791291573-05.cnf	? (TO)	5000.08	5001.61	424165
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S260814579-03.cnf	? (TO)	5000.08	5001.51	424187
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S453945536-08.cnf	? (TO)	5000.08	5001.61	424197
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1096972624-15.cnf	? (TO)	5000.08	5001.41	424220
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S938354044-16.cnf	? (TO)	5000.08	5001.41	424226
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S679764311-04.cnf	? (TO)	5000.08	5001.51	424246
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf	? (TO)	5000.08	5002.01	424265
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S871621203-03.cnf	? (TO)	5000.08	5002.11	424256
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S450187849-03.cnf	? (TO)	5000.08	5001.61	424278
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf	? (TO)	5000.08	5001.51	424284
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S287388441-16.cnf	? (TO)	5000.08	5002.02	424301
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S883878972-08.cnf	? (TO)	5000.08	5001.61	424302
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf	? (TO)	5000.08	5002.01	424298
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf	? (TO)	5000.08	5003.91	424300
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf	? (TO)	5000.08	5001.41	424314
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf	? (TO)	5000.08	5001.62	424316
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf	? (TO)	5000.08	5001.81	424329
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.51	424095
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S191957358-10.cnf	? (TO)	5000.09	5001.51	424147
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1691487811-15.cnf	? (TO)	5000.09	5003.41	424155
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S2129616968-04.cnf	? (TO)	5000.09	5002.2	424167
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1971221253-16.cnf	? (TO)	5000.09	5001.61	424173
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1556473581-06.cnf	? (TO)	5000.09	5001.71	424163
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S406284248-03.cnf	? (TO)	5000.09	5001.71	424177
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1285628870-05.cnf	? (TO)	5000.09	5002.11	424196
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1366805398-04.cnf	? (TO)	5000.09	5001.61	424203
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1403172096-14.cnf	? (TO)	5000.09	5001.51	424201
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S3230925-04.cnf	? (TO)	5000.09	5002.01	424221
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1923240245-08.cnf	? (TO)	5000.09	5001.61	424223
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1898939887-14.cnf	? (TO)	5000.09	5003.21	424240
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S849793820-03.cnf	? (TO)	5000.09	5001.71	424230
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S498187802-14.cnf	? (TO)	5000.09	5001.51	424248
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S417904071-03.cnf	? (TO)	5000.09	4999.91	424242
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S57566027-15.cnf	? (TO)	5000.09	5001.51	424243
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf	? (TO)	5000.09	5001.91	424266
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S417670629-08.cnf	? (TO)	5000.09	5001.51	424275
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S791125864-16.cnf	? (TO)	5000.09	5001.62	424268
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf	? (TO)	5000.09	5002.01	424270
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S427890210-10.cnf	? (TO)	5000.09	5001.41	424292
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S897388318-05.cnf	? (TO)	5000.09	5001.61	424285
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf	? (TO)	5000.09	5001.41	424322
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf	? (TO)	5000.09	5002.01	424328
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf	? (TO)	5000.09	5002.01	424358
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf	? (TO)	5000.09	5001.51	424367
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1342589780-15.cnf	? (TO)	5000.09	5001.41	424180
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S669431406-04.cnf	? (TO)	5000.09	5001.41	424274
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.91	424073
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.71	424079
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf	? (TO)	5000.1	5001.58	424092
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf	? (TO)	5000.1	5002.91	424098
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.41	424100
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.71	424117
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf	? (TO)	5000.1	4999.91	424139
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.71	424140
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1059928571-06.cnf	? (TO)	5000.1	5001.91	424145
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1283500452-05.cnf	? (TO)	5000.1	5001.81	424152
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2033299325-04.cnf	? (TO)	5000.1	5001.91	424154
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1036103820-03.cnf	? (TO)	5000.1	5001.51	424160
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1259611134-14.cnf	? (TO)	5000.1	5001.61	424172
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1586629899-14.cnf	? (TO)	5000.1	5001.91	424170
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1627256190-14.cnf	? (TO)	5000.1	5001.91	424186
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S422570514-15.cnf	? (TO)	5000.1	5002.11	424192
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S998136463-10.cnf	? (TO)	5000.1	5002.01	424205
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1407716880-15.cnf	? (TO)	5000.1	4999.91	424206
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S333805260-05.cnf	? (TO)	5000.1	5001.81	424214
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1805843968-06.cnf	? (TO)	5000.1	5001.71	424218
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1535300821-05.cnf	? (TO)	5000.1	5001.91	424238
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S2026599491-05.cnf	? (TO)	5000.1	4999.91	424260
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S659720099-13.cnf	? (TO)	5000.1	5001.41	424249
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S342579098-10.cnf	? (TO)	5000.1	5001.91	424258
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1998470614-06.cnf	? (TO)	5000.1	5001.61	424259
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S421554531-04.cnf	? (TO)	5000.1	5001.61	424283
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S856579407-15.cnf	? (TO)	5000.1	5001.91	424293
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf	? (TO)	5000.1	5001.62	424320
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf	? (TO)	5000.1	5001.61	424350
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf	? (TO)	5000.1	5001.91	424357
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf	? (TO)	5000.1	5002.11	424371
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf	? (TO)	5000.1	5001.61	424361
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1207324880-03.cnf	? (TO)	5000.1	5001.61	424195
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1517867865-16.cnf	? (TO)	5000.1	5001.51	424194
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S788797920-13.cnf	? (TO)	5000.1	5001.72	424202
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S232355738-04.cnf	? (TO)	5000.1	5001.61	424235
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.41	424060
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.51	424077
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.51	424072
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf	? (TO)	5000.11	5002.01	424093
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.91	424091
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf	? (TO)	5000.11	5002.11	424099
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1922669300-13.cnf	? (TO)	5000.11	5001.91	424141
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S409844453-15.cnf	? (TO)	5000.11	5002.11	424146
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S388731928-13.cnf	? (TO)	5000.11	5001.61	424168
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1638354370-16.cnf	? (TO)	5000.11	5001.71	424158
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S16540223-14.cnf	? (TO)	5000.11	5001.71	424191
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1661921212-08.cnf	? (TO)	5000.11	5002.11	424210
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S2117580343-16.cnf	? (TO)	5000.11	5001.91	424219
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1751213243-05.cnf	? (TO)	5000.11	5002.11	424228
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S120857050-04.cnf	? (TO)	5000.11	5001.61	424253
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S971732863-03.cnf	? (TO)	5000.11	5001.91	424282
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S56884336-05.cnf	? (TO)	5000.11	5002.11	424296
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf	? (TO)	5000.11	5002.01	424305
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf	? (TO)	5000.11	5001.91	424317
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf	? (TO)	5000.11	5001.51	424318
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf	? (TO)	5000.11	5002.11	424339
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf	? (TO)	5000.11	5002.01	424359
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf	? (TO)	5000.11	5002.11	424355
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf	? (TO)	5000.11	5001.51	424370
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S36357048-10.cnf	? (TO)	5000.11	5002.01	424183
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1798323172-15.cnf	? (TO)	5000.12	5001.61	424222
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf	? (TO)	5000.12	5002.01	424308
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S295096144-05.cnf	? (TO)	5000.12	5002.01	424309
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S886048189-14.cnf	? (TO)	5000.17	5001.79	424262

SAT 2007 Competition Phase 2: benchmarks results per solver

Result page for solver KCNFS 2004

Category "random instances" (RANDOM)

Solver proved unsatisfiability (UNSATISFIABLE) (107 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (130 runs) [Show/Hide]

Solver timed out (no solution given) (274 runs) [Show/Hide]