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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.865867	0.864858	1553222
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	1.89971	1.90129	1718824
cmu-bmc-barrel6.cnf	UNSAT	1.9937	1.99876	1719552
manol-pipe-g6bi.cnf	UNSAT	3.16052	3.16393	1723736
hoons-vbmc-lucky7.cnf	UNSAT	3.39948	3.40171	1719864
een-tip-uns-nusmv-t5.B.cnf	UNSAT	4.12137	4.1222	1723372
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	9.56055	9.56607	1556862
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	10.9553	10.9585	1554574
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	12.5561	12.5595	1717992
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	14.0759	14.0887	1553170
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	14.6918	14.6973	1717940
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	18.7072	18.7194	1555614
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	19.3171	19.3226	1553794
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	20.1619	20.1717	1718252
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	21.3378	21.3577	1556810
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	22.5606	22.5693	1715652
manol-pipe-c9.cnf	UNSAT	24.3843	24.3876	1724360
manol-pipe-g7nidw.cnf	UNSAT	26.587	26.6055	1724308
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	26.6449	26.6731	1555042
cmu-bmc-longmult15.cnf	UNSAT	30.3874	30.4054	1720644
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	41.8726	41.8963	1554834
simon-s03-fifo8-300.cnf	UNSAT	44.7352	44.7666	1724152
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	46.4029	46.4206	1554106
velev-engi-uns-1.0-4nd.cnf	UNSAT	49.9824	50.0116	1720124
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	55.8265	55.8544	1556758
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	62.0046	62.023	1723064
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	62.1396	62.2481	1577790
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	67.9497	68.0094	1553326
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	74.8616	74.912	1715704
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	75.1106	75.1494	1717472
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	76.2744	76.3074	1579870
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	77.0013	77.0626	1578206
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	95.5525	95.5799	1717628
schup-l2s-abp4-1-k31.cnf	UNSAT	99.4869	99.5153	1719604
velev-live-uns-2.0-ebuf.cnf	UNSAT	107.788	107.854	1723684
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	114.447	114.512	1563466
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	124.679	124.73	1718148
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	126.632	126.679	1579402
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	141.24	141.298	1717680
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	142.299	142.364	1557070
manol-pipe-c6bidw_i.cnf	UNSAT	155.255	155.323	1720280
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	209.309	209.409	1554210
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	252.998	253.124	1581742
simon-s02b-dp11u10.cnf	UNSAT	257.345	257.461	1723840
manol-pipe-g10id.cnf	UNSAT	266.614	266.726	1723528
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	281.714	281.836	1580546
manol-pipe-c7bidw_i.cnf	UNSAT	298.616	298.725	1724256
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	301.707	301.89	1717888
manol-pipe-c6nidw_i.cnf	UNSAT	304.422	304.521	1724464
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	334.355	334.504	1717576
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	381.027	381.228	1577582
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	386.207	386.312	1562738
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	388.991	389.122	1563622
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	398.12	398.275	1563050
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	405.95	406.141	1577478
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	452.882	455.455	1581950
manol-pipe-c10nidw_s.cnf	UNSAT	467.051	467.235	1723216
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	477.696	477.908	1562790
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	487.777	487.917	1563102
goldb-heqc-alu4mul.cnf	UNSAT	519.288	519.573	1721008
manol-pipe-c7nidw.cnf	UNSAT	571.768	572.084	1723476
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	654.447	654.755	1580858
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	684.285	684.493	1718304
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	699.396	699.648	1563206
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	746.997	747.312	1563362
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	776.94	777.294	1556602
manol-pipe-g10nid.cnf	UNSAT	805.617	806.03	1720176
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	816.331	816.568	1722264
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	848.035	848.405	1717524
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	999.482	999.764	1716848

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.561913	0.563542	1560294
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	0.578911	0.57998	1560710
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.831872	0.832354	1560450
een-tip-sat-texas-tp-5e.cnf	SAT	0.925858	0.926932	1720904
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	1.62775	2.17468	1560034
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	1.72574	1.72682	1560606
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	2.00069	2.00089	1560866
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	2.6316	2.63248	1560346
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	2.69659	2.70502	1563154
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	2.76158	2.76332	1560138
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	2.90856	2.9124	1560918
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	3.61345	3.61487	1560658
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	3.76343	3.76602	1562842
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	5.29119	5.29612	1560398
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	7.37588	7.37863	1559930
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	7.56585	7.56876	1562998
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	7.78481	7.79487	1722114
industrial/grieu/ vmpc_25.cnf	SAT	8.09377	8.10624	1718356
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	8.16176	8.16615	1560814
industrial/grieu/ vmpc_26.cnf	SAT	9.71152	9.71429	1718720
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	10.3634	10.3648	1560554
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	12.982	12.9958	1562894
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	13.326	13.3377	1562946
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	14.8847	14.893	1562686
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	20.1949	20.2065	1559202
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	21.6337	21.648	1559722
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	24.0803	24.1008	1562634
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	24.3373	24.585	1560086
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	37.6983	37.7339	1721314
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	50.1984	50.2268	1559670
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	59.124	59.1788	1577686
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	60.1499	60.172	1558422
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	68.5676	68.5911	1579454
schup-l2s-motst-2-k315.cnf	SAT	87.7757	87.8365	1720020
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	96.6713	96.7022	1557798
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	101.075	101.111	1717420
industrial/grieu/ vmpc_24.cnf	SAT	167.332	167.382	1718512
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	167.968	168.071	1558474
simon-s03-w08-15.cnf	SAT	183.341	183.414	1719760
mizh-md5-48-5.cnf	SAT	207.664	207.735	1721112
mizh-sha0-35-3.cnf	SAT	284.227	284.374	1720696
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	347.062	347.185	1563674
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	455.951	456.19	1557590
mizh-md5-47-3.cnf	SAT	470.327	470.464	1719500
mizh-md5-47-4.cnf	SAT	548.237	548.384	1720540
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	754.336	754.658	1577634

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200	1200.72	1721364
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200	1200.66	1581482
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200	1200.63	1556342
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.01	1200.52	1717056
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.01	1200.55	1580234
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.01	1200.76	1716068
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.01	1200.63	1556446
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.01	1200.44	1554886
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.01	1200.46	1716016
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.01	1200.47	1724412
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.01	1200.45	1579818
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.01	1200.62	1722014
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.01	1200.65	1581586
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.01	1200.73	1556134
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.01	1200.45	1581898
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.02	1200.55	1716224
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.02	1200.73	1554002
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.02	1200.52	1563570
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.02	1200.42	1716796
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.02	1200.47	1717732
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.02	1200.52	1721964
manol-pipe-f9n.cnf	? (TO)	1200.02	1200.64	1723944
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.02	1200.56	1717368
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.02	1200.77	1579350
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.02	1200.46	1582158
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.02	1200.75	1582002
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.02	1200.64	1719084
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.02	1200.62	1718668
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.03	1200.43	1717316
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.03	1200.72	1721664
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.03	1200.52	1722764
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.03	1200.64	1582730
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.03	1200.64	1579974
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.03	1200.56	1715808
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.03	1200.64	1553378
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.03	1200.44	1716432
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.03	1200.65	1554522
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.03	1200.63	1717212
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.03	1200.52	1722164
manol-pipe-c10nid_i.cnf	? (TO)	1200.03	1200.65	1720748
goldb-heqc-i10mul.cnf	? (TO)	1200.03	1200.42	1723424
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.03	1200.63	1718876
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.04	1200.66	1563258
manol-pipe-f10ni.cnf	? (TO)	1200.04	1200.66	1724048
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.04	1200.52	1555458
goldb-heqc-frg1mul.cnf	? (TO)	1200.04	1200.52	1719656
mizh-sha0-36-2.cnf	? (TO)	1200.04	1200.42	1723996
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.04	1200.62	1721264
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.04	1200.65	1578934
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.04	1200.44	1716640
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.04	1200.52	1722514
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.04	1200.72	1556550
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.04	1200.62	1721814
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.04	1200.42	1718408
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.04	1200.62	1722964
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.04	1200.42	1554730
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.04	1200.66	1581066
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.04	1200.45	1715912
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.04	1200.65	1580078
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.04	1200.63	1724204
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.05	1200.7	1563726
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.05	1200.43	1716692
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.05	1200.65	1715600
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.05	1200.65	1716120
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.05	1200.44	1716328
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.05	1200.56	1717784
manol-pipe-f9b.cnf	? (TO)	1200.05	1200.64	1719968
manol-pipe-c10nidw.cnf	? (TO)	1200.05	1200.47	1720072
goldb-heqc-dalumul.cnf	? (TO)	1200.05	1200.72	1720436
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.05	1200.42	1721714
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.05	1200.62	1721514
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.05	1200.42	1721864
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.05	1200.42	1723014
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.05	1200.62	1723114
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.05	1200.62	1553482
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.05	1200.65	1580130
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.05	1200.67	1563310
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.05	1200.52	1559618
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.05	1200.62	1559254
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.05	1200.57	1577530
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.06	1200.86	1580754
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.06	1200.62	1553274
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.06	1200.48	1719916
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.06	1200.65	1715860
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.72	1722614
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.06	1200.65	1578778
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.06	1200.75	1577894
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.06	1200.52	1722564
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.06	1200.42	1718564
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.06	1200.62	1558006
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.06	1200.52	1722814
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.06	1200.69	1717264
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.06	1206.83	1555250
mizh-sha0-36-3.cnf	? (TO)	1200.06	1200.43	1719812
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.06	1200.49	1577738
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.06	1200.42	1717004
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.06	1200.42	1716952
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.06	1200.65	1716588
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.06	1200.55	1553846
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.07	1200.62	1556082
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.07	1200.55	1716484
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.07	1200.72	1557694
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.07	1201.1	1719708
schup-l2s-guid-1-k56.cnf	? (TO)	1200.07	1200.63	1724100
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.07	1200.62	1722364
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.07	1200.64	1556238
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.07	1200.72	1559774
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.07	1200.85	1581326
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.07	1200.42	1718044
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.07	1200.61	1718980
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.07	1200.55	1716276
manol-pipe-g10bidw.cnf	? (TO)	1200.07	1200.65	1723268
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.08	1200.67	1580026
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.08	1200.76	1715756
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.08	1200.67	1716380
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.08	1200.42	1554418
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.08	1200.42	1721214
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.08	1200.73	1723580
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.08	1200.62	1721164
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.08	1200.52	1554158
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.08	1200.62	1722414
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.08	1200.92	1557954
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.08	1200.62	1558786
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.08	1200.62	1721414
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.08	1200.42	1718616
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.08	1200.53	1720332
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.08	1201.07	1716744
mizh-sha0-36-4.cnf	? (TO)	1200.08	1200.62	1720228
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.08	1200.42	1558994
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.08	1200.72	1722464
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.08	1200.66	1580338
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.08	1200.62	1559514
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.09	1200.42	1721764
goldb-heqc-x1mul.cnf	? (TO)	1200.09	1200.62	1719448
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.09	1200.78	1719136
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.42	1722864
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.09	1200.56	1577842
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.09	1200.72	1718460
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.64	1723892
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.09	1200.63	1557018
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.09	1200.83	1556706
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.09	1200.53	1556498
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.09	1200.42	1718096
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.09	1200.56	1582418
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.09	1200.76	1716536
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.09	1200.55	1716172
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.09	1200.55	1715964
aloul-chnl11-13.cnf	? (TO)	1200.09	1200.71	1720384
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.09	1200.55	1719292
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.1	1200.77	1723788
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.1	1200.72	1558214
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.1	1200.62	1717836
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.1	1200.62	1559306
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.1	1200.66	1555146
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.1	1200.74	1555874
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.1	1200.72	1558838
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.1	1200.62	1556030
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.1	1200.51	1718200
goldb-heqc-term1mul.cnf	? (TO)	1200.1	1200.62	1723632
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.1	1200.52	1716900
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.1	1200.72	1558058
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.11	1200.66	1717160
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.12	1200.52	1554678
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.12	1200.52	1717108
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.12	1200.72	1557486
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.15	1200.62	1559358
industrial/narain/ clauses-8.cnf	? (TO)	1200.15	1200.99	1718772

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	13.418	13.4461	1563414
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	166.817	167.067	1719344
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	168.002	168.177	1718928
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	175.704	175.793	1719396
velev-pipe-sat-1.0-b7.cnf	? (MO)	210.677	211.542	1723164
velev-pipe-sat-1.0-b10.cnf	? (MO)	211.294	213.154	1723320
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	335.735	336.246	1719188
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	484.77	485.241	1719240
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	949.102	949.756	1719032

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.001998	0.00515396	1736564
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.001999	0.00539209	1736864
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.050991	0.0516189	1736364
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	0.211967	0.212068	1725523
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	0.286955	0.28631	1733864
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	0.350945	0.350231	1725417
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.581911	0.58117	1737014
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	0.660898	0.661928	1725470
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	1.88271	1.88336	1736464
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	2.94855	2.95064	1732014
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	4.15437	4.15591	1730346
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	11.5882	11.5971	1725311
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	19.2231	19.2273	1732114
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	38.7661	38.7886	1730081
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	40.4289	40.4461	1725576
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	44.5292	44.5449	1729975
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	50.7973	50.8192	1733064
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	83.1954	83.2295	1729922
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	89.9453	89.9885	1729816
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	92.7989	92.8683	1725788
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	92.9689	93.0182	1726212
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	99.4519	99.4971	1725841
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	117.594	59.2243	1725947
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	131.126	131.2	1729763
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	135.45	135.488	1726265
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	139.136	139.217	1725258
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	155.353	155.394	1729869
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	157.317	157.38	1732964
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	175.812	175.892	1730028
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	201.964	202.061	1736614
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	211.719	211.772	1727643
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	276.627	276.765	1731618
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	301.821	301.908	1731914
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	376.77	376.894	1731247
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	428.819	428.942	1725894
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	474.683	474.92	1727272
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	497.858	498.088	1731512
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	511.533	511.787	1727696
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	700.935	701.186	1733664
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	726.21	726.474	1729710
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	810.934	811.146	1731353
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	UNSAT	1054.05	1054.52	1727961
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	1096.69	1097.15	1731406
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	1119.26	1119.78	1732814

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.040993	0.0409349	1737064
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.041993	0.042062	1736414
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.073987	0.078426	1733014
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.12398	0.122491	1734214
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.143977	0.143761	1734364
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.160975	0.406025	1736514
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.165974	0.165838	1736764
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.169973	0.170542	1734114
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.25596	1.71083	1734164
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.290955	0.288652	1734464
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.295954	0.296177	1734414
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.305953	0.307575	1734314
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.333949	0.332677	1734564
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.340948	0.341325	1736164
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.375942	0.376201	1734264
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.427934	0.429019	1734614
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.554915	0.556472	1734514
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	0.683895	0.68548	1736664
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.737887	0.739031	1736214
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	1.54876	1.54931	1737114
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.59776	1.60919	1732364
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	2.01269	2.01243	1733264
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	3.84741	3.86479	1730187
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	4.23435	4.23658	1736914
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	4.50831	4.51223	1725735
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	4.56531	4.56792	1725682
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	6.14606	6.14822	1732664
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	6.37703	6.37954	1725364
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	7.50186	7.51263	1735214
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	8.18975	8.1943	1736314
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	8.94164	8.95049	1725629
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	9.8835	9.88414	1736964
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT	10.1375	10.1441	1736714
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	10.7894	10.7934	1561802
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	12.2911	12.3024	1734014
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	18.6342	18.6386	1736814
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	20.0909	20.0987	1726159
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	20.4299	20.4506	1562062
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	20.7308	20.737	1561542
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	24.7722	24.7968	1561906
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	28.2157	28.2305	1738112
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	48.8066	48.8266	1737794
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	56.9243	56.9607	1561958
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	73.6388	73.6667	1561698
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	74.5897	74.6355	1726106
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	87.6777	87.7137	1561438
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	95.7134	95.7425	1562426
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	100.4	100.456	1728173
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	118.984	119.031	1562114
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	119.981	120.03	1732464
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	126.317	126.361	1562010
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	131.686	131.75	1732864
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	SAT	139.788	139.851	1734064
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	156.775	156.865	1733564
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	160.446	160.509	1731141
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	167.828	167.902	1560970
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	174.116	174.189	1726000
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	178.027	178.103	1738271
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	189.42	189.505	1561750
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	SAT	199.623	199.71	1561334
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	214.899	215.239	1738006
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	256.411	256.527	1726053
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	285.027	285.14	1730876
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	SAT	293.124	293.27	1730664
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	350.322	350.407	1734964
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	367.529	367.661	1561646
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	368.512	368.721	1735114
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	560.699	560.89	1734914
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	660.063	660.359	1735314
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	675.089	675.493	1728120
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	714.434	714.627	1732414
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	726.379	726.682	1562166
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	750.478	750.867	1732314
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	861.565	861.932	1735064
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	1038.04	1038.55	1737214
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	1155.2	1155.77	1734764

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200	1200.42	1738218
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200	1200.52	1734814
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200	1200.52	1735864
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200	1200.62	1728703
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.01	1200.73	1735964
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.01	1200.62	1734664
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.01	1200.44	1728279
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (TO)	1200.01	1200.64	1561490
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.01	1200.21	1727537
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.01	1200.52	1736114
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.01	1200.42	1737741
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.02	1200.42	1561074
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.02	1200.62	1733414
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.02	1200.5	1728385
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1730399
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.02	1200.41	1737635
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.02	1200.52	1735764
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1728067
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.03	1200.72	1562270
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.03	1201.01	1726318
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.03	1200.71	1729445
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.03	1200.42	1730293
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1730929
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.03	1200.62	1731300
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.03	1200.31	1731864
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.03	1200.53	1733714
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.03	1200.62	1735014
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.03	1200.53	1735564
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.03	1200.62	1735714
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.04	1200.43	1735664
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.04	1200.42	1561178
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1726424
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.04	1200.61	1737582
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.04	1200.42	1728597
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1729074
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.04	1200.01	1729127
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.04	1206.62	1562478
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.04	1200.67	1727325
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.04	1200.62	1736064
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1730452
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1726371
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.04	1200.52	1730770
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.04	1200.41	1732064
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.04	1200.61	1732514
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.04	1200.62	1735614
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.04	1200.65	1727431
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.04	1200.52	1733614
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (TO)	1200.05	1200.63	1561386
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.05	1200.62	1733464
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.05	1200.73	1734714
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.05	1200.62	1729339
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1728809
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730823
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.05	1200.62	1735364
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729498
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.05	1200.62	1736014
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.05	1200.62	1726795
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.05	1200.62	1735414
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.05	1200.42	1735164
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.05	1200.66	1727378
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.05	1200.32	1727166
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.05	1200.73	1732914
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.05	1200.61	1732164
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.06	1200.45	1727219
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.06	1200.63	1728438
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.06	1200.62	1728650
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.06	1200.41	1737529
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.06	1200.13	1733114
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.06	1200.91	1737370
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.06	1200.63	1733764
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1729286
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.62	1736264
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.06	1200.55	1726954
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.06	1200.72	1735914
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.06	1200.62	1730240
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730558
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.06	1200.62	1735814
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1730982
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.06	1200.62	1738059
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731194
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.06	1200.41	1731814
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.06	1200.52	1731671
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.06	1200.42	1738324
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.06	1200.41	1731964
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.06	1200.72	1738377
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.06	1200.62	1735264
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.06	1200.63	1737900
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.06	1200.51	1732264
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728226
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.06	1200.62	1727855
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1728014
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.07	1200.63	1735464
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.07	1200.62	1562582
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1726583
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.07	1200.62	1735514
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1727060
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.07	1200.41	1737688
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1728756
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.08	1200.62	1730134
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.08	1200.62	1562218
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.08	1200.63	1734864
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1729392
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.08	1200.72	1737953
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.08	1200.52	1561126
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731035
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1728915
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731459
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.08	1200.72	1731565
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1726636
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.08	1200.72	1728544
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.08	1200.79	1727590
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.08	1200.43	1561230
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.08	1200.92	1727007
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.08	1200.62	1561282
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1728862
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.09	1200.62	1728332
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728491
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1729180
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1730611
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.09	1200.77	1732764
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.09	1202.93	1733164
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.09	1200.63	1733314
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.09	1200.62	1733214
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.09	1200.42	1733364
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.09	1200.52	1562374
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.09	1200.41	1737264
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.09	1200.41	1737317
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.09	1200.61	1737423
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.09	1200.42	1562530
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.09	1200.62	1737847
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726530
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1726848
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.1	1200.71	1732564
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.1	1200.62	1733514
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1729021
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.1	1200.73	1727484
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.1	1200.52	1728968
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.1	1200.72	1561022
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.1	1200.72	1727908
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1731088
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.1	1200.62	1733964
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.11	1200.71	1730717
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1727749
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1729657
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.11	1200.11	1729551
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1729233
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.11	1200.71	1726689
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.11	1200.41	1737476
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.11	1200.62	1733914
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.12	1200.71	1732214
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1730505
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.12	1200.62	1726742
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.12	1200.52	1727802
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.12	1200.52	1727113
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.12	1200.72	1733814
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.12	1200.71	1732614
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.13	1200.62	1726901
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.13	1200.61	1729604
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.13	1200.61	1726477
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.13	1200.72	1738165

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (MO)	1087.86	1088.53	1562322

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	UNSAT	208.082	208.181	1534306
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	UNSAT	233.646	233.769	1534316
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	UNSAT	298.765	298.902	1534331
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	UNSAT	302.788	302.934	1534341
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	UNSAT	316.184	316.327	1534336
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	UNSAT	364.652	364.827	1534346
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	UNSAT	381.543	381.741	1534321
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	UNSAT	394.405	394.587	1534286
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	UNSAT	395.536	395.703	1534326
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	UNSAT	549.313	549.524	1534311
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	UNSAT	873.567	873.921	1534301
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	UNSAT	1052.49	1053.02	1534271
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	UNSAT	1186.46	1187.1	1534251

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	4.6073	4.60922	1534871
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	7.70483	7.70966	1534896
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	10.1675	10.1718	1534861
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	17.9733	17.9829	1534811
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	26.528	26.5433	1534821
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	30.3274	30.3389	1534851
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	31.0053	31.0168	1534841
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	32.718	32.7333	1533276
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	50.2934	50.314	1534856
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	55.4406	55.4757	1534596
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	70.2503	70.2779	1534586
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	87.4307	87.4757	1534756
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	87.8986	87.9354	1534831
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	116.738	116.789	1534611
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	121.042	121.101	1534591
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	140.98	141.037	1534616
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	161.601	161.673	1534816
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	164.637	164.72	1534571
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	194.036	194.119	1534801
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	227.792	227.912	1534891
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	280.669	280.785	1534451
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	318.791	318.893	1534491
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	331.028	331.177	1534836
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	338.796	338.923	1534406
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	347.088	347.275	1534486
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	383.639	383.784	1534881
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	388.485	388.66	1534641
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	393.92	394.101	1534416
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	394.433	394.61	1534786
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	399.531	399.675	1534556
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	401.559	401.758	1533271
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	421.318	421.549	1534466
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	422.428	422.645	1534581
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	426.572	426.774	1533251
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	454.652	454.86	1534551
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	478.225	478.423	1534866
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	514.138	514.311	1534636
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	641.222	641.525	1534886
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	648.716	649.015	1533346
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	662.767	663.135	1534606
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	729.987	730.312	1534846
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	765.566	765.868	1534456
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	785.784	786.12	1534741
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	818.68	819.118	1534826
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	870.656	871.028	1534646
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	898.187	898.633	1533606
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	914.777	915.171	1533296
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	929.493	929.834	1534806
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	1006.66	1011.75	1534876
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	1066.01	1066.55	1533731

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	1200	1200.52	1532636
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	1200	1200.52	1532051
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	1200	1200.62	1532671
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200	1200.62	1532966
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.01	1200.62	1532981
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	? (TO)	1200.01	1200.61	1532261
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.01	1200.52	1532201
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	? (TO)	1200.02	1200.62	1532661
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (TO)	1200.02	1200.61	1533101
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	? (TO)	1200.02	1200.51	1534396
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.02	1200.41	1533001
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	1200.02	1200.62	1532621
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	? (TO)	1200.02	1200.62	1532681
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.02	1200.72	1532676
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.02	1199.92	1532171
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	? (TO)	1200.02	1200.62	1532846
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.02	1200.61	1533881
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	? (TO)	1200.02	1200.72	1532976
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	1200.02	1200.72	1532936
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.02	1200.61	1533581
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.02	1200.62	1532941
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	? (TO)	1200.02	1200.12	1532836
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.02	1200.52	1532056
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	? (TO)	1200.03	1200.61	1534431
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	? (TO)	1200.03	1200.61	1534291
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	? (TO)	1200.03	1200.61	1534421
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.03	1200.61	1533991
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.03	1200.51	1534181
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	? (TO)	1200.03	1200.51	1534231
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	? (TO)	1200.03	1200.51	1533061
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	? (TO)	1200.03	1200.51	1534261
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.03	1200.62	1532766
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.03	1200.52	1532191
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.03	1200.52	1532176
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	? (TO)	1200.03	1200.72	1532996
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.03	1200.62	1532151
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	1200.03	1200.62	1532601
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	? (TO)	1200.03	1200.41	1533741
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.03	1200.61	1533196
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.03	1200.61	1533586
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.03	1200.62	1532716
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.03	1200.61	1532426
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	1200.03	1200.61	1532276
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	? (TO)	1200.03	1200.52	1532871
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.03	1206.82	1532371
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	1200.03	1200.41	1532251
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.03	1200.42	1532211
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	? (TO)	1200.03	1200.61	1533621
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.03	1200.52	1532161
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (TO)	1200.03	1200.51	1533426
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	? (TO)	1200.03	1200.51	1534006
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	? (TO)	1200.03	1200.52	1532931
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	? (TO)	1200.04	1200.61	1533751
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	? (TO)	1200.04	1200.11	1533266
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.04	1200.31	1533036
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.04	1200.62	1532741
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	? (TO)	1200.04	1200.61	1534671
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	? (TO)	1200.04	1200.61	1534626
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	? (TO)	1200.04	1200.62	1532831
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.04	1200.52	1532901
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.04	1200.62	1532956
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.04	1200.62	1532776
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.04	1200.62	1532781
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	? (TO)	1200.04	1200.11	1534386
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.04	1200.62	1532306
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	? (TO)	1200.04	1200.41	1533211
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	? (TO)	1200.04	1200.51	1534356
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	? (TO)	1200.04	1200.61	1534376
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	? (TO)	1200.04	1200.51	1534281
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	? (TO)	1200.04	1200.51	1534166
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	? (TO)	1200.04	1200.61	1534011
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	? (TO)	1200.04	1200.61	1533441
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.04	1200.71	1534126
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	? (TO)	1200.04	1200.61	1534236
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	? (TO)	1200.04	1200.61	1533086
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	? (TO)	1200.04	1200.61	1534691
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	? (TO)	1200.04	1200.61	1534771
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	? (TO)	1200.04	1200.61	1533386
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.04	1200.42	1532076
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	1200.04	1200.62	1532156
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.04	1200.51	1533976
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	? (TO)	1200.04	1200.61	1533416
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	? (TO)	1200.04	1200.41	1533936
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	? (TO)	1200.04	1200.61	1533396
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	? (TO)	1200.04	1200.61	1533901
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	? (TO)	1200.04	1200.42	1532296
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.04	1200.61	1533831
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	? (TO)	1200.04	1200.61	1533331
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.04	1200.41	1533816
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.04	1200.61	1533801
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	? (TO)	1200.04	1200.41	1532571
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	? (TO)	1200.04	1200.51	1533306
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.04	1200.42	1532061
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	? (TO)	1200.04	1200.62	1532631
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	? (TO)	1200.04	1200.61	1533661
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	? (TO)	1200.04	1200.62	1532656
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	1200.05	1200.62	1532861
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	? (TO)	1200.05	1200.62	1532821
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.05	1200.41	1532421
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	? (TO)	1200.05	1200.51	1533261
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	? (TO)	1200.05	1200.61	1533096
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.05	1200.61	1533016
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	? (TO)	1200.05	1200.71	1534391
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	? (TO)	1200.05	1200.61	1533646
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	? (TO)	1200.05	1200.31	1534506
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	? (TO)	1200.05	1200.41	1532501
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.05	1200.42	1532991
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	1200.05	1200.72	1532951
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	? (TO)	1200.05	1200.61	1533201
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	1200.05	1200.62	1532921
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	? (TO)	1200.05	1200.51	1533051
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	? (TO)	1200.05	1200.71	1532541
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	1200.05	1200.72	1532896
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	? (TO)	1200.05	1200.71	1533066
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	? (TO)	1200.05	1200.62	1532711
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	? (TO)	1200.05	1200.51	1533281
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	? (TO)	1200.05	1200.62	1532606
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	? (TO)	1200.05	1200.62	1532811
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.05	1200.61	1533486
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.05	1200.72	1532756
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	? (TO)	1200.05	1200.51	1534751
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	? (TO)	1200.05	1200.61	1533791
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	? (TO)	1200.05	1200.61	1534601
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.05	1200.51	1533961
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	1200.05	1200.62	1532731
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.05	1200.71	1533891
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	? (TO)	1200.05	1200.61	1534496
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.05	1200.61	1532456
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	? (TO)	1200.05	1200.61	1534156
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	1200.05	1200.72	1532666
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.05	1200.51	1533951
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.05	1200.61	1532486
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.05	1200.72	1532886
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (TO)	1200.05	1200.41	1533126
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	? (TO)	1200.05	1200.52	1532286
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	? (TO)	1200.05	1200.61	1534086
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	? (TO)	1200.05	1200.61	1534081
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.05	1206.41	1534101
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.05	1202.42	1532301
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.05	1200.51	1534131
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	1200.05	1200.62	1532851
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	? (TO)	1200.05	1200.61	1533671
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	? (TO)	1200.05	1200.62	1532806
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	? (TO)	1200.05	1200.61	1534426
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.05	1200.41	1533176
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	? (TO)	1200.05	1200.71	1534521
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	? (TO)	1200.05	1200.51	1533651
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	? (TO)	1200.05	1200.52	1532281
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.05	1200.52	1532081
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.06	1200.61	1533476
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	? (TO)	1200.06	1200.61	1534726
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	? (TO)	1200.06	1200.61	1532526
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	1200.06	1200.62	1532771
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	? (TO)	1200.06	1200.51	1534541
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	? (TO)	1200.06	1200.71	1534666
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	? (TO)	1200.06	1200.71	1534076
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.06	1200.42	1532116
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.06	1200.72	1532926
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.06	1200.71	1533451
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	? (TO)	1200.06	1200.61	1533256
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.06	1200.72	1532911
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.06	1200.71	1533546
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.06	1200.71	1533596
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	? (TO)	1200.06	1200.71	1533301
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	1200.06	1200.42	1532226
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	? (TO)	1200.06	1200.42	1532291
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.06	1200.72	1532891
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	? (TO)	1200.06	1200.52	1532651
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.06	1200.42	1532246
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.06	1200.61	1532326
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	? (TO)	1200.06	1200.51	1534711
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	? (TO)	1200.06	1200.72	1532796
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.06	1200.62	1532341
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	? (TO)	1200.06	1200.51	1532506
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.06	1200.51	1532471
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	? (TO)	1200.06	1200.61	1534796
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.06	1200.72	1532906
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	? (TO)	1200.06	1200.61	1534411
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	? (TO)	1200.06	1200.52	1532641
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.06	1200.61	1533471
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	? (TO)	1200.06	1200.51	1534401
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	? (TO)	1200.06	1200.71	1533696
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	? (TO)	1200.06	1200.71	1534366
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	? (TO)	1200.06	1200.41	1532551
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	? (TO)	1200.06	1200.61	1533681
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	? (TO)	1200.06	1200.71	1533556
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	? (TO)	1200.06	1200.51	1534246
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.06	1200.52	1532071
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	? (TO)	1200.06	1200.62	1532611
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.06	1200.72	1532761
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	? (TO)	1200.06	1200.61	1533566
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.06	1200.51	1534146
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.07	1200.41	1533576
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	? (TO)	1200.07	1200.61	1534536
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.07	1200.71	1532386
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.07	1201.01	1533466
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.07	1200.52	1532106
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	? (TO)	1200.07	1200.71	1533391
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	? (TO)	1200.07	1200.61	1533361
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	? (TO)	1200.07	1200.51	1534501
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	? (TO)	1200.07	1200.61	1534446
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	? (TO)	1200.07	1200.61	1532546
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.07	1200.42	1532751
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	? (TO)	1200.07	1200.62	1532841
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.07	1200.61	1533186
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	? (TO)	1200.07	1200.61	1533221
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	? (TO)	1200.07	1200.61	1534721
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.07	1200.61	1534161
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.07	1200.61	1534136
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.07	1200.61	1534111
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.07	1200.61	1534116
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.07	1200.61	1534106
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	? (TO)	1200.07	1200.61	1534066
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.07	1200.62	1532121
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.07	1200.62	1532356
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.07	1206.42	1532336
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	? (TO)	1200.07	1200.42	1532231
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.07	1200.61	1533986
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	? (TO)	1200.07	1200.62	1532266
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	? (TO)	1200.07	1200.61	1533941
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	? (TO)	1200.07	1200.71	1534696
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.07	1200.71	1533851
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.07	1200.61	1533826
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	1200.07	1200.61	1532536
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	? (TO)	1200.07	1200.71	1532576
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	? (TO)	1200.07	1200.61	1533716
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	? (TO)	1200.07	1200.61	1533656
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	? (TO)	1200.07	1200.62	1532646
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	? (TO)	1200.07	1200.52	1532591
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.07	1200.72	1532686
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.07	1200.61	1532381
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (TO)	1200.07	1200.62	1532801
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.07	1200.61	1533021
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	? (TO)	1200.07	1200.62	1532791
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (TO)	1200.08	1200.71	1533506
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	? (TO)	1200.08	1200.42	1532131
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.08	1200.72	1532186
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.08	1200.52	1532331
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.08	1200.52	1532321
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.08	1200.61	1532431
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.08	1200.61	1532346
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.08	1200.41	1532416
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	? (TO)	1200.08	1200.42	1532706
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.08	1200.72	1532786
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.08	1207.02	1532881
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.08	1200.62	1532986
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	? (TO)	1200.08	1200.71	1533226
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	? (TO)	1200.08	1200.71	1533496
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	? (TO)	1200.08	1200.51	1533911
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	? (TO)	1200.08	1200.71	1534071
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	? (TO)	1200.08	1200.61	1534436
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.08	1200.42	1532096
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.08	1200.42	1532126
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.08	1200.52	1532181
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.08	1200.42	1532086
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.08	1200.42	1532146
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (TO)	1200.08	1200.52	1532196
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.08	1200.41	1532361
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	1200.08	1200.52	1532256
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.08	1200.71	1532391
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.08	1200.61	1532461
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	1200.08	1200.72	1532616
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	1200.08	1200.72	1532721
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.08	1200.62	1532856
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.08	1200.62	1532866
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.08	1200.72	1532876
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	1200.08	1200.72	1532961
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.08	1200.61	1533026
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	? (TO)	1200.08	1200.72	1532971
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.08	1200.61	1533011
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.08	1200.61	1533046
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (TO)	1200.08	1200.61	1533106
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (TO)	1200.08	1200.41	1533121
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.08	1200.81	1533171
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	? (TO)	1200.08	1200.61	1533236
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	? (TO)	1200.08	1200.61	1533246
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	? (TO)	1200.08	1200.61	1533326
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	? (TO)	1200.08	1200.71	1533351
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (TO)	1200.08	1200.71	1533421
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (TO)	1200.08	1200.61	1533446
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.08	1200.61	1533491
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.08	1200.71	1533511
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.08	1200.71	1533541
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.08	1200.71	1533561
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.08	1200.61	1533551
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	? (TO)	1200.08	1200.71	1533686
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	? (TO)	1200.08	1200.61	1533691
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	? (TO)	1200.08	1200.61	1533761
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.08	1200.61	1533871
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.08	1200.41	1533896
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	? (TO)	1200.08	1200.71	1533921
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	? (TO)	1200.08	1200.61	1534016
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	? (TO)	1200.08	1200.61	1534061
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	? (TO)	1200.08	1200.61	1534056
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	? (TO)	1200.08	1200.71	1534171
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.08	1200.61	1534176
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	? (TO)	1200.08	1200.61	1534191
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	? (TO)	1200.08	1200.71	1534221
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	? (TO)	1200.08	1200.71	1534276
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	? (TO)	1200.08	1200.61	1534441
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	? (TO)	1200.08	1200.61	1534546
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	? (TO)	1200.08	1200.71	1534791
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	1200.09	1200.52	1532166
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	? (TO)	1200.09	1200.41	1532566
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	1200.09	1200.42	1532141
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.09	1200.41	1532311
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	? (TO)	1200.09	1200.71	1533796
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	? (TO)	1200.09	1200.61	1533081
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	? (TO)	1200.09	1200.61	1532511
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.09	1200.71	1533841
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	? (TO)	1200.09	1200.61	1533071
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.09	1200.61	1533966
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.09	1200.41	1532351
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	? (TO)	1200.09	1200.72	1532216
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.09	1200.51	1532496
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.09	1200.52	1532221
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	? (TO)	1200.09	1200.71	1533481
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	? (TO)	1200.09	1200.61	1533906
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.09	1200.61	1533876
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	? (TO)	1200.09	1200.71	1533316
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	? (TO)	1200.09	1200.41	1533241
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	? (TO)	1200.09	1200.61	1534576
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	? (TO)	1200.09	1200.71	1533206
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.09	1200.61	1532396
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.09	1200.61	1532411
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	? (TO)	1200.09	1200.61	1534471
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	1200.09	1200.82	1532091
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	? (TO)	1200.09	1200.51	1534681
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.09	1200.61	1533006
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.09	1200.72	1532916
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	? (TO)	1200.09	1200.71	1533616
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.09	1200.72	1532946
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	? (TO)	1200.09	1200.71	1534676
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	? (TO)	1200.09	1200.62	1532816
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	? (TO)	1200.09	1200.51	1534776
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	? (TO)	1200.09	1200.72	1532826
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (TO)	1200.09	1200.71	1533406
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	? (TO)	1200.09	1200.72	1532726
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	1200.09	1200.72	1532696
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (TO)	1200.09	1200.71	1533436
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	? (TO)	1200.09	1200.61	1534296
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	? (TO)	1200.09	1200.72	1532736
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	? (TO)	1200.09	1200.71	1534266
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.09	1200.52	1532066
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (TO)	1200.09	1200.71	1533136
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	1200.09	1200.72	1532701
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	? (TO)	1200.09	1200.71	1534206
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	? (TO)	1200.09	1200.61	1533666
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (TO)	1200.09	1200.61	1533141
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.09	1200.82	1532626
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.09	1200.61	1533981
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	? (TO)	1200.09	1200.61	1533376
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	? (TO)	1200.09	1200.61	1534151
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	? (TO)	1200.09	1200.61	1533726
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	? (TO)	1200.09	1200.71	1533321
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	? (TO)	1200.09	1200.61	1534766
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	? (TO)	1200.09	1200.71	1532561
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.09	1200.71	1533161
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	? (TO)	1200.09	1200.61	1533701
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	? (TO)	1200.09	1200.51	1534781
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	? (TO)	1200.09	1200.71	1533721
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	? (TO)	1200.09	1200.61	1534761
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	? (TO)	1200.09	1200.71	1533711
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	? (TO)	1200.09	1200.71	1534046
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	? (TO)	1200.09	1200.71	1533216
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	? (TO)	1200.09	1200.61	1534041
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	? (TO)	1200.09	1200.71	1533771
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.09	1200.61	1532466
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	? (TO)	1200.09	1200.71	1534036
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	? (TO)	1200.1	1200.61	1532556
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	? (TO)	1200.1	1200.61	1533431
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	? (TO)	1200.1	1200.61	1532451
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	? (TO)	1200.1	1200.71	1533056
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.1	1200.51	1533041
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	? (TO)	1200.1	1200.52	1532746
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	? (TO)	1200.1	1200.71	1533626
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	? (TO)	1200.1	1200.61	1533676
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	? (TO)	1200.1	1200.62	1532691
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	? (TO)	1200.1	1200.61	1532586
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	? (TO)	1200.1	1200.51	1532596
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	? (TO)	1200.1	1200.71	1532516
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	? (TO)	1200.1	1200.71	1533766
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	? (TO)	1200.1	1200.51	1533786
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	? (TO)	1200.1	1200.61	1533821
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.1	1200.71	1533861
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.1	1200.61	1533846
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.1	1200.51	1532366
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	? (TO)	1200.1	1200.41	1533946
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.1	1200.71	1533956
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	? (TO)	1200.1	1200.62	1532136
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.1	1200.71	1533971
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.1	1200.61	1533996
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	? (TO)	1200.1	1200.71	1534021
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	? (TO)	1200.1	1200.61	1534651
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.1	1200.61	1534121
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	? (TO)	1200.1	1200.71	1534351
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	? (TO)	1200.1	1200.61	1534026
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	1200.1	1200.52	1532236
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	? (TO)	1200.1	1200.41	1534746
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	? (TO)	1200.1	1200.61	1534201
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	? (TO)	1200.1	1200.71	1534216
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	? (TO)	1200.1	1200.71	1533926
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	? (TO)	1200.1	1200.61	1534361
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.1	1200.61	1533501
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	? (TO)	1200.1	1200.61	1534371
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.1	1200.61	1533456
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	1200.1	1200.71	1532491
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	? (TO)	1200.1	1200.71	1534531
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	? (TO)	1200.1	1200.61	1534511
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	? (TO)	1200.1	1200.62	1532111
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	? (TO)	1200.1	1200.61	1534526
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	? (TO)	1200.1	1200.61	1534566
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	? (TO)	1200.1	1200.61	1534621
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	? (TO)	1200.1	1200.61	1533341
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.1	1200.71	1533181
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (TO)	1200.1	1200.61	1533131
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	? (TO)	1200.1	1200.61	1533401
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	? (TO)	1200.1	1200.71	1533371
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (TO)	1200.1	1200.61	1533411
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.11	1200.61	1533031
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	? (TO)	1200.11	1200.41	1532581
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	? (TO)	1200.11	1200.61	1533806
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	? (TO)	1200.11	1200.71	1533631
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	? (TO)	1200.11	1200.61	1534211
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	? (TO)	1200.11	1200.71	1534701
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (TO)	1200.11	1200.71	1533116
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.11	1200.42	1532316
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	? (TO)	1200.11	1200.61	1532476
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	? (TO)	1200.11	1200.71	1533756
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.11	1200.51	1532436
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.11	1200.61	1533516
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	? (TO)	1200.11	1200.71	1534461
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.11	1200.61	1532376
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	? (TO)	1200.11	1200.71	1533366
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	? (TO)	1200.11	1200.71	1534091
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	? (TO)	1200.11	1200.61	1533636
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	? (TO)	1200.11	1200.71	1533356
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.11	1200.71	1533886
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.11	1200.51	1532401
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	? (TO)	1200.11	1200.61	1533291
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	? (TO)	1200.11	1200.61	1534716
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	? (TO)	1200.11	1200.61	1534631
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.11	1200.52	1532241
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	? (TO)	1200.11	1200.61	1534226
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	? (TO)	1200.11	1200.71	1532521
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.11	1200.21	1533521
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	? (TO)	1200.11	1200.42	1532101
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	? (TO)	1200.11	1200.41	1533916
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	? (TO)	1200.11	1200.61	1534731
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	? (TO)	1200.11	1200.61	1533641
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	? (TO)	1200.11	1200.61	1534001
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.11	1200.71	1533571
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	? (TO)	1200.11	1200.71	1534561
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.11	1200.61	1533591
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.11	1200.71	1533151
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	? (TO)	1200.11	1200.71	1534196
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	? (TO)	1200.11	1200.61	1534736
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.11	1200.42	1532206
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	? (TO)	1200.11	1200.61	1534051
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	? (TO)	1200.12	1200.71	1532271
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	? (TO)	1200.12	1200.61	1534516
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	? (TO)	1200.12	1200.41	1534476
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.12	1200.72	1532441
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	? (TO)	1200.12	1200.61	1534656
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	? (TO)	1200.12	1200.61	1534686
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	? (TO)	1200.12	1200.71	1533286
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.12	1200.61	1534186
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	? (TO)	1200.12	1200.61	1533336
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	? (TO)	1200.12	1200.71	1533601
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	? (TO)	1200.12	1200.61	1534256
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	? (TO)	1200.12	1200.61	1533746
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	? (TO)	1200.12	1200.61	1534661
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	? (TO)	1200.12	1200.61	1533611
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	? (TO)	1200.12	1200.71	1533311
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.12	1200.61	1533166
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	? (TO)	1200.12	1200.61	1533076
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	1200.12	1200.61	1532481
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	? (TO)	1200.12	1200.81	1534481
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.12	1200.71	1533531
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.12	1200.71	1532446
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	? (TO)	1200.12	1200.61	1533526
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	? (TO)	1200.12	1200.61	1534706
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.12	1200.71	1533836
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	? (TO)	1200.12	1200.61	1533931
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.12	1200.61	1533811
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	? (TO)	1200.12	1200.81	1533776
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.12	1200.71	1533156
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.12	1200.71	1533536
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	? (TO)	1200.12	1200.71	1533781
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.12	1200.61	1533191
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	1200.12	1200.51	1532531
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.12	1200.71	1532406
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (TO)	1200.13	1200.71	1533146
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	? (TO)	1200.13	1200.71	1533231
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	? (TO)	1200.13	1200.61	1534241
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.13	1200.71	1533461
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	? (TO)	1200.13	1200.71	1533736
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	? (TO)	1200.13	1200.81	1534096
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	? (TO)	1200.13	1200.61	1534031
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.13	1200.61	1533866
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.13	1200.71	1533856
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	? (TO)	1200.13	1200.71	1534381
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	? (TO)	1200.13	1200.71	1533091
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	? (TO)	1200.13	1200.61	1533381
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.13	1200.61	1534141
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	? (TO)	1200.13	1200.61	1533706
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	? (TO)	1200.13	1200.71	1533111

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

Result page for solver IUT_BMB_SAT 1.0 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Solver exceeded the memory limit (no solution given) (9 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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

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

Category "random instances" (RANDOM)

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

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

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