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	0.316951	0.317108	1796477
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.45778	1.45918	1796675
cmu-bmc-barrel6.cnf	UNSAT	2.70659	2.7058	1796547
manol-pipe-g6bi.cnf	UNSAT	5.06323	5.0794	1797387
hoons-vbmc-lucky7.cnf	UNSAT	6.30804	6.36348	1796577
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	8.32273	8.33273	1796727
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	9.72752	9.73145	1796397
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	12.4881	12.5014	1796683
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	13.8059	13.8165	1796392
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	17.3214	17.3259	1796422
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	17.7133	17.7332	1796819
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	20.0999	20.1202	1796747
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	21.1178	21.1295	1796739
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	23.7854	23.8008	1796815
manol-pipe-g7nidw.cnf	UNSAT	24.5903	24.6284	1797442
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	29.4105	29.4288	1796695
cmu-bmc-longmult15.cnf	UNSAT	30.7423	30.7692	1796642
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	31.8592	31.8725	1796707
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	45.0382	45.0682	1796811
een-tip-uns-nusmv-t5.B.cnf	UNSAT	48.3746	48.3999	1797352
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	51.3702	51.4007	1796671
schup-l2s-abp4-1-k31.cnf	UNSAT	51.4322	51.5501	1796552
manol-pipe-c9.cnf	UNSAT	53.7998	53.8267	1797447
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	54.8017	59.0419	1796172
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	56.9363	56.9844	1796177
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	77.1883	77.2404	1796763
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	90.5512	90.5778	1796412
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	93.7717	93.8277	1797035
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	97.6871	97.7317	1796827
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	109.296	109.34	1797087
manol-pipe-c6bidw_i.cnf	UNSAT	114.882	114.926	1796617
simon-s03-fifo8-300.cnf	UNSAT	116.198	116.293	1797427
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	147.557	147.655	1796715
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	277.211	277.314	1796679
manol-pipe-c6nidw_i.cnf	UNSAT	278.242	278.393	1797457
manol-pipe-c10nidw_s.cnf	UNSAT	289.173	289.372	1797337
manol-pipe-g10id.cnf	UNSAT	327.53	327.671	1797367
velev-engi-uns-1.0-4nd.cnf	UNSAT	361.349	361.526	1796602
manol-pipe-c7bidw_i.cnf	UNSAT	382.118	382.304	1797437
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	384.463	384.652	1797323
goldb-heqc-alu4mul.cnf	UNSAT	407.7	408.005	1796662
schup-l2s-guid-1-k56.cnf	UNSAT	455.153	455.341	1797422
velev-live-uns-2.0-ebuf.cnf	UNSAT	478.666	478.87	1797382
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	486.742	486.99	1796427
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	515.517	515.737	1797099
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	518.945	519.231	1796347
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	520.955	521.146	1797127
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	522.503	522.783	1797115
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	532.189	532.5	1796367
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	538.223	538.466	1796987
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	539.302	539.527	1796362
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	569.098	569.32	1797183
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	573.687	573.926	1796387
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	600.909	601.204	1797023
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	614.099	614.4	1796357
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	625.763	626.075	1797011
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	629.307	629.634	1797155
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	650.771	651.082	1797043
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	657.448	657.712	1796237
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	696.95	697.237	1796803
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	773.648	774.538	1797191
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	826.494	826.833	1797051
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	847.614	848.021	1796991
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	870.247	870.673	1796352
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	870.46	870.801	1797015
manol-pipe-c7nidw.cnf	UNSAT	1045.21	1045.6	1797362
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	1054.2	1054.62	1796247
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	1073.98	1074.42	1797071
simon-s02b-dp11u10.cnf	UNSAT	1084.52	1085.06	1797397
schup-l2s-bc56s-1-k391.cnf	UNSAT	1185.35	1185.94	1796582

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.32295	0.325488	1796657
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	2.22566	2.23305	1796963
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	2.78358	2.79084	1796955
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	3.08353	3.09479	1796923
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	4.6003	4.61602	1796935
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	8.94064	8.94759	1796947
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	12.1482	12.157	1796943
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	26.219	26.2384	1796911
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	31.0303	31.0567	1796927
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	31.2123	31.2441	1796939
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	32.974	32.9951	1796959
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	39.61	39.6479	1796995
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	42.8585	42.888	1797019
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	43.8653	43.9242	1797007
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	47.4488	47.9285	1796883
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	53.6338	53.7029	1796867
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	57.8082	57.8358	1796903
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	61.3067	61.3348	1796931
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	61.5726	61.6032	1796979
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	67.0788	67.1541	1796863
industrial/grieu/ vmpc_25.cnf	SAT	70.6683	70.7066	1796432
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	75.7615	75.8251	1797003
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	86.3959	86.4468	1796907
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	106.706	106.755	1796999
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	115.878	115.946	1796983
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	130.444	130.528	1797055
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	141.197	141.27	1796919
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	177.015	177.124	1796971
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	180.009	180.112	1796975
industrial/grieu/ vmpc_24.cnf	SAT	247.581	247.71	1796447
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	281.986	282.126	1796843
mizh-md5-47-4.cnf	SAT	378.271	378.475	1796637
mizh-sha0-36-4.cnf	SAT	401.18	401.418	1796612
industrial/grieu/ vmpc_28.cnf	SAT	410.844	411.003	1796457
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	448.56	448.81	1796915
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	503.127	503.341	1797267
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	503.494	503.651	1796967
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	505.384	505.644	1796951
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	518.47	518.715	1797223
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	524.853	525.039	1797119
schup-l2s-motst-2-k315.cnf	SAT	526.593	526.84	1796592
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	528.07	528.219	1796835
simon-s03-w08-15.cnf	SAT	544.191	544.352	1796567
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	576.372	576.625	1796342
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	622.282	622.463	1797079
mizh-sha0-35-3.cnf	SAT	632.015	632.237	1796647
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	776.823	777.2	1797075
mizh-md5-48-5.cnf	SAT	800.32	800.784	1796667
industrial/grieu/ vmpc_26.cnf	SAT	825.338	825.744	1796467
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	1091.47	1091.98	1797159
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	1179.76	1180.25	1797263

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200	1200.61	1797315
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200	1200.31	1797199
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200	1200.51	1796507
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200	1200.31	1797215
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200	1203.32	1796337
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200	1200.51	1797095
mizh-md5-47-3.cnf	? (TO)	1200	1200.41	1796542
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200	1200.61	1797147
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200	1200.51	1796775
velev-pipe-uns-1.0-8.cnf	? (TO)	1200	1200.51	1797452
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.01	1200.61	1796242
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.01	1200.41	1797175
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.01	1200.51	1797135
manol-pipe-f9n.cnf	? (TO)	1200.01	1200.61	1797407
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.01	1200.12	1797271
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.01	1200.71	1796192
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.01	1200.51	1796437
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.02	1200.61	1797151
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.02	1200.51	1796502
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.02	1200.61	1797307
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.02	1200.61	1797295
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.02	1200.61	1797107
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.02	1200.41	1797139
mizh-sha0-36-3.cnf	? (TO)	1200.02	1200.12	1796572
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.02	1200.41	1796307
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.02	1200.61	1796167
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.02	1200.51	1796622
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.02	1200.51	1796257
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.02	1201.81	1796492
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.02	1200.51	1797195
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.02	1200.61	1797031
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.02	1200.41	1796207
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.03	1200.61	1797067
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.03	1200.61	1797179
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.03	1200.41	1797171
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.03	1200.61	1797327
manol-pipe-f9b.cnf	? (TO)	1200.03	1200.41	1796587
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.03	1205.61	1796723
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.03	1200.61	1796847
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.03	1200.41	1796767
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.03	1200.61	1796771
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.03	1200.71	1797123
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.03	1200.12	1797211
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.04	1201.81	1796332
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.04	1214.61	1796272
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.04	1231.01	1796783
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.04	1200.51	1797219
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.04	1200.61	1797143
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.04	1200.41	1796202
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.04	1200.61	1797239
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.04	1201.81	1797111
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.04	1200.41	1797319
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.04	1200.41	1796287
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.04	1200.61	1797227
manol-pipe-c10nidw.cnf	? (TO)	1200.04	1200.61	1796597
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.04	1200.02	1796182
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.04	1200.61	1797251
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.04	1200.41	1797392
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.04	1200.61	1796482
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.04	1200.61	1797047
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.04	1200.61	1797059
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.04	1200.61	1796699
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.05	1200.61	1796317
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.05	1200.61	1797247
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.05	1200.51	1796222
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.05	1200.61	1797063
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.05	1200.61	1796462
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.05	1200.71	1796402
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.05	1200.61	1796187
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.05	1200.41	1796382
goldb-heqc-term1mul.cnf	? (TO)	1200.05	1200.61	1797377
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.05	1200.61	1797131
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.05	1202.21	1796522
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.05	1200.61	1797091
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.05	1200.61	1796807
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.05	1200.61	1797303
aloul-chnl11-13.cnf	? (TO)	1200.05	1200.41	1796627
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.05	1200.61	1796497
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.05	1200.41	1797287
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.05	1200.51	1796452
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.06	1200.61	1796759
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.06	1200.51	1796217
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.06	1200.41	1796691
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.06	1200.61	1797372
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.06	1200.61	1796743
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.06	1200.61	1796887
manol-pipe-c10nid_i.cnf	? (TO)	1200.06	1200.41	1796652
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.06	1200.61	1796891
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.06	1200.41	1796197
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.06	1200.61	1796851
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.06	1200.61	1796322
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.06	1200.61	1797187
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.06	1200.61	1796839
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.06	1200.61	1797231
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.06	1200.61	1797163
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.06	1200.71	1797103
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.06	1200.61	1796442
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.06	1200.51	1797275
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.07	1200.61	1796751
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.07	1200.61	1797027
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.07	1200.71	1796871
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.07	1200.51	1796377
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.07	1200.51	1796212
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.07	1200.91	1796787
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.07	1200.71	1796372
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.07	1200.41	1796855
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.07	1200.51	1796262
goldb-heqc-i10mul.cnf	? (TO)	1200.07	1200.41	1797357
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.07	1200.41	1796282
manol-pipe-g10bidw.cnf	? (TO)	1200.07	1200.61	1797342
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.07	1200.61	1796703
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.08	1200.81	1797083
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.08	1200.51	1796297
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.08	1200.71	1796417
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.08	1201.12	1796327
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.08	1200.61	1796277
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.08	1200.41	1796232
manol-pipe-g10nid.cnf	? (TO)	1200.08	1200.71	1796607
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.08	1201.91	1796562
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.08	1200.61	1796735
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.08	1200.61	1796779
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.08	1200.61	1796899
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.08	1200.71	1796879
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.08	1200.41	1796895
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.08	1200.61	1796823
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.08	1200.81	1797207
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.08	1200.61	1797283
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.08	1200.71	1797243
mizh-sha0-36-2.cnf	? (TO)	1200.08	1200.61	1797412
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.08	1200.41	1797259
manol-pipe-f10ni.cnf	? (TO)	1200.08	1200.71	1797417
goldb-heqc-dalumul.cnf	? (TO)	1200.09	1200.61	1796632
goldb-heqc-x1mul.cnf	? (TO)	1200.09	1200.61	1796537
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.71	1797299
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.09	1200.71	1797279
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.09	1200.61	1796292
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.09	1200.61	1797291
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.09	1200.51	1796227
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.09	1200.51	1796252
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.09	1200.61	1797432
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.61	1796755
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.09	1200.71	1797255
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.09	1200.71	1797235
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.61	1797311
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.09	1200.71	1797167
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.71	1797402
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.09	1200.41	1796831
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.09	1200.71	1796267
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.1	1200.81	1796795
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.1	1200.51	1796799
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.1	1200.71	1796791
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.1	1200.51	1796687
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.1	1200.41	1796719
goldb-heqc-frg1mul.cnf	? (TO)	1200.1	1200.51	1796557
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.1	1200.61	1796302
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.1	1200.71	1797203
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.1	1200.51	1796407
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.11	1200.61	1796731
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.12	1200.71	1796859
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.12	1200.71	1796312
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.12	1200.71	1796711
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.13	1200.71	1796875

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (problem)	0.002998	0.00598801	1796512
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (problem)	0.003998	0.00560606	1796532
velev-pipe-sat-1.0-b7.cnf	? (problem)	0.003998	0.00517711	1797332
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (problem)	0.003998	0.00589492	1796487
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (problem)	0.003998	0.00557101	1797039
velev-pipe-sat-1.0-b10.cnf	? (problem)	0.003998	0.00537809	1797347
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (problem)	0.003999	0.00563111	1796527
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (problem)	0.004998	0.00548398	1796517
industrial/narain/ clauses-8.cnf	? (problem)	0.004999	0.00544993	1796472

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.004998	0.00548907	1807477
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.007998	0.00874101	1807435
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.097985	0.0986659	1807407
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	0.315951	0.315789	1805748
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	1.42878	1.43415	1807057
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	1.45078	1.45255	1807498
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	2.92655	2.92715	1806805
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	4.76127	4.7616	1806385
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	10.9263	10.9449	1805734
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	11.8842	11.893	1805741
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	12.7461	12.7533	1805720
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	18.2072	18.4796	1806819
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	19.658	19.6806	1807421
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	45.6941	45.7111	1806945
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	48.6676	48.6929	1805755
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	57.1453	57.1839	1806350
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	60.6568	60.6968	1805790
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	79.4479	79.489	1806329
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	80.9807	81.0079	1806322
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	89.3544	89.4115	1806336
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	97.9491	98.0029	1805783
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	108.235	108.282	1806315
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	111.435	111.48	1805846
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	121.648	121.711	1806308
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	129.439	129.497	1805839
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	145.654	145.701	1806931
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	161.89	161.97	1806343
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	164.893	164.935	1805713
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	205.063	205.157	1806504
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	236.571	236.711	1806028
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	302.113	302.202	1806791
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	321.79	321.892	1806553
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	353.63	353.815	1807442
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	497.438	497.697	1806539
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	572.564	572.846	1806910
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	623.655	623.943	1805797
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	643.199	643.468	1805804
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	703.091	703.424	1806518
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	740.601	740.976	1807029
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	788.1	789.458	1805979
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	788.779	789.171	1806301
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	819.684	819.961	1806035
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	895.331	895.701	1806525
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	UNSAT	1129.84	1130.33	1806231

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.061989	0.0615951	1807106
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.063989	0.0661749	1806938
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.072988	0.0719141	1807127
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.082986	0.0843729	1807092
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.082986	0.08213	1807505
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.102983	0.104844	1807414
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.133979	0.134068	1807099
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.138978	0.141099	1807141
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.153975	0.15417	1807134
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.165974	0.164472	1807120
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.174972	0.174944	1807155
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.206967	0.206851	1807113
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.231964	0.231265	1807162
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.31895	0.322184	1807148
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.543916	0.543974	1807379
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.869867	0.871715	1807428
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	1.04684	1.0532	1806896
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	1.67774	1.68054	1807386
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.71474	1.71649	1806854
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	2.22166	2.22736	1807463
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	3.59145	3.60542	1807449
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	6.71398	6.72115	1806973
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	7.95379	7.96963	1806917
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	8.72767	8.73286	1805832
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	14.8937	14.9151	1807484
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	21.4647	21.4744	1807078
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	22.5186	22.5645	1807400
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	26.098	26.1215	1807638
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	26.9419	26.9614	1805776
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	28.5767	28.5929	1806644
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	32.4841	32.5866	1805762
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	32.964	32.9797	1806707
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	33.8309	33.8548	1805769
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	35.3376	35.3741	1805727
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	36.3345	36.356	1807470
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	39.185	39.197	1806567
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	50.9283	50.9845	1806952
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	65.884	65.9168	1806658
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	67.9617	68	1807519
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	68.9565	68.9975	1806700
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	70.3933	70.428	1807491
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	79.7459	79.768	1805825
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	96.4683	96.5399	1807596
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	103.109	103.16	1807232
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	104.932	104.982	1806651
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	118.657	118.72	1806672
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	120.122	120.215	1807211
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	120.402	120.474	1806868
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	134.417	134.486	1807512
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	143.477	143.541	1807246
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	147.763	147.841	1806693
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	162.233	162.311	1807183
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	169.896	169.986	1806665
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	174.16	174.253	1805811
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	180.244	180.357	1806679
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	224.867	224.976	1806924
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	270.762	270.886	1806686
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	273.958	274.077	1805818
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	284.484	284.612	1806455
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	310.369	310.514	1806630
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	357.925	358.028	1806490
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	388.91	389.028	1806623
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	404.579	404.757	1806742
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	438.686	438.917	1806714
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	454.79	454.977	1807015
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	SAT	534.55	534.818	1805881
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	SAT	602.8	603.052	1806616
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	639.821	640.134	1807659
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	662.1	662.273	1806574
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	716.225	716.591	1806861
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	748.712	749.086	1806847
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	777.779	778.16	1806749
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	778.648	779.026	1807225
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	880.375	880.732	1807253
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	1095.81	1096.31	1807603

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200	1200.51	1806728
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200	1200.61	1806427
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200	1200.51	1806154
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200	1200.51	1807218
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1805972
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.01	1200.61	1807197
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.01	1200.51	1806770
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.01	1200.61	1806735
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.01	1200.71	1807036
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.01	1200.61	1806588
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.01	1200.51	1806994
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.01	1200.61	1807022
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1805986
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.01	1200.41	1807001
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.01	1200.51	1807267
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.02	1200.61	1807631
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.02	1200.61	1807351
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.02	1200.41	1807239
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1806084
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.02	1200.71	1806609
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1805916
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1806168
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1806112
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.02	1200.71	1805944
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1805937
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.02	1200.51	1807337
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1805993
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.03	1200.41	1806602
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1806441
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.03	1200.71	1806889
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.03	1200.51	1807575
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.03	1200.51	1807673
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.03	1200.71	1806021
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1806406
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.03	1200.51	1806840
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.03	1200.61	1806581
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806434
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806014
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.04	1200.71	1806357
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806056
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.04	1200.61	1807295
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806469
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1806217
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.04	1200.51	1807526
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806126
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.04	1200.71	1807393
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.04	1200.61	1807344
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.04	1200.61	1806595
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.04	1200.71	1806448
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806147
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.05	1200.61	1807652
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.05	1200.61	1807309
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.05	1200.61	1807281
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806238
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806245
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.05	1200.71	1805958
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.05	1200.41	1807176
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.05	1200.61	1807589
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1805965
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806371
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.05	1200.61	1807582
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.05	1200.81	1807365
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806364
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.05	1200.51	1807008
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.05	1200.61	1806763
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (TO)	1200.05	1200.41	1806637
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.05	1200.61	1807190
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806224
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1805874
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806182
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.06	1200.61	1807561
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.06	1200.71	1807169
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806378
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806287
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.06	1200.61	1806980
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.06	1200.61	1806756
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.06	1200.71	1807645
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.07	1200.51	1807624
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806133
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.07	1200.91	1806000
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806007
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806203
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806420
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1806273
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806259
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806399
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.07	1200.41	1806875
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.07	1200.81	1806511
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.07	1200.41	1806826
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.07	1200.91	1806882
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.07	1200.61	1807330
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.07	1200.41	1807085
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.07	1200.51	1807288
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.07	1200.61	1807610
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.07	1200.61	1807547
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.07	1200.71	1807316
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.08	1200.61	1807323
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.08	1200.61	1807617
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1806560
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1805853
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806294
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806119
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1806105
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806196
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.71	1807456
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1805951
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.08	1200.61	1807372
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.08	1200.41	1806833
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.08	1200.61	1807358
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.08	1200.61	1807533
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.08	1200.61	1806784
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.08	1200.71	1807666
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1806070
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.08	1200.61	1807554
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.08	1200.61	1806812
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1806161
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806462
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1806252
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1805860
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1806042
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1806392
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.09	1200.51	1806903
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1200.09	1200.71	1807260
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.09	1200.71	1807071
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.09	1200.81	1806987
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.09	1200.81	1807204
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.09	1200.51	1806959
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1806091
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.09	1200.81	1806077
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1805902
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1805895
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.09	1200.81	1806098
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.09	1200.71	1806721
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1806532
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1806497
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.1	1200.61	1807064
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.1	1200.81	1806413
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.1	1200.61	1807274
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806280
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1806210
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806546
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1806175
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.1	1200.71	1807302
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1805909
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.11	1200.61	1807540
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806266
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806483
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.11	1200.61	1806798
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.11	1200.81	1807043
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1805923
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.11	1200.51	1806777
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806189
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806049
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806476
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806063
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.12	1200.71	1806966
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806140
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1805867
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.12	1200.61	1807568
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.13	1200.61	1805888
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.13	1200.71	1805930
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.14	1200.61	1807050

SAT 2009 Competition: preprocessors track: benchmarks results per solver

Result page for solver ReVivAl 0.23 + SatElite 2009-03-18 (complete)

Category "applications instances" (APPLICATION)

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

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

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

No recognized solution line (9 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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