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.129979	0.130824	1796476
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	2.51762	2.5211	1796674
cmu-bmc-barrel6.cnf	UNSAT	2.68759	2.81657	1796546
hoons-vbmc-lucky7.cnf	UNSAT	4.22036	4.22369	1796576
manol-pipe-g6bi.cnf	UNSAT	5.79612	5.8145	1797386
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	10.2294	10.2363	1796682
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	10.6304	10.6343	1796726
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	13.035	13.0503	1796818
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	14.8287	14.8345	1796396
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	18.6072	18.6227	1796746
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	22.6466	22.6591	1796814
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	24.9572	24.9643	1796694
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	25.4521	25.4623	1796421
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	30.2864	30.3064	1796706
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	31.4002	31.4324	1796738
manol-pipe-c9.cnf	UNSAT	34.4648	34.4788	1797446
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	39.7969	39.8254	1796810
cmu-bmc-longmult15.cnf	UNSAT	50.1884	50.2055	1796641
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	67.5417	67.5671	1796391
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	68.5476	68.5843	1796411
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	108.689	108.743	1796670
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	109.058	109.115	1796176
een-tip-uns-nusmv-t5.B.cnf	UNSAT	109.458	109.521	1797351
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	114.015	114.082	1796826
schup-l2s-abp4-1-k31.cnf	UNSAT	116.357	116.403	1796551
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	120.582	120.668	1796762
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	128.608	128.645	1797322
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	147.68	147.788	1796714
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	163.763	163.838	1797086
simon-s03-fifo8-300.cnf	UNSAT	183.732	183.809	1797426
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	220.394	220.507	1796236
velev-engi-uns-1.0-4nd.cnf	UNSAT	228.144	228.255	1796601
manol-pipe-c6bidw_i.cnf	UNSAT	236.8	236.907	1796616
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	237.631	237.743	1796171
simon-s02b-dp11u10.cnf	UNSAT	240.752	240.865	1797396
manol-pipe-g10id.cnf	UNSAT	261.238	261.354	1797366
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	299.845	299.994	1797034
manol-pipe-g7nidw.cnf	UNSAT	326.27	326.447	1797441
manol-pipe-c6nidw_i.cnf	UNSAT	369.349	369.53	1797456
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	420.755	420.962	1797014
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	455.118	455.315	1796990
velev-live-uns-2.0-ebuf.cnf	UNSAT	457.492	457.697	1797381
manol-pipe-c7bidw_i.cnf	UNSAT	503.289	503.436	1797436
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	515.92	516.182	1797126
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	519.648	519.808	1796346
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	522.603	522.829	1797098
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	528.721	528.908	1796366
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	536.982	537.298	1796361
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	542.187	542.343	1797114
goldb-heqc-alu4mul.cnf	UNSAT	547.753	548.037	1796661
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	569.101	569.335	1796386
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	569.136	569.46	1796356
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	581.322	581.481	1796426
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	598.322	598.524	1796986
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	644.047	644.344	1796802
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	648	648.386	1797154
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	651.389	651.729	1797022
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	652.873	653.085	1796246
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	698.938	699.136	1797010
manol-pipe-c10nidw_s.cnf	UNSAT	718.47	719.375	1797336
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	748.313	748.681	1797182
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	750.06	750.414	1797042
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	773.855	774.299	1796351
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	786.33	786.746	1797162
schup-l2s-guid-1-k56.cnf	UNSAT	822.92	823.335	1797421
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	832.841	833.25	1797050
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	863.825	864.099	1796678
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	910.693	911.128	1797274
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	1003.37	1003.81	1797190
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	1043.8	1044.09	1797062
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	1059	1059.46	1796381

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.45593	0.464978	1796656
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	1.19082	1.19053	1796962
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	2.52861	2.54784	1796922
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	5.2412	5.24513	1796934
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	6.99194	7.00222	1796954
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	12.936	12.9735	1796910
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	13.9609	13.9648	1796946
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	21.9187	21.9314	1796994
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	24.1013	24.1447	1796882
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	26.572	26.5957	1797018
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	32.4171	32.4365	1796926
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	32.4481	32.4723	1796942
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	37.7833	37.8134	1796862
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	41.2527	41.2864	1797006
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	55.8165	55.8636	1796950
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	58.7411	58.7691	1796978
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	66.8998	66.9328	1796982
industrial/grieu/ vmpc_25.cnf	SAT	67.5707	67.6134	1796431
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	80.1198	80.1626	1797002
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	89.1464	89.1983	1796998
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	105.515	105.56	1796906
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	110.484	110.567	1796918
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	113.865	113.925	1796938
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	153.922	153.992	1796842
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	155.277	155.817	1796866
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	171.521	171.627	1796958
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	181.448	181.541	1797266
industrial/grieu/ vmpc_24.cnf	SAT	247.377	247.492	1796446
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	253.797	253.97	1797054
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	264.437	264.523	1796930
mizh-sha0-35-3.cnf	SAT	299.555	299.704	1796646
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	313.371	313.513	1796974
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	378.318	378.54	1796858
industrial/grieu/ vmpc_28.cnf	SAT	395.458	395.561	1796456
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	419.646	419.818	1796970
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	502.059	502.247	1796966
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	513.078	513.292	1797118
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	514.35	514.576	1797222
mizh-md5-47-3.cnf	SAT	546.188	546.436	1796541
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	556.581	556.884	1797078
schup-l2s-motst-2-k315.cnf	SAT	561.656	563.184	1796591
simon-s03-w08-15.cnf	SAT	604.336	604.656	1796566
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	642.986	643.234	1796341
mizh-md5-48-5.cnf	SAT	663.487	663.86	1796666
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	664.048	664.356	1796834
mizh-sha0-36-3.cnf	SAT	765.613	766.03	1796571
industrial/grieu/ vmpc_26.cnf	SAT	849.053	849.32	1796466
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	1071.21	1071.55	1797074

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200	1200.12	1797150
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200	1200.51	1797030
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200	1200.41	1796316
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200	1200.41	1797158
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200	1200.31	1796822
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200	1202.22	1796331
mizh-sha0-36-4.cnf	? (TO)	1200	1200.51	1796611
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200	1200.51	1796191
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.01	1200.61	1797102
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.01	1200.51	1797198
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.01	1200.61	1797130
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.01	1200.41	1797371
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.01	1200.61	1796326
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.01	1200.61	1797262
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.01	1200.71	1796481
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.01	1200.61	1796581
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.01	1200.61	1796371
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.01	1200.51	1796491
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.02	1200.61	1797214
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.02	1200.61	1796266
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.02	1200.71	1796790
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.02	1200.61	1796496
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.02	1200.41	1797046
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.02	1200.41	1796698
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.02	1200.71	1797246
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.02	1200.71	1796742
manol-pipe-f9b.cnf	? (TO)	1200.02	1200.51	1796586
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.02	1200.71	1796196
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.02	1200.61	1796734
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.03	1200.61	1796281
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.03	1200.61	1797226
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.03	1200.61	1796261
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.03	1200.51	1796201
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.03	1200.41	1796221
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1797230
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.03	1200.61	1796506
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.03	1200.51	1796561
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.03	1200.41	1796226
manol-pipe-g10nid.cnf	? (TO)	1200.03	1200.51	1796606
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.03	1200.51	1796782
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.03	1200.61	1796806
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.03	1200.41	1796854
manol-pipe-g10bidw.cnf	? (TO)	1200.03	1200.61	1797341
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.03	1200.61	1797138
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.04	1200.61	1797142
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.04	1200.61	1796766
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.04	1200.61	1796336
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.04	1200.61	1797134
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.04	1200.61	1797401
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.04	1200.81	1797106
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.04	1203.42	1796722
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.04	1200.61	1797306
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.04	1200.61	1797318
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.04	1200.71	1796621
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.04	1200.51	1796271
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.04	1200.41	1796794
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.04	1200.41	1796750
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.04	1200.61	1796774
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.04	1200.41	1797314
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.04	1200.61	1796846
manol-pipe-f10ni.cnf	? (TO)	1200.04	1200.61	1797416
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.04	1200.41	1797254
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.04	1200.61	1796286
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.04	1201.11	1796451
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.04	1200.71	1796166
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.05	1200.41	1796311
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.05	1200.61	1796301
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.05	1200.41	1796186
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.05	1200.61	1797174
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.05	1200.61	1797218
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.05	1200.71	1797186
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.05	1200.41	1797270
mizh-md5-47-4.cnf	? (TO)	1200.05	1200.61	1796636
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.05	1200.61	1797294
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.05	1200.71	1796521
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.05	1200.41	1796296
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.05	1200.41	1796211
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.05	1200.41	1796181
manol-pipe-f9n.cnf	? (TO)	1200.05	1200.81	1797406
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.05	1200.51	1796850
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.05	1200.41	1796206
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.05	1200.61	1797310
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.06	1200.71	1796291
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.06	1200.61	1797451
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.06	1200.61	1796838
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.61	1797210
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.06	1200.51	1796686
goldb-heqc-x1mul.cnf	? (TO)	1200.06	1200.41	1796536
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.61	1797326
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.06	1200.41	1797122
manol-pipe-c10nidw.cnf	? (TO)	1200.06	1200.41	1796596
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.06	1200.61	1796702
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.06	1200.61	1797242
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.07	1200.61	1796710
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.07	1200.61	1796758
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.07	1200.71	1797170
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.07	1200.51	1797238
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.07	1200.61	1796798
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.07	1200.61	1796376
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.07	1200.71	1796276
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.07	1200.61	1796436
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.07	1200.41	1796306
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.07	1200.41	1796730
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.07	1200.61	1796501
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.07	1199.91	1796718
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.07	1200.41	1796416
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.07	1200.51	1797026
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.07	1200.71	1796914
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.07	1200.61	1796256
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.07	1200.61	1797302
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.07	1200.61	1796401
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.07	1200.61	1797250
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.07	1200.51	1796690
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.08	1200.71	1797431
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.08	1200.71	1796251
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.08	1200.61	1796461
manol-pipe-c10nid_i.cnf	? (TO)	1200.08	1200.71	1796651
goldb-heqc-dalumul.cnf	? (TO)	1200.08	1200.41	1796631
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.08	1200.41	1796870
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.08	1200.61	1796898
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.08	1200.71	1797066
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.08	1200.71	1797082
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.08	1200.51	1797110
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.08	1200.51	1796890
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.08	1200.61	1797090
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.08	1200.71	1797194
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.08	1200.71	1797202
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.08	1200.61	1797282
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.08	1200.51	1797298
goldb-heqc-i10mul.cnf	? (TO)	1200.08	1200.41	1797356
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.08	1200.61	1797258
mizh-sha0-36-2.cnf	? (TO)	1200.08	1200.41	1797411
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.09	1200.71	1797278
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.09	1200.51	1797058
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.09	1200.61	1796830
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.71	1796754
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.09	1200.61	1796878
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.09	1200.71	1796241
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.09	1200.71	1796770
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.09	1200.81	1796786
manol-pipe-c7nidw.cnf	? (TO)	1200.09	1200.71	1797361
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.09	1200.81	1796231
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.09	1200.71	1797178
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.09	1200.71	1797206
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.09	1200.71	1797094
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.09	1200.61	1796216
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.09	1200.81	1797234
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.09	1200.81	1797286
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.09	1200.61	1797070
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.09	1200.71	1797391
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.09	1200.51	1796321
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.1	1200.51	1797146
goldb-heqc-frg1mul.cnf	? (TO)	1200.1	1200.51	1796556
aloul-chnl11-13.cnf	? (TO)	1200.1	1200.41	1796626
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.1	1200.61	1797290
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.1	1202.51	1797166
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.1	1200.81	1796441
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.1	1200.61	1796778
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.1	1200.61	1796874
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.1	1200.51	1796406
goldb-heqc-term1mul.cnf	? (TO)	1200.1	1200.61	1797376
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.1	1200.61	1796894
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.12	1200.71	1796886
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.13	1200.71	1796902

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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/narain/ clauses-8.cnf	? (problem)	506.861	507.069	1796471
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (problem)	508.13	508.362	1796516
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (problem)	509.557	509.764	1796511
velev-pipe-sat-1.0-b10.cnf	? (problem)	511.124	511.408	1797346
velev-pipe-sat-1.0-b7.cnf	? (problem)	511.146	511.392	1797331
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (problem)	514.078	514.391	1796486
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (problem)	518.591	519.683	1796531
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (problem)	519.868	520.463	1796526

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.005998	0.00613397	1807476
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.007998	0.00725701	1807434
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.160974	0.16077	1807406
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	1.17982	1.18142	1807056
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	1.69874	1.6987	1807497
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	1.76273	1.76328	1805747
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	3.06353	3.06966	1806804
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	9.69553	9.69981	1805733
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	11.9692	11.9873	1805719
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	17.9473	17.9594	1806818
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	19.2361	19.256	1805740
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	21.4867	21.5023	1807420
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	44.3023	44.3284	1806349
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	46.6539	46.6778	1806944
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	51.5982	51.6189	1805754
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	71.2382	71.2733	1806335
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	79.9928	80.0364	1805782
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	85.437	85.4757	1806328
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	95.5865	95.6256	1806314
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	104.034	104.098	1805845
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	107.675	107.723	1806342
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	112.095	112.161	1805789
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	129.241	129.312	1805838
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	139.787	139.842	1806321
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	148.213	148.292	1806930
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	164.742	164.827	1805712
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	186.095	186.21	1806307
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	220.435	220.525	1806027
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	231.26	231.34	1806503
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	276.845	276.98	1807441
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	287.526	287.651	1806384
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	300.579	300.74	1806552
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	302.067	302.16	1806790
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	391.416	391.591	1805796
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	489.662	489.886	1806538
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	572.632	572.912	1806909
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	656.54	656.641	1805803
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	758.708	758.996	1805978
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	841.159	841.58	1806517
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	903.078	903.453	1806524
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	UNSAT	967.226	967.681	1806230
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	1001.87	1002.27	1806034
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	1046.02	1046.46	1807028
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	1058.9	1059.35	1806300

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.05499	0.056013	1807105
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.066988	0.0673451	1806937
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.067989	0.066785	1807126
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.075987	0.0781829	1807091
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.11998	0.119076	1807098
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.121981	0.123641	1807140
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.132979	0.135895	1807133
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.133978	0.133694	1807504
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.139978	0.14085	1807119
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.158975	0.159594	1807154
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.172973	0.172699	1807378
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.176972	0.179119	1807112
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.18597	0.185965	1807413
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.19697	0.196834	1807161
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.249961	0.251679	1807147
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.382941	0.383493	1807385
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.788879	0.791239	1807637
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	1.01085	1.01848	1806895
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	1.22781	1.22984	1807427
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.58976	1.58905	1806853
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	2.41063	2.41116	1806664
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	2.49962	2.50046	1807462
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	5.15721	5.16276	1807448
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	5.68013	5.68599	1806972
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	5.70013	5.71019	1805726
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	8.01278	8.01865	1806916
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	8.15676	8.15978	1805831
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	8.85365	8.85699	1806692
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	14.3168	14.323	1807483
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	16.8514	16.8612	1807469
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	21.3668	21.3864	1807399
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	23.2475	23.2541	1806706
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	30.1334	30.148	1805761
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	30.2814	30.2989	1806622
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	31.8582	31.8776	1806657
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	34.5857	34.6091	1806643
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	37.5493	37.5685	1805768
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	40.6688	40.6964	1807490
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	43.0105	43.0286	1805775
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	48.7696	48.8101	1806951
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	52.2821	52.3188	1806678
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	60.0399	60.0879	1807014
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	65.1801	65.3066	1806699
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	68.3776	68.4239	1807518
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	79.7349	79.7613	1805824
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	88.1506	88.1915	1806566
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	104.711	104.759	1806671
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	114.622	114.685	1807511
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	126.324	126.378	1806629
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	128.748	128.788	1806867
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	149.284	149.395	1806685
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	149.52	149.581	1806713
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	174.066	174.127	1805810
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	226.17	226.307	1806923
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	228.781	228.913	1807602
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	255.708	255.842	1805817
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	284.553	284.664	1806454
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	286.429	286.546	1807245
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	303.24	303.371	1807231
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	305.076	305.224	1807182
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	305.442	305.601	1806363
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	357.937	358.113	1806489
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	359.414	359.567	1807658
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	371.4	371.578	1807357
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	379.428	379.608	1807623
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	443.329	443.541	1806748
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	459.02	459.253	1807252
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	SAT	536.04	536.258	1805880
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	SAT	560.172	560.416	1806195
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	611.122	611.397	1806650
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	657.477	657.785	1807595
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	712.315	712.509	1807224
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	716.309	716.656	1806860
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	801.014	801.231	1806846
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	1151.3	1151.82	1806741

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200	1200.61	1807672
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200	1200.51	1807651
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1806013
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.01	1200.51	1806587
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.01	1200.61	1807070
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.01	1200.51	1807616
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1806006
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1805999
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.01	1200.51	1806727
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.01	1200.61	1807280
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.02	1200.61	1807301
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1806111
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.02	1200.61	1807273
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.02	1200.41	1807609
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.02	1200.41	1807553
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.02	1200.51	1807539
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1806370
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1806447
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1806377
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.02	1200.41	1806755
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.02	1200.61	1806902
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1806440
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.02	1200.41	1807455
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.02	1200.51	1807210
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.03	1200.61	1806594
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.03	1200.51	1806839
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1805936
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1200.03	1200.41	1807259
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.03	1200.61	1807588
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1806097
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.03	1200.61	1807266
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.03	1200.61	1807315
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.03	1200.51	1806874
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1806272
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806041
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1806531
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1806405
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.04	1200.61	1807042
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.04	1200.71	1807189
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.04	1200.61	1807007
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.04	1200.71	1806020
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.04	1200.61	1807574
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.04	1200.61	1807329
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.04	1200.61	1807371
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.04	1200.61	1807294
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.04	1200.51	1807238
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1805915
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1805894
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.05	1200.71	1807035
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.05	1200.51	1806832
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.05	1200.61	1807063
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1806062
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.05	1200.61	1807630
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.05	1200.11	1806223
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.05	1200.61	1806958
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.05	1200.41	1807581
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.05	1200.41	1807364
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.05	1200.51	1807168
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.05	1200.71	1805992
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.05	1200.61	1807322
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806146
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806244
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.05	1200.51	1807000
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.05	1200.61	1807175
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.05	1202.51	1806979
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806174
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806510
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.06	1200.51	1807350
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1805971
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1805950
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1805866
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806083
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806153
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.06	1200.71	1806251
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.06	1201.01	1806188
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806559
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.06	1200.61	1806769
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.06	1200.61	1807217
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.06	1200.71	1806965
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.06	1200.41	1807077
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.06	1200.61	1807021
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.06	1200.41	1806888
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.06	1200.61	1807665
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806125
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806216
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1805922
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806265
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806419
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806433
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.07	1200.61	1806608
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806426
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806167
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.07	1200.61	1807343
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.07	1200.71	1807203
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.07	1200.41	1807287
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.08	1200.71	1806601
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.08	1200.71	1806825
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1806391
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.08	1200.61	1806580
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806545
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.08	1200.61	1806993
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806356
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.08	1200.61	1807084
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.08	1200.81	1805985
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.08	1200.61	1807546
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806076
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.08	1200.41	1807525
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1805859
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.08	1200.51	1807392
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (TO)	1200.09	1200.81	1806636
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1805943
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.09	1200.41	1807560
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.09	1200.61	1806811
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.09	1200.71	1806720
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.09	1200.71	1807532
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1806412
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.09	1200.71	1807308
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.09	1200.61	1807644
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1806279
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.09	1200.71	1807196
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.09	1200.61	1807336
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.09	1200.51	1806615
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.09	1200.71	1806776
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806181
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1806055
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.1	1200.71	1806881
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1806461
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.1	1200.61	1806573
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1805957
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.1	1200.61	1806783
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806132
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806209
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1806293
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.1	1200.81	1806237
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.1	1200.61	1806762
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806286
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.1	1200.71	1806734
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1805929
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1805852
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.11	1200.71	1805873
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806069
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1805908
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806398
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.11	1200.61	1806797
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.11	1200.61	1807049
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806090
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806104
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806139
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806048
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1805901
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.11	1200.71	1806468
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.12	1200.81	1805964
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806475
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1805887
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.12	1200.61	1807567
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1806482
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.12	1200.81	1806258
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1806118
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.12	1200.41	1806986
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806496
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.13	1200.61	1806202
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.13	1200.61	1806160

SAT 2009 Competition: preprocessors track: benchmarks results per solver

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

Category "applications instances" (APPLICATION)

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

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

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

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

No recognized solution line (8 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]