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.302953	0.303831	1773192
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.417936	0.418643	1773592
manol-pipe-g6bi.cnf	UNSAT	0.876865	0.877537	1775342
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.14182	1.14152	1775272
hoons-vbmc-lucky7.cnf	UNSAT	1.60676	1.60726	1773392
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	1.72674	1.72792	1773032
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	2.36864	2.3701	1773022
cmu-bmc-barrel6.cnf	UNSAT	2.72658	2.72819	1773332
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	2.75658	2.75757	1773722
manol-pipe-c9.cnf	UNSAT	2.97855	2.97849	1775462
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	4.32534	4.32694	1773952
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	4.50531	4.50722	1773812
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	6.32304	6.32304	1773582
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	7.29689	7.29986	1773642
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	8.37073	8.37292	1773612
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	10.5074	10.5103	1773942
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	14.9167	14.9216	1775212
schup-l2s-abp4-1-k31.cnf	UNSAT	15.9196	15.9242	1773342
velev-engi-uns-1.0-4nd.cnf	UNSAT	16.0926	16.0988	1773442
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	16.0946	16.0986	1773772
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	17.2984	17.305	1773752
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	19.3051	19.3108	1772582
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	20.005	20.2148	1772932
cmu-bmc-longmult15.cnf	UNSAT	27.8578	27.8648	1773522
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	29.9125	29.921	1773932
manol-pipe-c10nidw_s.cnf	UNSAT	30.1424	30.1624	1775242
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	33.8968	33.9071	1774532
simon-s03-fifo8-300.cnf	UNSAT	34.6577	34.6757	1775422
goldb-heqc-term1mul.cnf	UNSAT	36.2085	36.2182	1775322
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	38.0992	38.1101	1773692
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	38.3222	38.3319	1772972
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	39.342	39.3519	1772962
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	41.1148	41.1283	1773672
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	42.1266	42.166	1774692
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	43.3614	43.3732	1773082
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	43.5524	43.5666	1774652
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	48.3257	48.3399	1774722
velev-live-uns-2.0-ebuf.cnf	UNSAT	49.6315	49.65	1775332
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	50.2934	50.3064	1772592
manol-pipe-g10id.cnf	UNSAT	53.0919	53.1394	1775302
manol-pipe-c6bidw_i.cnf	UNSAT	65.2501	65.2761	1773472
manol-pipe-c6nidw_i.cnf	UNSAT	66.1369	66.1681	1775482
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	68.2226	68.2736	1774622
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	75.5175	75.536	1773012
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	78.827	78.8837	1774512
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	84.5491	84.578	1773972
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	95.1965	95.2666	1772952
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	107.13	107.162	1774792
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	112.165	112.224	1774562
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	120.626	120.654	1775132
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	136.032	136.069	1774862
manol-pipe-c7bidw_i.cnf	UNSAT	137.83	137.877	1775442
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	138.17	138.261	1774582
manol-pipe-g7nidw.cnf	UNSAT	148.429	148.474	1775452
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	154.136	154.171	1775092
manol-pipe-c7nidw.cnf	UNSAT	154.276	154.315	1775292
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	155.002	155.064	1773802
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	182.238	182.306	1774632
schup-l2s-guid-1-k56.cnf	UNSAT	187.732	187.794	1775412
manol-pipe-g10bidw.cnf	UNSAT	188.333	188.414	1775252
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	190.011	190.062	1774372
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	208.114	208.219	1774882
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	209.314	209.366	1773602
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	246.122	246.186	1774492
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	251.999	252.073	1773062
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	261.052	261.12	1774442
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	269.152	269.232	1774382
manol-pipe-g10nid.cnf	UNSAT	285.838	285.944	1773452
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	302.555	302.634	1772942
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	306.51	306.609	1772812
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	308.085	308.172	1774432
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	349.821	349.928	1774462
goldb-heqc-alu4mul.cnf	UNSAT	369.075	369.173	1773562
goldb-heqc-i10mul.cnf	UNSAT	425.212	425.329	1775282
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	441.768	441.984	1774572
simon-s02b-dp11u10.cnf	UNSAT	466.196	466.369	1775362
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	469.382	469.56	1774812
manol-pipe-f9b.cnf	UNSAT	635.215	635.548	1773412
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	641.124	641.307	1773002
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	661.016	661.243	1773912
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	665.826	666.013	1772802
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	675.014	675.206	1774612
manol-pipe-c10nid_i.cnf	UNSAT	713.979	714.153	1773542
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	739.962	740.161	1772712
manol-pipe-f9n.cnf	UNSAT	755.65	755.976	1775382
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	844.997	845.202	1773632
schup-l2s-bc56s-1-k391.cnf	UNSAT	856.068	856.315	1773402
manol-pipe-c10nidw.cnf	UNSAT	948.529	948.987	1773432
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	1096.66	1096.96	1774732
velev-pipe-o-uns-1.0-7.cnf	UNSAT	1098.04	1098.35	1775372
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	1496.45	1497.19	1772992
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1508.81	1509.45	1774852
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	1528.86	1529.65	1772732
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	1561.96	1562.36	1774672
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	1694.48	1695.34	1774892
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	1769.76	1770.55	1774762
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	1873.16	1873.97	1773902
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	1949	1949.48	1774522
manol-pipe-f10ni.cnf	UNSAT	1963.69	1964.49	1775402
velev-pipe-o-uns-1.1-6.cnf	UNSAT	2155.86	2156.59	1775312
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	2398.41	2398.98	1773092
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	2594.72	2596.29	1772572
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	2718.68	2718.42	1774482
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	2805.25	2806.02	1772832
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	3059.02	3060.58	1774472
goldb-heqc-dalumul.cnf	UNSAT	3123.47	3124.68	1773502
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	UNSAT	3151.09	3151.89	1774942
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	3713.19	3714.22	1772862
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	3854.53	3855.55	1773702
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	3892.92	3894.06	1775042
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	4214.98	4216.46	1773792
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	4518.06	4519.84	1773962
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	UNSAT	4521.18	4522.5	1774682
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	UNSAT	6051.57	6054.01	1774552
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	6879.8	6882.65	1773622
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	8325.29	8328.22	1773202

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.12298	0.123234	1773552
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.153976	0.153922	1774242
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.235963	0.236182	1774272
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.45193	0.452751	1774332
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	0.731888	0.732406	1774232
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	0.744886	0.746092	1774252
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	0.891863	0.892542	1774302
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	1.06584	1.06629	1774422
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.10383	1.10496	1774262
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	1.53077	1.53105	1774202
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	1.58376	1.58427	1774392
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	1.99769	1.99879	1774212
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	2.09268	2.09247	1774322
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	3.09953	3.10056	1774222
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	3.2815	3.28331	1775012
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	3.2905	3.29108	1774342
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	3.9304	3.93636	1774412
industrial/grieu/ vmpc_25.cnf	SAT	4.16037	4.16235	1773102
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	4.42033	4.42211	1775072
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	5.2352	5.23673	1774072
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	6.62699	6.62893	1774452
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	7.2039	7.20693	1774282
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	8.84565	8.84675	1774352
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	9.03562	9.03958	1774292
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	10.9863	10.9898	1774312
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	12.4471	12.4604	1774362
mizh-sha0-35-3.cnf	SAT	12.961	12.9642	1773532
industrial/grieu/ vmpc_28.cnf	SAT	14.8477	14.8516	1773152
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	15.5656	15.5709	1774182
velev-pipe-sat-1.0-b7.cnf	SAT	15.6226	15.6359	1775232
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	16.2005	16.2808	1774012
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	19.0111	19.0209	1775122
industrial/grieu/ vmpc_24.cnf	SAT	20.1329	20.1381	1773132
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	21.6317	21.636	1775062
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	22.1136	22.1213	1774962
mizh-md5-47-3.cnf	SAT	23.3375	23.3503	1773322
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	24.1433	24.1714	1772922
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	32.4751	32.496	1774602
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	34.6207	34.6307	1774192
schup-l2s-motst-2-k315.cnf	SAT	34.7557	34.788	1773422
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	37.5353	37.5442	1774702
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	37.7953	37.8369	1774402
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	39.206	39.2185	1774112
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	43.4914	43.5153	1773292
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	45.3341	45.3451	1774062
industrial/grieu/ vmpc_26.cnf	SAT	67.9117	67.9288	1773172
mizh-md5-47-4.cnf	SAT	71.9141	71.9353	1773512
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	92.387	92.4585	1773302
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	105.977	106.014	1774592
mizh-sha0-36-3.cnf	SAT	129.894	129.94	1773382
velev-pipe-sat-1.0-b10.cnf	SAT	130.2	130.244	1775262
simon-s03-w08-15.cnf	SAT	134.049	134.094	1773372
mizh-md5-48-5.cnf	SAT	169.352	169.402	1773572
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	201.834	201.891	1774542
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	228.828	228.947	1772612
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	293.814	293.891	1774922
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	372.134	372.228	1773992
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	394.404	394.545	1774832
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	486.087	487.349	1772632
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	532.214	532.372	1774642
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	649.315	649.48	1774052
mizh-sha0-36-4.cnf	SAT	711.268	711.448	1773462
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	760.999	761.224	1774872
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	902.818	903.093	1774752
industrial/grieu/ vmpc_30.cnf	SAT	1063.61	1063.88	1773112
industrial/grieu/ vmpc_29.cnf	SAT	1236.21	1236.51	1773142
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	1399.66	1400.29	1772642
industrial/narain/ clauses-8.cnf	SAT	1450.29	1450.95	1773182
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	2128.61	2129.23	1774772
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	2169.33	2170.49	1774802
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	2169.84	2170.9	1774782
mizh-sha0-36-2.cnf	SAT	2487.75	2488.67	1775392
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	2571.25	2572.2	1774712
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	2689.11	2689.83	1774172
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	2801.37	2802.71	1772982
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	3379.47	3380.33	1774162
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	SAT	3683.98	3685.48	1774822
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	SAT	5946.44	5947.88	1774742

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000	10002.9	1774972
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10000	10003.6	1775172
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	10000	10002.6	1773072
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	10000	10003	1774142
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000	10003	1773042
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10000	10002.9	1774002
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10000	10003.5	1774092
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10000	10003	1775052
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10003.8	1775022
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000.1	10003.3	1772842
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10002.8	1772742
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.1	10004.8	1772752
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000.1	10005.1	1772782
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10002.9	1772902
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10003.5	1772822
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000.1	10003	1772852
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10000.1	10003	1773682
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	10000.1	10002.8	1773732
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	10000.1	10002.7	1774032
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	10000.1	10002.5	1773742
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	10000.1	10004.5	1773762
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	10000.1	10004	1773832
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	10000.1	10002.8	1773842
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	10000.1	10003.4	1773852
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	10000.1	10002.6	1773872
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	10000.1	10003.5	1773882
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	10000.1	10003.8	1773892
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	10000.1	10003.7	1774022
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10000.1	10004.9	1773982
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	10000.1	10003.3	1773922
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	10000.1	10002.7	1774042
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000.1	10002.6	1774082
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	10000.1	10003.6	1774102
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	10000.1	10002.8	1774122
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	10000.1	10003.7	1774132
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	10000.1	10002.5	1774152
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10003.1	1774952
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10000.1	9999.14	1774932
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10000.1	10003	1775002
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000.1	10003.6	1774982
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10000.1	10003.4	1774992
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10002.9	1775082
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	10000.1	10002.5	1775112
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10000.1	10003.7	1775102
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	10000.1	10002.6	1775152
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10002.5	1775142
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	10000.1	10003.1	1775182
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10004.1	1775192
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10002.7	1775202
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10003.3	1775222
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	10000.1	10002.9	1775432
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000.1	10002.9	1772882
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000.1	10003.6	1772912
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000.1	10002.5	1773052
industrial/grieu/ vmpc_34.cnf	? (TO)	10000.1	10003	1773162
industrial/grieu/ vmpc_33.cnf	? (TO)	10000.1	10002.8	1773122
goldb-heqc-frg1mul.cnf	? (TO)	10000.1	10002.5	1773352
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	10000.1	10002.6	1773242
goldb-heqc-x1mul.cnf	? (TO)	10000.1	10003	1773312
aloul-chnl11-13.cnf	? (TO)	10000.1	10003.6	1773492
vange-col-abb313GPIA-9-c.cnf	? (TO)	10000.1	10002.9	1773482
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10000.1	10002.5	1773662
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000.2	10002.9	1772892
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	10000.2	10003.1	1774662
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000.2	10003.2	1775162
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	10000.2	10004.6	1773272
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000.2	10004.2	1772702
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	10000.2	10003.2	1773822
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	10000.2	10005.2	1773712
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000.2	10002.6	1772672
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	10000.2	10004.7	1774912
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	10000.2	10002.8	1772772
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.2	10002.8	1772652
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	10000.2	10004.5	1773782
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	10000.2	10003	1773222
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	10000.2	9999.2	1773232
velev-vliw-uns-4.0-9C1.cnf	? (TO)	10000.2	10004.4	1775352
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.2	10003.9	1772872
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	10000.2	10003.9	1773262
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	10000.2	10004.1	1772662
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	10000.2	10003.5	1774902
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	10000.2	10004.6	1773362
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.2	10003.7	1772692
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10000.2	10003.1	1775032
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000.3	10003.2	1772722
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	10000.3	10004.2	1773212
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	10000.3	10004.6	1772792
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	10000.3	10003	1772762
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	10000.3	10003	1773862
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	10000.3	10003.1	1773252
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	10000.3	10005.2	1773282
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	10000.3	10003.2	1772602
velev-pipe-uns-1.0-8.cnf	? (TO)	10000.3	10003.6	1775472
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	10000.3	10003.7	1773652
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	10000.3	10003	1772622
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	10000.3	10004.6	1774842
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000.3	10005.3	1772682

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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.00506488	1784507
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.00500309	1784531
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.011997	0.0117789	1784491
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	0.070988	0.0716741	1783543
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	0.18897	0.188337	1784291
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	0.241962	0.241735	1783535
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.283956	0.284337	1784543
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	0.533918	0.53464	1783539
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	1.87571	1.8764	1783907
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	1.90071	1.90175	1784499
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	10.0085	10.0124	1784147
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	19.0321	19.0366	1783527
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	47.4548	47.4668	1783547
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	68.5926	68.6199	1783575
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	84.5391	84.5563	1784511
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	89.3184	89.3476	1784155
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	95.5065	95.5664	1783675
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	98.783	98.8157	1783887
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	112.609	112.638	1784227
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	133.717	133.751	1783883
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	134.984	135.027	1783567
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	135.54	135.591	1783867
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	142.205	142.251	1783563
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	160.353	160.4	1783875
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	169.348	169.41	1783871
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	183.48	183.543	1783879
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	210.173	210.23	1784219
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	UNSAT	300.787	300.877	1783671
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	309.561	309.677	1783703
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	321.671	321.764	1783599
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	369.993	370.086	1783863
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	525.22	525.454	1783595
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	724.894	725.079	1783995
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	863.941	864.411	1783523
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	876.112	876.363	1784275
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	981.846	982.093	1784003
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	UNSAT	1054.38	1054.77	1783819
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	1064.18	1064.41	1784139
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	1092.04	1092.3	1783975
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	1106.84	1107.26	1784207
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	1623.24	1623.67	1783707
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	UNSAT	1941.07	1942.14	1783979
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	1969.55	1970.14	1783987
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	UNSAT	2087.47	2088.17	1783803
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	2161.6	2162.18	1783571
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	UNSAT	2321.63	2322.25	1784355
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	2566.43	2567.29	1783983
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	UNSAT	2842.47	2843.25	1784007
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	2917.63	2918.49	1783859
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	UNSAT	4463.72	4464.85	1783767

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.008997	0.00913897	1784495
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.010998	0.011916	1784547
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.015997	0.016457	1784331
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.018996	0.0196759	1784311
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.022995	0.0233579	1784319
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.030994	0.0316469	1784339
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.032994	0.0337841	1784315
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.033994	0.033861	1784335
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.035993	0.0360119	1784327
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.036994	0.038006	1784523
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.037993	0.038419	1784347
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.040993	0.0409149	1784475
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.041993	0.0413081	1784503
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.043992	0.0440351	1784323
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.048991	0.0490741	1784351
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.050991	0.0511879	1784223
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.065989	0.0659961	1784343
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.091985	0.090558	1784479
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	0.313952	0.314192	1784527
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	0.327949	0.327145	1784515
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	0.78288	0.783988	1784067
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	1.14082	1.14102	1784243
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	1.59076	1.59141	1783895
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	1.91771	1.91924	1784535
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	2.34064	2.34276	1784199
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	2.40263	2.40338	1783559
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	2.46163	2.46236	1784087
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	2.49062	2.49042	1783531
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	2.66559	2.66583	1783551
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	3.98339	3.98408	1783555
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	5.39518	5.39654	1784055
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	7.27689	7.2795	1784303
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	7.29989	7.30199	1784091
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	11.0273	11.0295	1784079
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	11.3453	11.3487	1784071
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	12.869	12.8753	1783587
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	13.348	13.3509	1784539
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	13.5939	13.5992	1784399
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	17.1914	17.1942	1784487
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	SAT	19.418	19.431	1783763
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	19.664	19.6707	1784175
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	23.2375	23.2447	1784075
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	26.157	26.1639	1784063
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	31.2492	31.2587	1784083
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	36.4345	36.4431	1784551
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	36.6984	36.7118	1784011
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	41.0988	41.1111	1784603
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	44.0623	44.0576	1784363
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	46.9849	46.9988	1783591
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	49.1875	49.2049	1784095
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	53.0599	53.0829	1784043
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	54.6347	54.6553	1784623
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	57.4883	57.5067	1784403
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	62.8684	62.889	1784059
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	63.6563	63.6812	1784599
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	70.7232	70.7555	1784595
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	75.9685	75.987	1784555
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	95.5935	95.6196	1784183
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	96.7713	96.8015	1784391
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	105.892	105.92	1783739
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	108.084	108.113	1784211
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	110.066	110.094	1784115
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	136.726	136.763	1784387
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	138.534	138.583	1784051
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT	156.345	156.383	1784519
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	184.044	184.096	1784379
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	184.472	184.524	1784047
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	384.545	384.639	1784635
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	395.787	395.89	1784407
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	422.79	422.903	1783583
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	458.25	458.38	1783579
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	461.058	461.222	1783967
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	1144.9	1145.24	1784267
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	1155.05	1155.3	1783603
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	SAT	1663.25	1663.7	1783799
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	1867.36	1868.19	1784231
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	1890.6	1891.64	1784171
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	1945.35	1945.93	1784615
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	1964.81	1964.6	1784099
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	2075.76	2076.43	1783743
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	2088.52	2089.53	1784619
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	2112.2	2112.74	1784375
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	2387.26	2387.94	1784627
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	3429.23	3430.14	1783947
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	4358.2	4359.33	1784015
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	SAT	4698.07	4699.64	1784307
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	4840.22	4841.47	1784415

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	5000.02	5001.11	1783951
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	5000.02	5001.91	1784563
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	5000.02	5001.51	1783747
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	5000.02	5001.81	1783835
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	5000.03	5001.31	1784559
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	5000.03	5001.52	1783999
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	5000.03	5001.51	1783919
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	5000.03	4999.52	1783727
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	5000.03	5001.61	1783815
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	5000.03	5001.52	1784239
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	5000.03	5001.92	1783667
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	5000.03	5001.31	1783959
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	5000.03	5001.81	1783843
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	5000.03	5001.81	1784567
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	5000.03	5001.52	1783619
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	5000.04	4999.52	1783851
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	5000.04	5001.83	1784411
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	5000.04	5001.72	1784295
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	5000.04	5001.31	1784195
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	5000.04	5001.43	1784111
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	5000.04	5001.71	1784151
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	5000.04	5001.81	1783971
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	5000.04	5001.31	1783955
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	5000.04	5001.73	1784639
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	5000.04	5001.31	1783795
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	5000.04	5001.91	1783711
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	5000.05	5001.32	1783643
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.05	5001.93	1784287
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	5000.05	5001.51	1783911
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	5000.06	5001.61	1784583
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	5000.06	5001.41	1784579
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	5000.06	5001.74	1784235
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	5000.06	5002.42	1783715
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	5000.06	5001.91	1784179
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	5000.06	5001.91	1784135
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	5000.06	5001.91	1783839
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	5000.06	5001.41	1784587
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	5000.06	5001.33	1784463
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	5000.07	5001.91	1783963
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	5000.07	5001.42	1783615
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	5000.07	5001.52	1783723
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	5000.07	5001.71	1783827
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	5000.07	5001.31	1783935
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	5000.07	5001.51	1783927
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	5000.07	5001.31	1784191
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.07	5001.42	1784251
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	5000.07	5001.73	1784279
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	5000.07	5001.43	1784383
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	5000.07	5001.91	1784571
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	5000.07	5001.43	1784471
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	5000.07	5001.34	1784631
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	5000.08	5001.93	1784395
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	5000.08	5001.43	1784455
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	5000.08	5002.21	1783807
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	5000.08	5001.31	1784131
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	5000.08	5001.41	1783847
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	5000.08	5001.83	1784247
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	5000.08	5001.81	1783735
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	5000.08	5001.92	1784263
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	5000.08	5001.92	1783659
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	5000.08	5001.41	1783623
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	5000.08	5001.53	1784451
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	5000.09	5001.58	1784367
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	5000.09	5001.32	1783631
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	5000.09	5002.56	1784203
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	5000.09	5002.11	1784143
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.09	5001.93	1784299
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	5000.09	5011.01	1784163
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	5000.09	5001.36	1784467
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	5000.09	5002.31	1784167
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	5000.09	5001.91	1784187
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	5000.09	5001.52	1784035
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	5000.09	5001.81	1783791
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	5000.09	5001.56	1784431
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	5000.09	5001.45	1783939
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	5000.09	5001.48	1783651
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	5000.09	5001.33	1784283
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	5000.1	5002.23	1784215
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	5000.1	5001.71	1783915
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	5000.1	5001.41	1783991
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	5000.1	5001.41	1783943
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	5000.1	5001.21	1784591
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	5000.1	5001.32	1783719
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	5000.1	5001.32	1783755
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	5000.1	5001.32	1784119
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	5000.1	5002.21	1784159
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	5000.1	5001.44	1784443
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	5000.1	5001.53	1784643
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	5000.1	5001.44	1784483
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	5000.1	5001.32	1783635
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	5000.1	5001.42	1783811
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	5000.11	5001.52	1784103
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	5000.11	5001.61	1783855
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	5000.11	5001.34	1784255
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	5000.11	5001.51	1784575
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.11	5001.57	1784419
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	5000.11	5001.61	1783787
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.11	5001.43	1784271
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	5000.11	5001.51	1783923
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	5000.11	5001.41	1783611
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.11	5001.45	1784423
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	5000.12	5001.43	1784039
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	5000.12	5001.89	1784607
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	5000.12	5001.38	1784127
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	5000.12	5002.65	1784439
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	5000.12	5001.52	1783663
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	5000.12	5001.52	1783607
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	5000.12	5001.72	1783639
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	5000.12	5001.62	1783647
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	5000.12	5001.75	1784611
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	5000.13	5001.62	1783627
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	5000.13	5001.66	1783775
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	5000.13	5001.43	1783655
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	5000.13	5002.39	1783699
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	5000.13	5001.34	1783779
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.13	5001.45	1784027
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	5000.13	5001.62	1783823
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	5000.13	5001.64	1784023
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	5000.14	5001.43	1784359
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.14	5001.54	1784019
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	5000.14	5001.76	1783831
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.14	5001.63	1784259
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	5000.15	5001.59	1784427
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	5000.15	5002.38	1783679
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	5000.15	5002	1783771
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	5000.15	5001.56	1783731
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	5000.17	5001.37	1784447
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	5000.18	5001.53	1784435
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	5000.18	5002.4	1783683
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	5000.18	5002.38	1783687
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	5000.19	5001.86	1784123
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	5000.19	5001.63	1784459
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	5000.2	5002.21	1783691
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	5000.2	5001.68	1784107
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	5000.21	5001.56	1783891
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	5000.21	5002.63	1783695
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	5000.22	5001.54	1784371
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	5000.22	5002.38	1783759
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	5000.22	5002.1	1783899
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	5000.23	5002.38	1783931
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	5000.24	5002.95	1783903
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	5000.24	5001.58	1783751
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	5000.25	5001.57	1783783
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	5000.28	5001.6	1784031

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

Result page for solver MiniSat 2.1 (Sat-race'08 Edition) (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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