SAT 2009 Competition: preprocessors track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	1.43778	1.43699	1796475
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	2.81557	2.81622	1796673
cmu-bmc-barrel6.cnf	UNSAT	2.82557	2.82926	1796545
manol-pipe-g6bi.cnf	UNSAT	2.90556	2.91052	1797385
een-tip-uns-nusmv-t5.B.cnf	UNSAT	4.02039	4.02307	1797350
hoons-vbmc-lucky7.cnf	UNSAT	4.93425	4.93579	1796575
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	5.56515	5.56818	1796725
manol-pipe-c9.cnf	UNSAT	7.30189	7.30679	1797445
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	8.61169	8.62249	1796395
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	9.08362	9.09339	1796390
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	18.1502	18.16	1796817
goldb-heqc-frg1mul.cnf	UNSAT	20.9018	20.9131	1796555
manol-pipe-g7nidw.cnf	UNSAT	21.3578	21.3692	1797440
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	21.6447	21.6501	1796693
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	23.4094	23.4165	1796737
goldb-heqc-term1mul.cnf	UNSAT	26.355	26.3739	1797375
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	26.8289	26.8445	1796745
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	33.203	33.2112	1796420
cmu-bmc-longmult15.cnf	UNSAT	33.3679	33.38	1796640
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	35.5906	35.6305	1796761
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	40.0989	40.1278	1797321
simon-s03-fifo8-300.cnf	UNSAT	40.5268	40.5559	1797425
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	43.3074	43.3286	1796705
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	43.4364	43.5245	1796813
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	44.0543	44.0755	1796681
schup-l2s-abp4-1-k31.cnf	UNSAT	45.5341	45.5563	1796550
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	46.7859	46.8292	1796669
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	46.9559	46.9487	1796170
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	48.4986	48.6121	1797085
velev-engi-uns-1.0-4nd.cnf	UNSAT	55.0386	55.0683	1796600
manol-pipe-c10nidw_s.cnf	UNSAT	75.4855	75.6009	1797335
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	79.3259	79.3855	1796809
velev-live-uns-2.0-ebuf.cnf	UNSAT	82.7714	82.8042	1797380
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	83.4923	83.6145	1797049
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	92.8099	92.8452	1796175
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	99.9448	100.001	1797097
goldb-heqc-x1mul.cnf	UNSAT	100.685	100.731	1796535
goldb-heqc-dalumul.cnf	UNSAT	103.603	103.631	1796630
manol-pipe-c6nidw_i.cnf	UNSAT	104.969	105.029	1797455
manol-pipe-c6bidw_i.cnf	UNSAT	115.626	115.716	1796615
goldb-heqc-alu4mul.cnf	UNSAT	117.085	117.131	1796660
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	123.685	123.728	1797125
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	130.815	130.863	1797113
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	131.779	131.82	1796410
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	144.677	144.73	1796825
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	164.28	164.325	1796360
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	167.798	167.852	1796385
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	170.945	171.042	1797069
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	179.469	179.56	1796365
goldb-heqc-i10mul.cnf	UNSAT	180.488	180.565	1797355
manol-pipe-c7bidw_i.cnf	UNSAT	183.064	183.116	1797435
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	183.586	183.638	1796757
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	187.384	187.438	1796345
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	201.186	201.288	1797065
manol-pipe-g10id.cnf	UNSAT	218.024	218.135	1797365
manol-pipe-c7nidw.cnf	UNSAT	234.249	234.368	1797360
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	245.963	246.059	1797061
manol-pipe-g10nid.cnf	UNSAT	262.216	262.35	1796605
schup-l2s-guid-1-k56.cnf	UNSAT	266.181	266.325	1797420
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	281.632	281.775	1797153
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	281.673	281.787	1797021
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	290.22	290.385	1796985
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	291.973	292.099	1797009
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	292.081	292.207	1797013
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	323.652	323.831	1797189
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	323.889	324.061	1797041
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	332.821	333.988	1796713
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	361.596	361.706	1796989
manol-pipe-g10bidw.cnf	UNSAT	365.575	365.723	1797340
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	379.064	379.335	1796355
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	393.513	393.682	1797181
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	396.216	396.371	1797089
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	417.869	418.069	1796285
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	458.941	459.063	1796235
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	470.844	470.95	1797045
manol-pipe-f9n.cnf	UNSAT	563.504	563.694	1797405
manol-pipe-f9b.cnf	UNSAT	570.06	570.25	1796585
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	593.082	593.393	1797273
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	621.227	621.412	1796245
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	636.454	636.764	1797161
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	654.779	655.02	1797033
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	660.451	660.755	1797081
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	729.36	729.819	1796677
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	756.775	757.006	1796350
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	836.783	837.254	1796280
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	906.362	906.625	1796165
manol-pipe-c10nid_i.cnf	UNSAT	910.132	910.755	1796650
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	990.494	991.048	1796717
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	1139.9	1140.4	1796753
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	1141.78	1142.1	1796295
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1146.6	1146.92	1796801

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.678895	0.679811	1796933
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	1.00685	1.00359	1796945
een-tip-sat-texas-tp-5e.cnf	SAT	1.03884	1.07352	1796655
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	2.09768	2.09866	1796969
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	2.98154	2.97801	1796937
industrial/grieu/ vmpc_24.cnf	SAT	3.2995	3.30053	1796445
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	3.37149	3.37086	1797017
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	3.56246	3.55913	1796993
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	3.70444	3.71006	1796973
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	3.73643	3.73852	1796929
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	5.95709	5.95248	1796957
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	6.09907	6.09957	1796953
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	6.66299	6.66512	1796925
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	8.68068	9.79105	1796917
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	9.40857	9.45893	1797005
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	9.57354	9.58298	1796941
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	9.92249	9.93142	1796977
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	10.3894	10.3908	1796965
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	12.5401	12.5727	1797265
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	13.9359	13.9413	1796921
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	18.2212	18.2237	1797001
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	20.6989	20.7063	1796909
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	24.0233	24.0395	1797241
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	25.1822	25.1938	1796961
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	26.103	26.112	1796865
industrial/grieu/ vmpc_25.cnf	SAT	26.615	26.6251	1796430
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	27.9617	27.9752	1796981
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	34.4348	34.4586	1796949
mizh-sha0-35-3.cnf	SAT	37.8762	37.9158	1796645
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	41.3677	41.4019	1796881
industrial/grieu/ vmpc_29.cnf	SAT	50.4983	50.8115	1796450
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	57.2953	57.3345	1797261
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	65.1951	65.246	1797285
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	67.4117	67.4476	1796997
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	90.6892	90.7883	1797077
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	98.469	98.522	1796913
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	115.195	115.203	1796861
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	115.545	115.613	1797117
industrial/grieu/ vmpc_26.cnf	SAT	162.724	162.837	1796465
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	163.763	163.853	1796841
mizh-md5-47-4.cnf	SAT	207.155	207.253	1796635
mizh-sha0-36-4.cnf	SAT	215.523	215.627	1796610
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	232.75	232.881	1796340
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	233.786	233.855	1796195
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	259.901	260.133	1797073
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	314.644	314.76	1796200
simon-s03-w08-15.cnf	SAT	318.309	318.522	1796565
schup-l2s-motst-2-k315.cnf	SAT	354.277	354.411	1796590
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	396.099	396.208	1797205
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	436.753	436.89	1796185
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	552.904	553.093	1797053
mizh-md5-48-5.cnf	SAT	615.989	616.232	1796665
velev-pipe-sat-1.0-b7.cnf	SAT	639.108	639.875	1797330
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	706.808	707.018	1797093
mizh-md5-47-3.cnf	SAT	714.916	715.241	1796540
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	976.508	976.959	1797157
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1117.34	1117.71	1797185
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	1195.53	1195.87	1796833

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/grieu/ vmpc_34.cnf	? (TO)	1200	1200.61	1796460
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200	1200.51	1797169
industrial/grieu/ vmpc_33.cnf	? (TO)	1200	1200.61	1796440
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200	1200.51	1797309
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200	1200.51	1797293
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200	1200.61	1797177
industrial/grieu/ vmpc_30.cnf	? (TO)	1200	1200.51	1796435
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.01	1200.31	1796290
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.01	1200.71	1796869
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.01	1200.51	1796733
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.01	1200.51	1796315
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.01	1200.31	1797225
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.01	1201.61	1796697
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.01	1200.51	1797370
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.01	1200.41	1797390
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.01	1200.61	1796701
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.01	1200.61	1796873
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.02	1200.61	1797109
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.02	1200.61	1797289
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.02	1200.61	1796829
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.02	1200.61	1797317
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.02	1200.31	1796330
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.02	1200.61	1797301
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.02	1200.61	1796505
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.03	1200.61	1796885
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.03	1200.71	1797133
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.03	1200.71	1796689
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.03	1200.71	1796905
manol-pipe-f10ni.cnf	? (TO)	1200.03	1200.81	1797415
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.03	1200.61	1796769
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.03	1200.31	1797257
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.03	1200.51	1797233
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.03	1200.41	1796425
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.03	1200.61	1796220
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.03	1200.41	1796180
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1797249
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.03	1200.61	1797237
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.03	1200.61	1796580
simon-s02b-dp11u10.cnf	? (TO)	1200.03	1200.12	1797395
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.04	1200.71	1797025
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.04	1200.51	1796741
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.04	1200.41	1796773
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.04	1200.41	1796255
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.04	1200.41	1796300
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.04	1200.41	1796325
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.04	1200.41	1796415
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.04	1200.41	1796215
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.04	1200.61	1797253
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.04	1200.71	1796370
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.04	1200.61	1796480
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.04	1200.61	1797217
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.04	1200.51	1796500
manol-pipe-c10nidw.cnf	? (TO)	1200.04	1201.01	1796595
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.04	1200.41	1796560
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.04	1200.71	1797173
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.04	1200.41	1797165
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.04	1200.61	1796845
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.04	1200.41	1796781
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.04	1200.61	1796857
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.05	1200.41	1796765
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.05	1200.41	1796190
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.05	1200.41	1796205
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.05	1200.51	1796210
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.05	1200.51	1796335
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.05	1200.41	1796225
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.05	1200.61	1796495
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.05	1200.61	1796785
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.05	1200.41	1797029
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.05	1200.51	1797105
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.05	1200.71	1797297
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.06	1200.41	1796901
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.06	1200.61	1796380
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.06	1200.41	1797101
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.06	1200.61	1797141
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.06	1200.41	1797277
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.06	1201.81	1796375
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.06	1200.41	1796893
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.06	1200.61	1796889
mizh-sha0-36-3.cnf	? (TO)	1200.06	1200.71	1796570
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.06	1200.41	1796897
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.06	1200.61	1797129
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.06	1202.11	1796721
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.06	1200.61	1796777
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	? (TO)	1200.06	1200.41	1797221
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.06	1200.61	1796250
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.06	1200.41	1796230
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.06	1200.41	1797201
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.07	1200.41	1797193
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.07	1200.41	1797281
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.07	1200.51	1797430
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.07	1200.41	1796789
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.07	1200.41	1796877
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.71	1797209
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.07	1200.61	1797149
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.07	1200.41	1796240
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.07	1200.71	1796455
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.07	1200.71	1797197
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.07	1200.61	1797313
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.07	1200.61	1797245
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.07	1200.61	1796797
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.07	1200.41	1797400
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.07	1200.41	1796270
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.07	1200.61	1796320
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.07	1200.41	1796260
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.08	1200.41	1796305
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.08	1200.61	1797137
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.08	1201.11	1796793
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.08	1200.61	1797121
aloul-chnl11-13.cnf	? (TO)	1200.08	1200.51	1796625
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.08	1200.41	1796837
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.08	1200.61	1796515
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.08	1200.71	1796729
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.08	1200.61	1797450
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.08	1200.41	1796405
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.08	1200.61	1796310
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.08	1200.41	1796490
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.08	1200.41	1796265
mizh-sha0-36-2.cnf	? (TO)	1200.08	1200.61	1797410
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.08	1200.51	1796821
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.08	1200.61	1796620
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.08	1200.41	1796400
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.09	1200.81	1797213
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.09	1200.71	1797269
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.09	1200.61	1796709
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.61	1796849
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.09	1200.61	1797145
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.09	1200.41	1796805
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.09	1200.51	1797229
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1797325
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.1	1200.61	1797057
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.1	1200.71	1796853
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.1	1200.61	1796510
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.1	1200.51	1796520
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.1	1200.71	1797305
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.1	1200.51	1796275

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	3.58	3.61268	1797037
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	85.95	359.903	1796525
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	90.08	90.2165	1796530
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	115.21	115.412	1796485
industrial/narain/ clauses-8.cnf	? (MO)	115.21	117.718	1796470
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (MO)	195.08	195.927	1796749
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (MO)	261.97	263.313	1796685
velev-pipe-sat-1.0-b10.cnf	? (MO)	918.07	918.734	1797345

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.004998	0.00544005	1807433
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.004998	0.00545794	1807475
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.033994	0.0359861	1807405
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.533918	0.534474	1807496
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	1.00285	1.0118	1807055
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	1.89371	1.89573	1805739
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	2.07868	2.08013	1807419
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	2.58861	2.58991	1806803
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	3.55246	3.55551	1805732
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	14.8787	14.8911	1805746
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	18.5692	18.575	1805718
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	44.6072	44.6434	1805802
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	45.0092	45.0353	1806502
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	53.1159	53.1396	1806817
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	69.5644	69.5892	1805753
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	77.8752	77.9129	1806313
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	78.83	78.8636	1806334
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	89.1674	89.1981	1805781
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	90.8502	90.8926	1805788
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	91.1511	91.1862	1806348
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	98.796	98.8318	1806341
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	101.974	102.022	1806320
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	103.409	103.456	1806327
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	116.955	116.992	1806306
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	164.724	164.801	1807440
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	231.933	232.012	1806026
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	480.383	480.53	1805837
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	492.227	492.438	1806551
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	523.732	523.89	1805977
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	554.244	554.564	1806943
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	576.173	576.354	1806908
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	615.961	616.153	1806929
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	UNSAT	797.417	797.836	1805970
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	810.002	810.325	1805844

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.033994	0.0825969	1807412
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.035994	0.0352901	1807503
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.094985	0.095636	1807104
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.113981	0.113995	1807125
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.122981	0.123969	1807426
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.138978	0.139656	1807090
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.165974	0.168365	1807461
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.216966	0.216694	1807097
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.234963	0.235218	1807139
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.248961	0.248492	1806936
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.248962	0.249442	1807132
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.292955	0.292374	1807118
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.312952	0.312605	1807153
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.366943	0.366095	1807111
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	0.404937	0.404012	1807447
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.424935	0.42636	1807160
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.509922	0.50993	1807377
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.547916	0.548997	1807146
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	1.11783	1.11716	1807482
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	1.48677	1.4866	1807384
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	2.46762	2.47076	1805725
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	2.89956	2.89922	1805760
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	3.37549	3.37728	1807468
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	4.38433	4.42169	1806691
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	4.53231	4.54473	1807489
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	5.01224	6.38763	1806698
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	6.44302	6.44392	1805767
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	6.70598	6.71004	1806663
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	6.77597	6.77701	1805774
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	7.81181	7.81566	1807398
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	7.84681	7.87802	1806971
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	11.3563	11.3702	1806677
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	11.7762	11.7875	1807510
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	16.5335	16.5388	1806894
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	16.6665	16.6754	1807657
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	16.7505	16.7621	1806705
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	18.7252	18.7296	1807244
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT	20.5189	20.5252	1807454
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	20.7398	20.7563	1806670
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	20.7828	20.8	1807076
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	31.0733	31.0993	1806642
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	35.2276	35.2479	1805823
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	41.2587	41.2813	1807202
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	46.4959	46.5163	1806656
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	57.2503	57.2818	1806684
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	74.8096	74.8428	1807594
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	85.241	85.2922	1807587
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	88.2096	88.2621	1806621
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	104.825	104.854	1807517
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	105.171	105.238	1806565
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	112.035	112.099	1807636
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	120.021	120.06	1806488
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	139.003	139.063	1806712
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	146.049	146.106	1806747
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	158.723	158.801	1805830
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	181.134	181.232	1807230
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	201.818	201.896	1806915
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	206.735	206.792	1807209
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	264.031	264.144	1807251
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	303.782	303.927	1806635
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	312.392	312.513	1807258
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	SAT	324.197	324.358	1806131
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	362.909	363.018	1806628
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	376.438	376.575	1806649
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	500.612	500.813	1806852
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	SAT	614.039	614.3	1806495
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	664.271	664.53	1805816
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	674.249	674.481	1807223
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	736.526	736.778	1807181
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	762.352	762.549	1807601
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	880.994	881.351	1807013
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	1014.4	1014.83	1807272

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200	1200.61	1806887
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200	1200.51	1806047
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	1200	1200.51	1806859
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200	1200.31	1805865
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200	1200.51	1806411
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200	1200.61	1805851
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200	1200.51	1805809
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200	1200.51	1805893
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200	1200.61	1806593
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200	1200.71	1806901
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1806089
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.01	1200.51	1805879
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1806173
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.01	1200.51	1806418
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.01	1200.51	1806215
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1806523
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.01	1200.51	1807545
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.01	1200.71	1806271
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.01	1200.61	1807328
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.02	1200.61	1807069
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1806187
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1806264
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1805928
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.02	1200.71	1806824
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.02	1200.51	1806719
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1806474
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.02	1200.41	1806614
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1806481
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.03	1200.41	1806810
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1806467
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1806299
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.03	1200.51	1806761
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.03	1200.61	1807391
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.03	1200.31	1806873
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.03	1200.71	1806117
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1806425
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.03	1200.61	1807307
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.03	1200.51	1807083
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1805935
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.03	1200.61	1807216
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1805914
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.03	1200.12	1806740
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1806138
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.03	1200.12	1805949
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.03	1200.71	1807566
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1806236
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1805984
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1806257
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1806103
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1806229
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806152
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1805711
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1806404
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1806509
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.04	1200.61	1806733
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	? (TO)	1200.04	1200.51	1806845
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.04	1200.61	1806999
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.04	1200.61	1806964
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.04	1200.61	1807174
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.04	1200.61	1807048
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.04	1200.51	1807664
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1805900
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.05	1200.61	1806579
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.05	1200.41	1807286
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.05	1200.71	1807622
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806362
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806061
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806124
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.05	1200.71	1806558
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.05	1200.71	1807671
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.05	1200.51	1807580
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.05	1200.61	1807321
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.05	1200.41	1807265
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1806278
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806397
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.05	1200.71	1806796
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.05	1200.71	1806096
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.05	1200.61	1807573
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.05	1200.71	1807335
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.05	1200.61	1807370
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806355
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.05	1200.71	1806754
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.05	1200.41	1807237
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806208
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1806439
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806383
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.06	1200.61	1806782
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1805858
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.06	1200.71	1807041
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.06	1200.61	1807027
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.06	1200.81	1806768
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806159
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1806012
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.06	1200.61	1806950
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.06	1200.61	1807062
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806033
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806145
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1805921
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.06	1200.71	1807559
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1806082
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1806110
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.06	1200.41	1807349
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806180
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.06	1200.71	1806775
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.06	1200.71	1806390
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.06	1200.41	1806789
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.06	1200.71	1807006
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.06	1200.61	1806607
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1805998
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.07	1200.61	1807629
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806292
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1806376
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806194
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.07	1200.51	1806586
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.07	1200.61	1807650
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806285
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806166
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806075
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806250
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806446
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806201
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.07	1200.51	1806600
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.07	1200.41	1806831
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806530
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1805795
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1805907
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.07	1200.41	1807034
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.07	1200.61	1807531
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.07	1200.71	1807314
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.07	1200.61	1807020
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.07	1200.41	1807167
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806040
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1805956
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1805942
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.07	1200.71	1807279
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806453
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806369
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.08	1200.71	1807293
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.08	1200.41	1806922
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.08	1200.61	1806978
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1806243
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.08	1200.71	1806726
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.08	1200.61	1807300
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.08	1200.51	1806838
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.08	1200.71	1807342
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.08	1200.61	1807615
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1806537
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1806432
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.08	1200.71	1807552
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.08	1201.01	1807356
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.08	1200.51	1806572
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1806460
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.08	1200.51	1806992
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1805872
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.08	1200.71	1807195
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.08	1200.61	1806880
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1806019
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1806222
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1805963
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.09	1200.41	1806985
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1805991
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.09	1200.71	1806957
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	? (TO)	1200.09	1200.61	1806866
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1806054
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.09	1200.61	1807608
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.09	1200.41	1807363
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1806068
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.09	1200.81	1807524
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1806544
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1805886
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.09	1200.61	1807643
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.09	1200.61	1807538
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.1	1200.71	1807188
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1806005
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806516

SAT 2009 Competition: preprocessors track: benchmarks results per solver

Result page for solver kw_pre 2009-03-21 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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