SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.285955	0.285212	1773194
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.78188	0.78196	1773594
manol-pipe-g6bi.cnf	UNSAT	1.3268	1.33311	1775344
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.88771	1.88994	1775274
hoons-vbmc-lucky7.cnf	UNSAT	2.83557	2.8401	1773394
manol-pipe-c9.cnf	UNSAT	3.59545	3.60386	1775464
cmu-bmc-barrel6.cnf	UNSAT	3.99639	4.00322	1773334
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	6.02508	6.03113	1773954
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	7.31489	7.32104	1773724
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	8.48671	8.4988	1773584
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	8.75467	8.77118	1773814
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	8.79466	8.79871	1773034
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	10.1974	10.2145	1772934
manol-pipe-g7nidw.cnf	UNSAT	12.4551	12.4651	1775454
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	12.5191	12.5224	1773024
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	12.987	12.9909	1773644
schup-l2s-abp4-1-k31.cnf	UNSAT	14.4758	14.4846	1773344
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	14.6558	14.672	1773754
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	15.1337	15.1433	1773774
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	15.5716	15.591	1772974
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	16.7525	16.7666	1773944
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	21.9057	21.9318	1772584
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	24.0963	24.1145	1772964
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	24.1503	24.1568	1773084
velev-engi-uns-1.0-4nd.cnf	UNSAT	24.4833	24.4945	1773444
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	25.1482	25.1657	1775214
manol-pipe-c10nidw_s.cnf	UNSAT	25.8971	25.9217	1775244
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	26.9149	26.9335	1773694
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	27.5348	27.563	1774654
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	30.6953	30.7203	1772954
simon-s03-fifo8-300.cnf	UNSAT	30.9523	30.9738	1775424
manol-pipe-g10id.cnf	UNSAT	31.9541	31.9735	1775304
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	32.1701	32.1895	1773614
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	33.4979	33.5246	1774864
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	33.6159	33.6749	1773014
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	35.9235	35.9404	1773674
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	37.6003	37.6311	1774724
goldb-heqc-term1mul.cnf	UNSAT	40.4269	40.4477	1775324
cmu-bmc-longmult15.cnf	UNSAT	41.8006	41.8336	1773524
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	43.1504	43.1878	1774694
manol-pipe-c6nidw_i.cnf	UNSAT	44.8672	44.9392	1775484
manol-pipe-c6bidw_i.cnf	UNSAT	46.6529	46.6911	1773474
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	51.6521	51.6766	1772594
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	52.371	52.4319	1774534
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	55.7675	55.8104	1773934
velev-live-uns-2.0-ebuf.cnf	UNSAT	75.6755	75.7355	1775334
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	78.1181	78.2001	1772944
manol-pipe-c7bidw_i.cnf	UNSAT	91.7201	91.7816	1775444
manol-pipe-g10nid.cnf	UNSAT	91.7301	91.7891	1773454
manol-pipe-g10bidw.cnf	UNSAT	97.2212	97.2921	1775254
manol-pipe-c7nidw.cnf	UNSAT	109.569	109.64	1775294
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	131.249	131.371	1774624
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	135.99	136.034	1773064
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	157.384	157.482	1773974
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	174.648	174.728	1774884
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	184.805	184.914	1774814
schup-l2s-guid-1-k56.cnf	UNSAT	187.726	187.778	1775414
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	191.411	191.56	1774794
goldb-heqc-i10mul.cnf	UNSAT	195.733	195.815	1775284
simon-s02b-dp11u10.cnf	UNSAT	196.292	196.4	1775364
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	225.303	225.412	1774494
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	264.19	264.328	1773804
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	280.563	280.708	1774584
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	325.56	325.68	1774464
goldb-heqc-alu4mul.cnf	UNSAT	327.325	327.491	1773564
manol-pipe-f9n.cnf	UNSAT	353.753	353.968	1775384
manol-pipe-f9b.cnf	UNSAT	356.904	357.087	1773414
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	379.633	379.802	1775094
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	391.936	392.132	1772804
manol-pipe-c10nid_i.cnf	UNSAT	424.718	424.93	1773544
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	448.617	448.757	1774384
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	488.104	488.281	1772814
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	503.64	503.964	1772714
velev-vliw-uns-4.0-9C1.cnf	UNSAT	525.166	525.313	1775354
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	543.882	544.16	1774614
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	544.447	544.685	1774444
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	552.11	552.352	1774634
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	586.954	587.26	1773004
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	619.192	619.459	1774484
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	623.37	623.646	1774734
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	624.644	624.925	1775134
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	637.888	638.262	1773204
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	686.421	686.735	1774514
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	692.548	692.898	1774574
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	723.975	724.373	1774374
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	772.307	772.585	1774474
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	789.295	789.577	1773244
manol-pipe-c10nidw.cnf	UNSAT	816.981	817.302	1773434
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	837.434	837.784	1774564
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	905.967	906.404	1773094
goldb-heqc-dalumul.cnf	UNSAT	925.878	926.271	1773504
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	UNSAT	926.685	927.171	1773834
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	940.478	940.799	1774524
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	968.539	969.065	1772734
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	990.164	990.462	1774434
manol-pipe-f10ni.cnf	UNSAT	1023.56	1024	1775404
velev-pipe-o-uns-1.0-7.cnf	UNSAT	1029.21	1029.71	1775374
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	1081.62	1082.06	1773604
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT	1373.99	1374.78	1773284
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	UNSAT	1463.91	1464.45	1773254
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	UNSAT	1510.73	1511.26	1774554
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1582.01	1582.64	1774854
schup-l2s-bc56s-1-k391.cnf	UNSAT	1659.43	1660.39	1773404
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	1674.28	1674.92	1772994
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	1815.53	1816.29	1774894
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	1933.32	1934.1	1774664
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	1937.01	1937.98	1773704
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	1960.41	1961.18	1772574
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	2090.68	2091.26	1772834
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	2117.71	2118.72	1774764
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	2297.58	2298.7	1774674
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	UNSAT	2342.65	2343.79	1773224
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	2432.37	2433.38	1773914
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	2488.68	2489.42	1773794
velev-pipe-o-uns-1.1-6.cnf	UNSAT	2624.79	2625.58	1775314
goldb-heqc-frg1mul.cnf	UNSAT	2693.12	2694.18	1773354
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	3206.59	3208.17	1772864
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	3542.12	3543.4	1774844
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	4227.26	4229.21	1773364
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	UNSAT	4245.33	4247.25	1773234
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	4702.57	4703.79	1773634
goldb-heqc-x1mul.cnf	UNSAT	4919.2	4920.43	1773314
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	UNSAT	6606.89	6609.68	1774684
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	6836.2	6839.08	1773274
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	8072.3	8076.11	1773074
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	8771.14	8774.36	1772784
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	UNSAT	9905.29	9908.1	1774944

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.267958	0.266463	1773554
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.278956	0.280786	1774244
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.345946	0.346498	1774274
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.798878	0.799365	1774334
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.17082	1.18424	1774234
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.23981	1.24473	1774254
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	1.37779	1.38081	1774394
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	1.69574	1.70126	1774454
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.72174	1.72296	1774304
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.79973	1.80269	1774344
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.92171	1.92628	1774264
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	2.92855	2.93391	1775014
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.93755	2.93714	1775074
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	3.2745	3.27655	1774324
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	3.37449	3.38885	1774204
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	4.03039	4.0415	1774224
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	4.65929	4.70885	1774214
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	6.05808	6.06478	1774314
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	7.03093	7.04543	1774114
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	7.15891	7.16579	1774284
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	7.38588	7.40072	1774184
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	7.40987	7.42163	1774424
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	8.26074	8.2743	1774294
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	9.35258	9.36994	1774354
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	10.4814	10.4927	1774964
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	15.8986	15.9114	1774364
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	18.7801	18.7908	1774704
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	24.4823	24.5041	1774604
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	27.0559	27.0681	1772924
industrial/grieu/ vmpc_24.cnf	SAT	28.7386	28.7525	1773134
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	31.5252	31.5436	1774414
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	31.6872	31.7194	1773294
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	33.4139	33.4378	1774074
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	33.6959	33.7169	1772634
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	40.3169	40.3419	1774404
simon-s03-w08-15.cnf	SAT	44.9962	45.0282	1773374
industrial/grieu/ vmpc_25.cnf	SAT	45.3841	45.4007	1773104
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	45.6171	45.6641	1773304
schup-l2s-motst-2-k315.cnf	SAT	59.4	59.5149	1773424
industrial/grieu/ vmpc_26.cnf	SAT	84.1492	84.1903	1773174
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	95.7174	95.7851	1774064
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	95.8114	95.8593	1774014
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	102.416	102.49	1774924
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	140.445	140.505	1774194
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	186.912	187.043	1774594
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	191.15	191.26	1774544
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	407.339	407.457	1774644
industrial/grieu/ vmpc_33.cnf	SAT	543.501	543.753	1773124
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	609.947	610.227	1774164
industrial/grieu/ vmpc_28.cnf	SAT	677.045	677.349	1773154
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	743.3	743.665	1772644
industrial/grieu/ vmpc_29.cnf	SAT	864.04	864.455	1773144
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	908.378	908.85	1773994
mizh-md5-48-5.cnf	SAT	1143.64	1144.29	1773574
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1288.79	1289.39	1774874
industrial/grieu/ vmpc_30.cnf	SAT	1311.92	1312.45	1773114
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	1394.26	1394.99	1774834
mizh-sha0-35-3.cnf	SAT	1503.13	1503.82	1773534
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	1804.89	1805.68	1774774
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	1927.59	1928.12	1774804
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	2182.15	2182.82	1774754
velev-pipe-sat-1.0-b7.cnf	SAT	2265.34	2266.4	1775234
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	2553.53	2554.73	1775064
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	2792.15	2793.16	1775124
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	2852.67	2853.44	1774714
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	3204.55	3205.87	1772614
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	3214.71	3216.14	1772984
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	SAT	3228.62	3229.52	1772604
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	3496.3	3498.03	1774174
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	3655.59	3657.38	1774784
velev-pipe-sat-1.0-b10.cnf	SAT	4524.05	4526.07	1775264
industrial/grieu/ vmpc_34.cnf	SAT	5105.81	5108.03	1773164
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	5423.78	5425.93	1772624
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	SAT	6128.98	6130.96	1774824
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	6289.06	6289.07	1774904
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	8246.87	8251.03	1774054
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	8766.23	8769.83	1774914

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	10000	10005.4	1773764
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	10000	10005.1	1773864
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	10000	10005	1773824
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	10000	10004	1774024
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000	10003	1772884
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	10000	10004.5	1773884
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	10000	10004.3	1773894
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000	10004.9	1772854
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	10000	10004.6	1773924
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10000	10005	1774004
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	10000	10002.7	1774044
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10000	10004.4	1774094
mizh-md5-47-3.cnf	? (TO)	10000	10004.4	1773324
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	10000	10005.1	1774134
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	10000	10004.4	1774034
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	10000	10004.8	1774154
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10000	10004.2	1774954
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000	10004	1775224
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	10000	10006.9	1774744
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000	10004.3	1772914
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10000	10002.7	1775104
mizh-sha0-36-3.cnf	? (TO)	10000	10003.6	1773384
aloul-chnl11-13.cnf	? (TO)	10000	10003.6	1773494
mizh-md5-47-4.cnf	? (TO)	10000	10002.7	1773514
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000	10003.8	1774984
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10000	10005.7	1774994
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10000	10004.6	1775024
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000	10004.2	1775084
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	10000	10002.9	1775114
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	10000	10003.5	1773214
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10000	10005.6	1773984
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000	10005	1775164
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	10000	10000.1	1773654
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10000	10004.3	1775194
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000	10004.3	1775204
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000	10004.1	1772844
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	10000	10005.5	1775434
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10000	10005	1773684
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000	10005	1772894
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	10000	10004.7	1773784
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10000	10002.7	1775004
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000	10004.8	1772724
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	10000	10003.4	1775184
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10000.1	10004.8	1775054
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10000.1	10004.6	1775174
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	10000.1	10004.1	1773624
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.1	10000.1	1772654
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000.1	10004.2	1772684
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.1	10005.6	1772694
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000.1	10005.1	1772704
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	10000.1	10004.7	1772764
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10003	1772744
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.1	10003.9	1772754
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	10000.1	10004.5	1772774
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	10000.1	10004.2	1772794
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10002.6	1772824
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.1	10004.3	1772874
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10004.6	1772904
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000.1	10004	1773044
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000.1	10003.7	1773054
industrial/narain/ clauses-8.cnf	? (TO)	10000.1	10004.4	1773184
mizh-sha0-36-4.cnf	? (TO)	10000.1	10005.1	1773464
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	10000.1	10002.7	1773264
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	10000.1	10003.1	1774104
vange-col-abb313GPIA-9-c.cnf	? (TO)	10000.1	10002.8	1773484
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	10000.1	10004.1	1773714
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10000.1	10005.1	1773664
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	10000.1	10005	1772664
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000.1	10003.1	1772674
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	10000.1	10004.7	1773734
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	10000.1	10003.8	1773744
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	10000.1	10004.5	1773854
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	10000.1	10003.8	1773874
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	10000.1	10004.4	1773904
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	10000.1	10002.9	1774124
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	10000.1	10004.4	1774144
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10000.1	10005	1775034
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	10000.1	10004.7	1775044
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10004.2	1774934
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000.1	10005.1	1774974
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10005.2	1775144
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	10000.1	10004.8	1775154
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	10000.1	10002.9	1773844
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	10000.1	10004.1	1773964
mizh-sha0-36-2.cnf	? (TO)	10000.1	10003.8	1775394
velev-pipe-uns-1.0-8.cnf	? (TO)	10000.1	10004.1	1775474
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000.1	10005.1	1774084

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	15.24	15.6126	1774504

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.004998	0.00564299	1784532
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.005998	0.00708499	1784508
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.027994	0.027766	1784492
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	0.376941	0.378284	1784292
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	0.45493	0.456157	1783544
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.625904	0.626227	1784544
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	1.00085	1.0066	1783536
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	1.72874	1.8178	1784500
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	4.28735	4.28737	1783908
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	5.35019	5.35256	1784148
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	12.3501	12.3676	1783528
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	20.9368	20.9573	1783540
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	34.5937	34.6115	1784228
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	43.5164	43.5433	1784220
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	50.5873	50.6127	1783548
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	55.2026	55.225	1784156
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	87.3657	87.3948	1783564
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	92.8909	92.9192	1784208
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	96.8373	96.8682	1783568
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	146.901	146.972	1783976
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	148.965	149.034	1784512
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	149.959	150.025	1783576
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	181.947	182.027	1783884
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	200.388	200.482	1783864
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	207.009	207.078	1783596
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	238.635	238.738	1783868
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	238.955	239.048	1783600
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	251.492	251.605	1783888
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	266.908	267.093	1783676
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	289.361	289.488	1783872
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	293.125	293.278	1783876
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	420.741	420.92	1783996
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	489.112	489.253	1783704
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	540.24	540.178	1784004
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	632.817	633.138	1784276
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	694.102	694.277	1783524
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	UNSAT	767.762	768.11	1783672
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	996.168	996.604	1783988
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	1023.17	1023.43	1783860
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	UNSAT	1345.33	1345.8	1783980
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	UNSAT	1530.52	1531	1784356
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	UNSAT	1976.61	1977.16	1783804
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	2000.83	2001.36	1784296
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	UNSAT	2039.55	2040.4	1784008
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	UNSAT	2388.53	2389.76	1783964
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	2771.49	2773.08	1783880
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	2926.46	2927.45	1783984
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	3130.41	3131.8	1784140
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	UNSAT	3810.39	3811.36	1783612

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.017997	0.019291	1784224
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.021996	0.023353	1784496
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.022995	0.0234199	1784548
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.026995	0.0266901	1784320
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.028994	0.0299531	1784332
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.033994	0.03451	1784312
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.045992	0.0473031	1784316
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.047991	0.0488549	1784340
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.050992	0.053029	1784336
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.052991	0.0539611	1784328
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.05599	0.055317	1784476
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.05899	0.0568751	1784348
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.06399	0.0647621	1784504
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.065989	0.066801	1784324
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.072988	0.0729749	1784352
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.082986	0.0851591	1784524
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.093985	0.0946879	1784344
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.104983	0.105043	1784200
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.106982	0.108031	1784480
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	0.444931	0.446398	1784516
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.505922	0.506011	1784212
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	1.03984	1.04326	1784244
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	1.56576	1.56726	1784536
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	1.87971	1.87779	1784232
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	2.24266	2.24707	1784552
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	3.00954	3.01466	1784092
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	4.69429	4.70008	1784388
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	4.82427	4.92402	1783532
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	5.35819	5.36694	1784084
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	5.64214	5.66395	1784068
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	12.2201	12.2266	1784624
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	12.5131	12.5214	1784056
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	14.2478	14.2581	1784540
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	19.536	19.5505	1784088
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	19.641	19.6548	1784528
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	21.1808	21.1926	1784116
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	22.0596	22.0714	1784064
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	26.7139	26.7448	1784076
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	29.2785	29.295	1784408
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	36.5174	36.5447	1783552
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	37.0334	37.049	1783556
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	38.9281	38.954	1784488
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	40.1059	40.1266	1784400
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	41.9216	41.9688	1784080
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	45.819	45.8411	1784072
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	51.4842	51.5137	1784048
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	73.4098	73.4511	1784600
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	74.0397	74.0654	1784176
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	81.8406	81.873	1784060
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	83.7573	83.8095	1784012
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	84.3992	84.4242	1783560
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	85.322	85.3568	1783588
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	112.947	112.998	1784392
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	126.959	127.028	1784304
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	149.35	149.431	1784364
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	172.996	173.087	1784096
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	188.542	188.633	1784556
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	197.942	198.088	1784216
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	199.995	200.063	1784052
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	202.933	203.058	1784044
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT	298.746	298.876	1784520
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	SAT	326.569	326.733	1783764
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	351.524	351.684	1784620
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	357.184	357.36	1784404
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	374.306	374.475	1784380
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	389.58	389.69	1783584
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	497.291	497.549	1783592
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	536.723	537.007	1784636
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	761.961	762.241	1784596
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	806.497	806.95	1784396
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	901.454	901.857	1784376
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	SAT	1040.29	1040.61	1784608
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	1083.32	1083.85	1783580
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	1121.36	1121.82	1784604
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	SAT	1182.56	1183	1783940
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	1324.34	1324.7	1783968
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	1632.92	1633.41	1783740
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	1741	1742.06	1784184
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	2160.95	2161.58	1784628
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	2166.24	2167.35	1784444
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	2212.86	2213.87	1784416
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	2227.97	2228.56	1783744
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	2323.7	2324.69	1784112
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	2821.88	2822.89	1784616
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	3286.53	3286.64	1784180
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	3515.96	3517.47	1783604

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	5000	5002.11	1784584
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000	5002.21	1784268
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	5000	5002.11	1783688
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	5000	5000.11	1783920
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	5000	5001.72	1783620
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	5000.01	5002.82	1784456
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	5000.01	5002.31	1784564
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	5000.01	5002.41	1784484
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.01	5002.61	1784252
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	5000.01	5001.41	1783696
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	5000.01	5001.62	1783680
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	5000.01	5002.41	1784196
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	5000.01	5002.01	1784120
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	5000.01	5014.71	1784168
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	5000.01	5001.81	1784108
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	5000.01	5002.82	1783960
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	5000.01	5002.11	1784040
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	5000.01	5002.51	1783932
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	5000.01	5001.51	1783944
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	5000.01	5001.72	1783692
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	5000.01	5001.31	1783848
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	5000.01	5001.31	1783808
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	5000.01	5001.62	1783792
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	5000.01	5002.31	1784612
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	5000.02	5002.11	1783856
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	5000.02	5002.21	1783572
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	5000.02	5002.72	1783660
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	5000.02	5001.41	1783756
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	5000.02	5001.91	1783752
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	5000.02	5001.51	1783788
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	5000.02	5001.91	1783832
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	5000.02	5002.11	1783844
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	5000.02	5001.81	1784136
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	5000.02	5002.41	1784128
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.02	5002.21	1784288
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	5000.02	5001.72	1784464
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	5000.02	5002.21	1784432
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	5000.02	5002.11	1784572
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	5000.03	5001.51	1783828
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	5000.03	5002.61	1784568
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	5000.03	5001.41	1783840
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	5000.03	5001.41	1783796
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	5000.03	5001.91	1784460
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	5000.03	5002.11	1784384
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	5000.03	5002.01	1784452
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	5000.03	5002.51	1783712
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	5000.03	5001.91	1783800
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	5000.03	5002.61	1784632
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	5000.03	5001.41	1784360
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.03	5002.11	1784272
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	5000.03	5002.41	1784188
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	5000.03	5001.41	1784468
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	5000.03	5003.21	1784132
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	5000.03	5002.11	1784164
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	5000.03	5001.51	1783992
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	5000.03	5002.61	1783924
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	5000.04	5002.21	1784000
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	5000.04	5002.21	1783904
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	5000.04	5002.31	1784560
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	5000.04	5002.31	1783892
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	5000.04	5002.11	1783896
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	5000.04	5001.51	1783608
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	5000.04	5001.51	1783952
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	5000.04	5002.51	1783972
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	5000.04	5002.21	1784576
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.04	5002.72	1784028
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	5000.04	5002.41	1784236
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	5000.04	5002.51	1784160
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	5000.04	5002.51	1784152
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	5000.04	5002.11	1784284
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.04	5001.41	1784260
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	5000.04	5002.82	1784372
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	5000.04	5002.51	1784472
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	5000.04	5002.31	1784588
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	5000.04	5002.31	1784440
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	5000.04	5002.11	1783720
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	5000.05	5001.72	1784192
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	5000.05	5002.72	1783936
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	5000.05	5001.62	1783668
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	5000.05	5002.51	1784144
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	5000.05	5001.41	1783728
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	5000.05	5001.31	1783928
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	5000.05	5002.11	1783644
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	5000.05	5001.41	1783768
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	5000.05	5002.71	1783772
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	5000.05	5001.81	1783656
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	5000.05	5001.41	1783784
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.05	5002.21	1784420
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	5000.05	5001.41	1783812
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	5000.06	5002.21	1783916
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	5000.06	5002.31	1783664
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	5000.06	5002.31	1783956
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	5000.06	5001.41	1783852
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	5000.06	5002.61	1783760
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	5000.06	5001.51	1784248
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	5000.06	5002.51	1784264
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	5000.06	5001.51	1783732
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	5000.06	5001.72	1783776
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	5000.07	5001.31	1783628
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	5000.07	5002.41	1783736
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	5000.07	5002.11	1783652
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	5000.07	5002.11	1784640
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	5000.07	5002.31	1784436
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	5000.07	5001.72	1783648
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	5000.07	5002.31	1783824
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	5000.07	5001.21	1784024
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	5000.07	5002.61	1784256
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	5000.07	5002.41	1783616
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	5000.08	5002.51	1783700
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	5000.08	5002.51	1784100
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	5000.08	5001.61	1783836
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	5000.08	5003.01	1783820
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.08	5002.91	1784308
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	5000.08	5001.41	1783632
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	5000.08	5002.11	1784428
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	5000.08	5001.62	1783624
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	5000.08	5002.21	1783900
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	5000.08	5001.91	1783636
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	5000.08	5001.41	1784412
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	5000.08	5002.11	1784448
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	5000.08	5002.41	1784644
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	5000.08	5001.81	1783640
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	5000.08	5002.01	1784032
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	5000.08	5001.72	1783948
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	5000.08	5002.61	1783684
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	5000.08	5001.21	1783748
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	5000.09	5002.61	1784016
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	5000.09	5002.51	1784368
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.09	5001.41	1784300
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	? (TO)	5000.09	5005.11	1784172
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	5000.09	5002.11	1783716
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	5000.09	5002.01	1784124
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	5000.09	5001.21	1783816
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	5000.09	5002.31	1784580
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	5000.09	5002.21	1784104
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	5000.09	5001.62	1784280
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	5000.09	5001.72	1784036
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	5000.09	5002.21	1783780
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.1	5002.72	1784424
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	5000.1	5002.31	1783912
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	5000.1	5002.31	1784204
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.1	5002.51	1784020
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	5000.1	5001.41	1783724
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	5000.1	5002.51	1784240
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	5000.1	5002.31	1784592
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	5000.11	5002.51	1783708

SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Result page for solver glucose 1.0 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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