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.292954	0.293904	1773197
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.463928	0.465343	1773597
hoons-vbmc-lucky7.cnf	UNSAT	1.14083	1.14175	1773397
manol-pipe-g6bi.cnf	UNSAT	1.39979	1.40071	1775347
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	1.53477	1.53632	1773037
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.57676	1.57805	1775277
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	2.30165	2.30268	1773027
cmu-bmc-barrel6.cnf	UNSAT	3.19151	3.19259	1773337
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	3.97939	3.98087	1773817
manol-pipe-c9.cnf	UNSAT	4.15637	4.15838	1775467
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	5.11422	5.1164	1773587
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	5.86511	5.86738	1773727
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	11.4333	11.4368	1773647
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	13.6769	13.6807	1773087
manol-pipe-g7nidw.cnf	UNSAT	16.7035	16.7086	1775457
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	17.1874	17.1918	1773617
velev-engi-uns-1.0-4nd.cnf	UNSAT	19.767	19.7725	1773447
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	21.2768	21.2834	1773677
schup-l2s-abp4-1-k31.cnf	UNSAT	21.9357	21.9425	1773347
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	22.7665	22.774	1775217
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	26.9649	26.9717	1773777
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	30.2664	30.2765	1772937
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	31.5522	31.5595	1773957
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	31.6002	31.613	1772587
simon-s03-fifo8-300.cnf	UNSAT	33.9758	33.9944	1775427
cmu-bmc-longmult15.cnf	UNSAT	38.8351	38.8465	1773527
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	46.5959	46.6372	1774537
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	48.0027	48.0276	1772967
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	49.0425	49.063	1774727
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	50.7923	50.8334	1774657
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	58.3771	58.3927	1773757
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	59.46	59.4739	1772977
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	62.1895	62.2144	1774627
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	63.0084	63.4132	1772597
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	68.6526	68.6832	1773947
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	73.4118	73.4316	1774517
manol-pipe-c10nidw_s.cnf	UNSAT	85.383	85.4256	1775247
manol-pipe-g10id.cnf	UNSAT	86.4979	86.5797	1775307
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	89.8373	89.8593	1773697
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	91.2241	91.2632	1774697
velev-live-uns-2.0-ebuf.cnf	UNSAT	95.3245	95.3587	1775337
manol-pipe-c6nidw_i.cnf	UNSAT	95.4475	95.4849	1775487
manol-pipe-c6bidw_i.cnf	UNSAT	101.821	101.846	1773477
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	102.915	102.94	1773067
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	117.747	117.804	1773017
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	130.693	130.741	1772957
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	149.887	149.957	1774867
manol-pipe-c7bidw_i.cnf	UNSAT	175.464	175.513	1775447
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	180.612	180.687	1773937
manol-pipe-g10nid.cnf	UNSAT	182.672	182.726	1773457
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	184.989	185.067	1774797
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	191.222	191.323	1774887
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	197.7	197.779	1774637
manol-pipe-c7nidw.cnf	UNSAT	221.111	221.215	1775297
schup-l2s-guid-1-k56.cnf	UNSAT	231.188	231.273	1775417
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	241.989	242.075	1772947
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	274.72	274.906	1775097
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	281.419	281.489	1774817
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	313.762	313.845	1774437
goldb-heqc-alu4mul.cnf	UNSAT	323.443	323.523	1773567
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	340.499	340.59	1773977
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	348.851	348.953	1774387
manol-pipe-g10bidw.cnf	UNSAT	354.706	354.82	1775257
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	356.485	356.589	1774447
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	374.872	374.964	1775137
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	392.795	392.933	1774467
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	396.961	397.096	1774377
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	413.163	413.281	1773097
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	419.289	419.41	1774497
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	441.305	441.44	1774587
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	453.675	453.898	1774567
goldb-heqc-i10mul.cnf	UNSAT	521.826	521.962	1775287
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	536.737	536.893	1772817
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	539.576	539.718	1772717
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	561.486	561.736	1774577
manol-pipe-f9n.cnf	UNSAT	566.738	566.887	1775387
manol-pipe-f9b.cnf	UNSAT	574.371	574.516	1773417
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	595.718	595.953	1772737
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	663.296	663.463	1773607
simon-s02b-dp11u10.cnf	UNSAT	775.996	776.267	1775367
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	863.298	863.545	1773807
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	933.413	933.661	1772807
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	1005.29	1005.55	1773007
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	1013.21	1013.65	1774737
manol-pipe-c10nid_i.cnf	UNSAT	1142.96	1143.31	1773547
goldb-heqc-term1mul.cnf	UNSAT	1210.4	1210.72	1775327
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1529.52	1529.9	1774857
manol-pipe-c10nidw.cnf	UNSAT	1550.23	1550.63	1773437
manol-pipe-f10ni.cnf	UNSAT	1830.33	1831.11	1775407
velev-pipe-o-uns-1.0-7.cnf	UNSAT	1861.53	1862.03	1775377
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	1990.02	1990.86	1774897
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	2039.53	2040.1	1772997
schup-l2s-bc56s-1-k391.cnf	UNSAT	2145.77	2146.78	1773407
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	2191.32	2191.94	1774677
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	2277.01	2277.81	1772867
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	2306.27	2307.02	1773637
goldb-heqc-dalumul.cnf	UNSAT	2501.65	2502.25	1773507
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	2569.93	2570.88	1773917
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	2586.96	2587.71	1773077
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	3073.71	3075.02	1774527
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	3084.86	3086.18	1774767
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	3443.16	3443.99	1772837
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	3733.66	3735.33	1774667
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	3998.86	3999.91	1772577
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	4171.85	4173.19	1773797
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	4388.29	4389.35	1773707
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	UNSAT	5307.27	5308.55	1774947
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	5542.4	5543.84	1775047
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	6008.8	6012.21	1773907
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	UNSAT	7048.1	7051.05	1774687
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	7132.76	7132.78	1774847

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.12998	0.130604	1773557
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.184971	0.18661	1774247
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.301953	0.301769	1774277
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.708891	0.709263	1774337
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	0.810876	0.809795	1774257
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	0.828873	0.829434	1774237
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.11483	1.11527	1774307
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.17582	1.17687	1774347
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.36679	1.3662	1774267
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	2.37564	2.37824	1774117
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	2.97855	2.97923	1774397
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	3.2785	3.28047	1774327
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	3.36949	3.37089	1774227
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	4.11537	4.11662	1774427
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	4.21836	4.22561	1774207
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	4.63829	4.6413	1774457
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	6.68198	6.68537	1775077
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	6.92595	6.93006	1774217
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	8.61869	8.62127	1774287
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	11.6392	11.6408	1774417
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	12.4211	12.423	1774357
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	14.2128	14.2213	1774187
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	15.4417	15.4474	1774297
industrial/grieu/ vmpc_28.cnf	SAT	21.9087	21.9147	1773157
industrial/grieu/ vmpc_24.cnf	SAT	28.2087	28.2158	1773137
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	29.7015	29.7104	1774067
mizh-sha0-35-3.cnf	SAT	29.9414	29.9479	1773537
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	31.7972	31.8099	1774317
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	31.8502	31.8591	1775127
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	32.859	32.8755	1774967
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	32.985	32.9949	1775067
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	36.0175	36.0291	1774367
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	41.5277	41.5754	1774607
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	42.0326	42.043	1774407
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	47.2878	47.3383	1774707
schup-l2s-motst-2-k315.cnf	SAT	47.7617	47.7875	1773427
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	48.4056	48.4399	1772927
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	58.1682	58.1899	1774197
industrial/grieu/ vmpc_25.cnf	SAT	92.237	92.2606	1773107
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	102.611	102.639	1774077
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	108.378	108.416	1773297
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	122.011	122.047	1774017
simon-s03-w08-15.cnf	SAT	127.81	127.861	1773377
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	130.461	130.496	1772637
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	131.972	132.076	1774927
industrial/grieu/ vmpc_26.cnf	SAT	176.197	176.257	1773177
mizh-md5-47-3.cnf	SAT	186.083	186.13	1773327
mizh-sha0-36-3.cnf	SAT	223.28	223.343	1773387
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	247.97	248.031	1773997
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	248.279	248.402	1772647
mizh-md5-48-5.cnf	SAT	260.583	260.668	1773577
mizh-md5-47-4.cnf	SAT	262.001	262.085	1773517
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	277.523	277.653	1774597
velev-pipe-sat-1.0-b7.cnf	SAT	281.107	281.22	1775237
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	314.996	315.077	1774547
mizh-sha0-36-4.cnf	SAT	357.401	357.503	1773467
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	389.078	389.279	1773307
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	441.91	442.097	1774647
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	493.788	493.961	1775017
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	839.868	840.252	1772617
industrial/grieu/ vmpc_33.cnf	SAT	863.686	863.916	1773127
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1198.2	1198.51	1774877
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	1372.27	1372.61	1774167
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	1906.08	1906.76	1774177
mizh-sha0-36-2.cnf	SAT	2104.64	2105.26	1775397
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	2121.78	2122.62	1774837
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	2743.1	2744.43	1774757
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	2904.6	2906	1774787
industrial/grieu/ vmpc_30.cnf	SAT	2965.86	2966.72	1773117
industrial/grieu/ vmpc_29.cnf	SAT	3048.06	3048.8	1773147
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	3631.76	3633.33	1774807
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	3944.66	3945.64	1774057
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	SAT	3949.75	3950.92	1774827
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	4445.82	4446.9	1774777
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	4522.8	4524.05	1772627
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	4810.75	4812.12	1772987
industrial/narain/ clauses-8.cnf	SAT	6677.65	6680.6	1773187
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	7070.14	7073.56	1774717
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	SAT	8438.41	8441.45	1774747

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	2.43263	2.44559	1774507

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	10000	10003	1773887
aloul-chnl11-13.cnf	? (TO)	10000	10002.9	1773497
goldb-heqc-frg1mul.cnf	? (TO)	10000	10002.7	1773357
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	10000	10004.6	1774127
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000	10004.3	1772827
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	10000	10002.7	1774147
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	10000.1	10005	1774487
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	10000.1	10004	1775187
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10004.1	1774957
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	10000.1	10003.2	1775157
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10000.1	10003.1	1775177
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000.1	10003.2	1775167
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10003.2	1775207
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.1	10003.8	1772697
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10003.3	1774937
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10003.6	1775227
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.1	10002.7	1772877
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000.1	10002.7	1772887
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.1	10003.7	1772657
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	10000.1	10003.2	1775437
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000.1	10002.6	1772917
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000.1	10003.7	1773057
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10003.4	1775197
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10003.3	1775087
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000.1	10002.6	1773047
industrial/grieu/ vmpc_34.cnf	? (TO)	10000.1	10002.6	1773167
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10000.1	10003.5	1775057
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	10000.1	10003.6	1773207
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10000.1	10003.7	1775037
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10004.5	1775027
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000.1	10002.8	1772857
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10000.1	10008.6	1775007
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10000.1	10003.2	1774997
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000.1	10003.6	1774987
goldb-heqc-x1mul.cnf	? (TO)	10000.1	10002.9	1773317
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000.1	10004.8	1772727
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10000.1	10002.5	1773667
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10002.8	1772747
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	10000.1	10003.8	1773737
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	10000.1	10002.9	1773747
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	10000.1	10002.6	1773837
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10000.1	10003	1773687
velev-pipe-o-uns-1.1-6.cnf	? (TO)	10000.1	10015.6	1775317
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10018.9	1775147
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	10000.1	10002.9	1773847
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	10000.1	10003.4	1773857
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000.1	10004.1	1774977
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	10000.1	10003.7	1773877
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000.1	10003.6	1772677
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	10000.1	10003.6	1773897
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	10000.1	10002.8	1773927
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10000.1	10003.7	1773987
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	10000.1	10016.5	1775117
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	10000.1	10002.8	1773967
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000.1	10002.6	1774087
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10000.1	10002.9	1774007
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	10000.1	10002.8	1774047
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	10000.1	10003.7	1774027
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10000.1	10004	1774097
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	10000.1	10002.7	1774037
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	10000.1	10003.2	1774107
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	10000.1	10002.7	1774137
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	10000.1	10005.4	1774157
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000.1	10003	1772847
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000.1	10003.7	1772787
vange-col-abb313GPIA-9-c.cnf	? (TO)	10000.2	10003	1773487
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	10000.2	10004.8	1772607
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000.2	10006	1772687
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.2	10002.7	1772757
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	10000.2	10003	1772777
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	10000.2	10004.6	1772797
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000.2	10002.6	1772897
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.2	10000.2	1772907
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	10000.2	10003.9	1773247
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	10000.2	10004.5	1773627
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	10000.2	10002.7	1773717
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	10000.2	10005.3	1774557
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	10000.2	10004.2	1773767
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	10000.2	10004.2	1773827
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	10000.2	10003.2	1773787
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	10000.2	10002.9	1774477
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	10000.2	10004.3	1774907
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10000.2	10004.3	1775107
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	10000.3	10011.8	1774617
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	10000.3	10002.9	1773287
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	10000.3	10003.3	1773277
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	10000.3	10004.6	1773267
velev-pipe-sat-1.0-b10.cnf	? (TO)	10000.3	10014.6	1775267
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	10000.3	10002.9	1773237
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	10000.3	10004.5	1773217
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	10000.3	10003.2	1773657
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	10000.3	10004.6	1773227
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	10000.3	10003.5	1773867
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	10000.3	10003.9	1773257
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	10000.3	10003.1	1772767
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000.3	10004.9	1772707
velev-pipe-uns-1.0-8.cnf	? (TO)	10000.3	10004.9	1775477
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	10000.3	10005.1	1774917
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	10000.3	10005.3	1772667
velev-vliw-uns-4.0-9C1.cnf	? (TO)	10000.4	10004.2	1775357

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
velev-vliw-uns-4.0-9-i1.cnf	? (MO)	7672.65	7675.58	1773367

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0	0.00506096	1784509
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.00501494	1784533
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.012997	0.0131021	1784493
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	0.069988	0.070544	1783545
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	0.18497	0.185277	1784293
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	0.252961	0.25342	1783537
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.356945	0.357115	1784545
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	0.487925	0.488596	1783541
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	1.10683	1.10782	1784149
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	1.92971	1.93082	1783909
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	2.6146	2.61553	1784501
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	17.2464	17.2523	1784157
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	17.5723	17.5779	1784229
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	21.5167	21.5234	1783529
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	31.6922	31.7035	1784221
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	57.0943	57.1216	1783601
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	59.276	59.2941	1783577
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	93.1298	93.1602	1783549
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	102.324	102.35	1783677
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	103.567	103.596	1783977
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	104.836	104.883	1783597
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	138.772	138.809	1784513
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	139.038	139.071	1783889
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	170.182	170.232	1783877
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	181.169	181.216	1783869
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	192.799	192.872	1784277
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	193.379	193.36	1783565
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	208.173	208.226	1783997
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	209.615	209.666	1783881
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	213.242	213.32	1783569
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	232.377	232.44	1783885
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	255.553	255.634	1783989
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	256.24	256.309	1783873
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	UNSAT	284.559	284.647	1783673
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	287.49	287.567	1784005
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	442.829	443.024	1783573
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	505.737	505.859	1783865
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	531.764	531.928	1784141
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	592.077	592.007	1784209
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	UNSAT	773.277	773.507	1783613
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	UNSAT	836.602	836.916	1784357
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	UNSAT	1212.8	1213.12	1783821
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	UNSAT	1215.01	1215.3	1783981
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	1225.18	1225.7	1783525
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	UNSAT	1240.77	1241.07	1784009
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	1268.47	1268.83	1783705
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	UNSAT	1582.55	1583.09	1783829
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	UNSAT	1762.75	1763.21	1783937
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	UNSAT	1785.31	1785.79	1783965
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	UNSAT	2128.27	2128.92	1783805
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	UNSAT	2237.2	2237.78	1783929
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	2868.83	2869.69	1783709
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	UNSAT	3348.09	3349.21	1783625
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	4162.63	4164.01	1783861
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	UNSAT	4440.42	4441.61	1783769

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.008998	0.00994805	1784497
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.012997	0.0132381	1784549
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.028994	0.0318319	1784321
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.034993	0.034799	1784333
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.040992	0.0422119	1784313
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.047992	0.0470361	1784505
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.051991	0.0523651	1784225
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.06099	0.060147	1784525
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.074987	0.0752959	1784341
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.074987	0.0751771	1784317
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.083986	0.0848531	1784337
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.090985	0.0915371	1784329
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.098984	0.099368	1784349
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.099984	0.099611	1784477
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.118981	0.118638	1784325
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.138978	0.140092	1784353
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.195969	0.196769	1784345
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.280956	0.281487	1784481
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	0.363944	0.362963	1784517
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	1.34879	1.34963	1784245
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	1.60676	1.60691	1784553
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	1.71074	1.71198	1783897
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	2.76158	2.76459	1783553
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	2.85156	2.85365	1783533
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	3.17252	3.17408	1783561
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	4.31534	4.31669	1783557
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	5.9471	5.94829	1784489
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	6.05808	6.06087	1784305
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	6.12507	6.1254	1784201
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	6.31604	6.31791	1784537
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	7.15191	7.15422	1784093
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	7.71083	7.71589	1784077
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	8.62369	8.62679	1784393
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	8.64968	8.6515	1784529
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	11.9262	11.9294	1784085
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	13.217	13.2222	1783745
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	13.475	13.4774	1783585
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	15.2347	15.248	1784081
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	15.2447	15.249	1784541
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	16.5165	16.522	1784625
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	19.0981	19.0956	1784365
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	22.3446	22.35	1784557
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	25.3042	25.319	1784089
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	26.7199	26.728	1783593
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	30.0574	30.0666	1784057
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	38.0342	38.0436	1784117
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	38.5861	38.5976	1784177
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	39.522	39.5332	1784401
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	42.1056	42.12	1783589
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	42.7725	42.7881	1784045
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	44.5502	44.5627	1784013
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	46.4109	46.4261	1784069
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	SAT	49.6494	49.6627	1783765
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT	53.2569	53.2752	1784521
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	57.7442	57.7655	1784197
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	67.1428	67.1613	1783969
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	71.0932	71.1109	1784073
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	90.1493	90.1734	1784065
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	104.394	104.424	1783581
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	134.802	134.831	1784213
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	141.623	141.67	1784053
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	168.645	168.687	1784381
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	188.58	188.644	1784061
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	202.791	207.187	1784185
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	211.906	211.957	1784409
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	242.642	242.729	1784389
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	265.738	265.809	1784637
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	271.952	272.047	1784097
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	341.088	341.188	1784173
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	395.497	395.597	1784113
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	498.609	498.757	1784049
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	SAT	531.142	531.277	1784273
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	616.594	616.813	1784601
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	618.89	619.064	1784621
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	744.74	744.903	1783741
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	788.902	789.223	1784617
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	871.674	872.091	1783605
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	986.954	987.3	1784417
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	1048.75	1049.04	1784405
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	1134.87	1135.15	1784101
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	1302.07	1302.54	1784605
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	1719.93	1720.34	1784377
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	2017.39	2017.84	1784269
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	SAT	2127.73	2128.52	1783801
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	2134.02	2134.57	1784233
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	SAT	2161.01	2161.58	1784309
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	2443.09	2443.96	1784397
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	2650.85	2651.55	1784017
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	3441.79	3442.81	1783949
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	3514.22	3525.79	1784181
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	4237.86	4238.91	1784629

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	5000.02	5001.81	1784145
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	5000.02	5001.51	1783917
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	5000.02	5001.81	1783797
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	5000.02	5001.51	1783993
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	5000.03	5001.31	1784593
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	5000.03	5001.51	1784001
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	5000.03	5001.91	1783985
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	5000.03	5002.21	1784581
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	5000.03	5001.72	1784573
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	5000.03	5001.91	1783737
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	5000.03	5001.32	1783665
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	5000.03	5001.91	1783629
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	5000.03	5002.01	1783749
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	5000.03	5001.82	1784249
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	5000.03	5001.81	1784169
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	5000.03	5001.41	1783813
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	5000.03	5001.51	1783849
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	5000.03	5001.32	1784633
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	5000.04	5001.93	1784453
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	5000.04	5001.94	1783733
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	5000.04	5001.33	1784257
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	5000.04	5001.81	1783837
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	5000.04	5001.91	1783841
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	5000.04	5001.41	1783713
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	5000.04	5001.32	1784121
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	5000.04	5001.81	1784137
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	5000.04	5001.81	1784569
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	5000.04	5001.32	1784465
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	5000.04	5001.83	1784457
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.04	5001.83	1784425
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	5000.04	5002.31	1783973
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	5000.04	5001.41	1784133
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	5000.05	5002.31	1784153
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	5000.05	5001.41	1783857
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	5000.05	5001.51	1783925
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	5000.06	5001.45	1784433
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.06	5001.95	1784421
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	5000.06	5002.01	1783793
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	5000.06	5001.42	1783825
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.06	5001.73	1784261
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	5000.06	5001.51	1784577
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	5000.06	5001.41	1783649
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	5000.06	5001.82	1783641
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	5000.06	5001.23	1784473
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	5000.06	5001.42	1783661
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	5000.06	5001.41	1783669
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	5000.06	5001.81	1784161
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	5000.06	5001.75	1783833
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	5000.07	5001.43	1784445
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	5000.07	5001.44	1784441
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	5000.07	5001.31	1783757
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	5000.07	5001.91	1783621
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	5000.07	4999.44	1784237
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	5000.07	5001.42	1784037
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	5000.07	5001.91	1783729
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.07	5001.52	1784289
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	5000.07	5001.41	1783957
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	5000.07	5002.25	1784281
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	5000.07	5001.72	1784165
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	5000.08	5001.42	1784645
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	5000.08	5001.31	1783645
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	5000.08	5002.11	1783717
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	5000.08	5001.41	1783725
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	5000.08	5001.81	1783853
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	5000.08	5001.31	1783817
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	5000.08	5001.43	1784041
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	5000.08	5001.91	1784193
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	5000.08	5001.54	1784369
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	5000.08	5001.74	1784449
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	5000.09	5001.42	1784241
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	5000.09	5001.65	1783941
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	5000.09	5001.31	1783953
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	5000.09	5001.66	1784597
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	5000.09	5001.41	1783845
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	5000.09	5001.67	1783689
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.09	5001.41	1784253
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	5000.09	5001.51	1784589
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	5000.09	5001.44	1784485
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	5000.09	5001.88	1783685
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	5000.09	5001.42	1784641
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	5000.09	5001.72	1783637
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	5000.09	5001.52	1784285
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	5000.09	5001.31	1783721
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	5000.09	5008.11	1784189
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.1	5001.32	1784301
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	5000.1	5001.33	1783777
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	5000.1	5001.31	1784561
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	5000.1	5001.43	1783781
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	5000.1	5000.13	1783657
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	5000.1	5001.43	1784385
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	5000.1	5002.11	1783617
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	5000.1	5001.63	1784217
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	5000.1	5001.41	1783921
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	5000.11	5001.41	1783945
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.11	5002	1784021
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	5000.11	5001.98	1783905
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	5000.11	5001.79	1783893
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	5000.11	5001.72	1783913
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	5000.11	5001.31	1783809
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	5000.11	5001.62	1783789
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	5000.11	5001.22	1784265
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	5000.11	5001.49	1783773
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	5000.11	5001.31	1784297
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	5000.11	5001.33	1784413
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	5000.11	5001.91	1784565
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	5000.11	5002.21	1783609
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	5000.11	5001.41	1783633
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	5000.11	5001.51	1783961
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	5000.12	5001.97	1784373
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	5000.12	5001.41	1784585
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	5000.12	5001.87	1784361
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	5000.12	5001.43	1784469
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	5000.12	5002.17	1784437
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	5000.12	4999.47	1784613
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	5000.13	5002.01	1784129
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	5000.13	5002.09	1783693
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	5000.13	5002.17	1784429
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	5000.13	5002.45	1783653
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	5000.14	5001.6	1784609
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	5000.14	5001.53	1783901
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.14	5001.57	1784029
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	5000.14	5001.94	1784025
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	5000.15	5001.25	1784205
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	5000.16	5001.9	1783697
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	5000.16	5001.56	1784105
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	5000.16	5001.27	1783681
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	5000.17	5001.29	1783701
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	5000.18	5001.58	1784461
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	5000.2	5001.47	1784125
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	5000.23	5002.44	1783785
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	5000.25	5001.58	1783753
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	5000.26	5002.06	1783761
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	5000.26	5001.94	1784033
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	5000.29	5002.22	1783933
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	5000.32	5001.93	1784109

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

Result page for solver MXC 2009-03-10 (complete)

Category "applications instances" (APPLICATION)

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

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

Solver didn't decide (UNKNOWN) (1 run) [Show/Hide]

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

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

Category "crafted instances" (CRAFTED)

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

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

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