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.131979	0.132423	1796478
cmu-bmc-barrel6.cnf	UNSAT	3.18751	3.19373	1796548
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	3.42048	3.42635	1796676
manol-pipe-g6bi.cnf	UNSAT	6.548	6.55282	1797388
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	7.61884	7.62297	1796728
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	14.8977	14.9046	1796398
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	16.3155	16.3228	1796820
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	21.5137	21.5271	1796423
manol-pipe-c9.cnf	UNSAT	23.1285	23.1463	1797448
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	28.5277	28.5465	1796748
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	32.0611	32.0718	1796816
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	40.1239	40.1397	1796684
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	45.2401	45.2675	1796708
manol-pipe-g7nidw.cnf	UNSAT	46.318	46.3521	1797443
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	50.9053	50.9214	1796740
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	53.9508	53.9695	1796696
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	67.5327	67.5852	1796812
cmu-bmc-longmult15.cnf	UNSAT	70.6613	70.693	1796643
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	70.8572	70.896	1796393
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	81.0977	81.1281	1797324
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	86.3649	86.4034	1796413
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	105.343	105.387	1796672
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	105.893	105.94	1796764
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	109.85	109.911	1796178
een-tip-uns-nusmv-t5.B.cnf	UNSAT	113.997	114.059	1797353
hoons-vbmc-lucky7.cnf	UNSAT	128.588	128.671	1796578
schup-l2s-abp4-1-k31.cnf	UNSAT	137.349	137.418	1796553
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	170.11	170.168	1797088
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	189.619	189.675	1796828
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	237.36	237.465	1796173
velev-engi-uns-1.0-4nd.cnf	UNSAT	237.771	238.02	1796603
simon-s02b-dp11u10.cnf	UNSAT	240.291	240.404	1797398
manol-pipe-g10id.cnf	UNSAT	254.435	254.525	1797368
simon-s03-fifo8-300.cnf	UNSAT	302.106	302.237	1797428
goldb-heqc-term1mul.cnf	UNSAT	397.851	398.024	1797378
goldb-heqc-alu4mul.cnf	UNSAT	443.367	443.578	1796663
velev-live-uns-2.0-ebuf.cnf	UNSAT	470.642	470.905	1797383
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	512.066	512.328	1797100
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	516.054	516.255	1797116
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	516.638	516.881	1797128
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	533.289	533.447	1797276
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	549.969	550.241	1796428
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	647.059	647.346	1797156
manol-pipe-c6nidw_i.cnf	UNSAT	657.423	657.745	1797458
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	659.012	659.316	1796992
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	674.254	674.42	1796348
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	730.301	755.188	1796363
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	753.538	753.852	1796988
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	761.632	761.982	1796368
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	789.613	789.978	1797044
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	810.567	810.953	1797184
manol-pipe-c10nidw_s.cnf	UNSAT	840.547	840.937	1797338
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	849.565	849.902	1797012
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	903.363	903.827	1796388
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	939.712	940.101	1797016
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	941.666	942.152	1797292
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	946.196	946.67	1797024
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1010.43	1010.94	1796804
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	1060.68	1061.22	1796238
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	1086.2	1086.77	1797192
manol-pipe-g10nid.cnf	UNSAT	1087.78	1088.3	1796608
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	1126.77	1127.38	1797036
manol-pipe-c6bidw_i.cnf	UNSAT	1141.03	1141.54	1796618
schup-l2s-guid-1-k56.cnf	UNSAT	1157.53	1158.05	1797423

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.38894	0.390753	1796658
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	1.70274	1.71966	1796924
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	2.75558	2.76242	1796956
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	3.34449	3.35153	1796964
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	5.35419	5.38283	1796936
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	13.7219	13.729	1796948
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	17.6503	17.6666	1796912
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	27.5018	27.5168	1796928
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	31.1553	31.1816	1796980
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	31.2592	31.2776	1797020
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	31.8492	31.8738	1796944
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	33.3039	33.3381	1796996
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	41.3657	41.3895	1797008
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	53.6668	53.7031	1796864
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	57.3653	57.3966	1796884
mizh-sha0-35-3.cnf	SAT	59.065	59.0909	1796648
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	59.382	59.4228	1796952
industrial/grieu/ vmpc_25.cnf	SAT	67.8057	68.4257	1796433
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	73.9018	73.9431	1797004
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	99.7828	99.869	1796984
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	102.341	102.402	1796920
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	112.159	112.236	1796940
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	131.379	131.444	1796908
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	167.65	167.735	1796960
mizh-md5-47-4.cnf	SAT	168.641	168.704	1796638
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	172.491	172.554	1797244
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	178.033	178.17	1797268
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	183.849	183.944	1797000
mizh-sha0-36-3.cnf	SAT	197.679	197.782	1796573
industrial/grieu/ vmpc_24.cnf	SAT	247.061	247.182	1796448
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	250.932	251.068	1796932
mizh-sha0-36-4.cnf	SAT	274.788	274.91	1796613
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	296.926	297.064	1796868
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	326.172	326.325	1796976
industrial/grieu/ vmpc_28.cnf	SAT	393.943	394.141	1796458
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	420.798	420.998	1796972
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	500.86	501.004	1796968
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	501.632	501.881	1797224
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	502.208	502.492	1796844
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	529.793	530.108	1797120
velev-pipe-sat-1.0-b7.cnf	SAT	541.463	541.736	1797333
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	568.846	569.804	1796533
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	583.91	584.54	1796528
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	587.233	587.565	1796343
mizh-md5-47-3.cnf	SAT	725.812	726.146	1796543
industrial/grieu/ vmpc_26.cnf	SAT	823.117	823.445	1796468
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	865.581	866.013	1797288
simon-s03-w08-15.cnf	SAT	968.98	969.286	1796568
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	977.963	978.325	1797080
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	995.835	996.269	1796836
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	1103.64	1104.12	1797056
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	1138.07	1138.42	1796904
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	1197.39	1197.52	1797076

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
manol-pipe-g10bidw.cnf	? (TO)	1200	1200.51	1797343
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200	1200.31	1797220
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200	1200.51	1797208
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200	1200.61	1797112
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200	1200.51	1797272
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200	1200.61	1796692
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200	1200.31	1796704
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.01	1200.51	1796233
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.01	1200.41	1797252
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.01	1200.61	1796724
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.01	1200.41	1796333
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.01	1200.51	1797148
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.01	1200.71	1796358
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.01	1200.61	1797160
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.01	1200.71	1796258
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.01	1200.61	1796493
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.01	1200.71	1797028
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.01	1200.61	1796308
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.02	1200.41	1797140
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.02	1200.61	1796523
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.02	1200.61	1796443
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.02	1200.61	1796513
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.02	1200.41	1796488
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.02	1200.61	1797216
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.02	1200.61	1796760
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.02	1200.61	1797260
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.02	1200.61	1796188
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.02	1200.41	1796253
manol-pipe-f9b.cnf	? (TO)	1200.02	1200.61	1796588
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.02	1200.71	1796508
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.02	1200.51	1796852
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.02	1200.61	1796700
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.02	1200.61	1797212
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.03	1200.61	1796916
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1797316
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.03	1200.61	1797393
manol-pipe-c7bidw_i.cnf	? (TO)	1200.03	1200.51	1797438
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.03	1200.41	1796263
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.03	1200.41	1796323
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.03	1200.61	1797403
manol-pipe-c7nidw.cnf	? (TO)	1200.03	1200.61	1797363
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.03	1200.41	1796183
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.03	1200.71	1796228
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.03	1200.61	1797328
goldb-heqc-dalumul.cnf	? (TO)	1200.03	1200.61	1796633
manol-pipe-c10nidw.cnf	? (TO)	1200.03	1200.61	1796598
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.03	1200.71	1796453
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.03	1200.51	1797164
industrial/narain/ clauses-8.cnf	? (TO)	1200.03	1200.61	1796473
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.03	1200.61	1797136
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.03	1200.61	1796383
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.03	1200.71	1796680
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.03	1200.41	1796688
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.03	1200.71	1797104
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.03	1200.51	1796623
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.04	1200.51	1796832
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.04	1200.61	1796303
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.04	1200.41	1796800
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.04	1200.61	1796888
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.04	1200.71	1797296
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.04	1200.71	1796288
manol-pipe-f10ni.cnf	? (TO)	1200.04	1207.91	1797418
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.04	1199.91	1796243
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.04	1200.61	1797196
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.04	1200.61	1797256
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.04	1200.41	1797152
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.04	1200.71	1797180
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.04	1200.61	1796518
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.04	1200.61	1796373
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.04	1200.61	1797068
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.04	1200.41	1796756
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.04	1200.51	1796583
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.04	1199.91	1797320
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.04	1200.41	1796223
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.05	1200.71	1797096
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.05	1200.61	1796298
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.05	1200.51	1796328
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.05	1200.71	1796213
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.05	1200.41	1796273
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.05	1200.61	1796338
schup-l2s-motst-2-k315.cnf	? (TO)	1200.05	1200.71	1796593
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.05	1200.41	1796780
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.05	1200.61	1796736
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.05	1200.61	1796768
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.05	1200.61	1796784
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.05	1200.61	1797200
manol-pipe-f9n.cnf	? (TO)	1200.05	1200.61	1797408
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.05	1200.61	1797228
goldb-heqc-x1mul.cnf	? (TO)	1200.06	1200.41	1796538
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.06	1200.71	1797092
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.06	1200.61	1797168
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.61	1797284
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.06	1200.61	1797373
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.06	1200.61	1797308
goldb-heqc-i10mul.cnf	? (TO)	1200.06	1200.61	1797358
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.61	1797300
mizh-sha0-36-2.cnf	? (TO)	1200.06	1200.61	1797413
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.06	1200.51	1797433
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.06	1200.61	1796824
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.06	1200.51	1796752
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.06	1200.61	1797084
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.06	1200.41	1797072
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.06	1200.51	1797204
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.06	1200.41	1797453
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.06	1200.51	1797240
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.06	1200.71	1796483
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.06	1200.61	1796248
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.06	1200.61	1797144
mizh-md5-48-5.cnf	? (TO)	1200.06	1200.71	1796668
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.06	1200.41	1796408
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.06	1200.41	1796463
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.06	1200.41	1796438
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.06	1200.71	1797032
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.07	1200.61	1797064
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.07	1200.61	1796776
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.07	1200.71	1796792
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.07	1200.61	1796503
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.07	1200.61	1797060
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.07	1200.61	1796876
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.07	1200.61	1797132
aloul-chnl11-13.cnf	? (TO)	1200.07	1200.61	1796628
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.07	1200.61	1797172
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.07	1200.61	1797124
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.07	1200.91	1796168
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.07	1200.71	1797232
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.07	1200.41	1796218
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.07	1200.71	1797264
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.07	1200.51	1796313
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.07	1200.71	1796193
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.07	1200.61	1797280
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.08	1200.61	1796856
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.08	1200.61	1797052
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.08	1200.51	1796788
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.08	1200.21	1796378
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.08	1200.81	1796283
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.08	1202.31	1796278
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.08	1200.61	1797348
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.08	1200.61	1796744
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.08	1200.61	1797304
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.08	1200.71	1796720
manol-pipe-c10nid_i.cnf	? (TO)	1200.08	1200.61	1796653
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.08	1200.61	1797048
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.08	1200.61	1796198
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.09	1200.81	1796353
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.09	1200.61	1796892
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.09	1200.61	1797188
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.09	1200.51	1796716
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.09	1200.81	1796268
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.09	1200.71	1796208
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.61	1797312
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.09	1201.91	1796563
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.09	1200.61	1797176
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.09	1200.61	1797108
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.09	1200.71	1796796
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.09	1200.81	1796318
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.09	1200.41	1796293
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.09	1200.41	1796896
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.09	1200.71	1797236
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.09	1200.51	1796203
goldb-heqc-frg1mul.cnf	? (TO)	1200.09	1200.51	1796558
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.09	1200.41	1796403
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.1	1200.71	1796498
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.1	1200.51	1796840
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.1	1200.71	1796808
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.1	1200.71	1796872
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.1	1200.61	1796848
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.1	1200.71	1796418
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.71	1797248
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.11	1200.61	1796860
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.11	1200.61	1796732
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.11	1200.71	1796772
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.11	1200.61	1796880
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.12	1200.61	1796900
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.12	1200.51	1796712

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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.005998	0.00584697	1807478
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.005998	0.00586404	1807436
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.158975	0.159221	1807408
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	1.11783	1.11786	1807058
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	1.76973	1.77142	1805749
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	1.80772	1.81694	1807499
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	2.93755	2.93957	1806806
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	9.24059	9.24794	1805721
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	9.70952	9.71032	1805735
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	17.9543	17.9611	1806820
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	19.0031	19.0052	1805742
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	22.7515	22.7604	1807422
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	46.3629	46.3781	1806351
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	48.2127	48.2422	1806946
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	49.6075	49.6338	1805756
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	70.9812	71.016	1806323
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	72.062	72.0866	1805847
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	72.9479	72.9942	1806337
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	79.9069	79.9463	1805840
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	82.9424	83.0052	1806330
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	84.3082	84.3509	1805784
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	112.408	112.476	1806316
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	114.394	114.481	1806344
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	122.771	122.829	1806309
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	129.849	129.908	1805791
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	146.573	146.636	1806932
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	161.476	161.572	1805714
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	204.556	204.649	1806505
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	225.593	225.698	1806029
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	278.749	278.901	1807443
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	288.534	288.672	1806386
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	302.005	302.084	1806792
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	469.304	469.488	1805980
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	562.277	562.67	1806554
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	572.148	572.413	1806911
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	610.204	610.467	1806540
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	635.94	636.299	1805805
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	762.104	762.323	1805798
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	896.867	897.363	1807030
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	1011.3	1011.75	1806519
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	1041.25	1041.55	1806302
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	1061.72	1062.26	1806036

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.039993	0.0431139	1807107
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.042992	0.04309	1807128
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.049991	0.049675	1807093
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.05699	0.057307	1806939
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.071988	0.0716599	1807100
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.075987	0.07689	1807142
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.081987	0.082547	1807135
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.088986	0.0891559	1807121
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.093984	0.0936241	1807156
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.109982	0.10897	1807114
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.12198	0.119152	1807380
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.12198	0.123018	1807163
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.12498	0.126167	1807506
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.154975	0.157581	1807149
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.184971	0.184205	1807415
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.267959	0.268247	1807387
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.904861	0.906786	1806897
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	1.2938	1.29631	1807429
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.60076	1.60275	1806855
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	2.46462	2.4641	1807464
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	2.82957	2.8299	1806974
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	4.6173	4.62197	1807450
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	7.61384	7.6149	1806918
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	7.8698	7.87775	1806708
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	8.15776	8.16345	1805833
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	10.3794	10.3941	1806645
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	13.253	13.2601	1806631
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	14.1838	14.1937	1806694
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	16.4175	16.423	1806624
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	17.2074	17.2417	1807079
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	20.8458	20.8563	1806659
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	22.0336	22.0506	1806701
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	23.1585	23.1787	1807401
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	27.0819	27.1106	1807639
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	30.6757	15.4058	1807485
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	30.7953	30.8141	1805763
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	34.2678	34.2911	1807471
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	37.5253	37.5547	1805777
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	38.1632	38.1914	1805770
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	46.9169	46.9522	1806953
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	56.4424	56.4745	1807016
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	63.3784	63.4243	1807492
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	74.3787	74.3771	1805826
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	109.31	109.377	1806687
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	120.115	120.168	1806869
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	122.119	122.173	1807513
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	138.455	138.559	1806666
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	161.673	161.762	1806673
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	186.437	186.495	1805812
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	188.274	188.372	1807184
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	189.332	189.426	1806575
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	207.413	207.539	1807597
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	208.509	208.735	1806715
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	218.87	218.971	1807233
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	220.82	220.972	1806925
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	221.921	222.03	1806568
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	239.792	239.9	1806722
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	241.675	241.763	1807520
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	256.127	256.251	1805819
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	259.193	259.347	1806680
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	284.779	284.912	1806456
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	304.844	305.015	1806365
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	343	343.183	1806750
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	358.534	358.695	1806491
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	452.962	453.161	1806652
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	454.753	454.954	1807247
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	SAT	456.592	456.74	1806428
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	552.711	553.034	1807261
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	573.702	574.001	1807660
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	717.043	717.364	1806862
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	747.009	747.336	1806848
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	SAT	879.468	879.871	1806617

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200	1200.41	1806379
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200	1200.61	1806729
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200	1200.41	1806582
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200	1200.51	1806015
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200	1200.61	1807296
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1806372
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.01	1200.61	1806603
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.01	1200.61	1807667
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1806561
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1806001
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1806204
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.02	1200.71	1807051
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.02	1200.61	1807317
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.02	1200.12	1806995
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1805994
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1806162
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.02	1200.71	1807310
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.02	1200.51	1806834
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1805854
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1806512
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.03	1199.91	1807177
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1806211
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.03	1200.71	1807590
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.03	1200.61	1806827
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.03	1200.61	1806785
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1806477
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1806358
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.03	1200.41	1806743
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1806085
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1806533
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1805973
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1806246
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1805945
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.04	1200.41	1807625
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.04	1200.71	1805728
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.04	1200.71	1807541
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.04	1200.51	1807275
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.04	1200.61	1807002
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.04	1200.71	1806960
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806148
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.04	1200.71	1806092
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1805882
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.04	1200.61	1807674
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.04	1200.61	1807646
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1806022
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806400
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806253
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1805889
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.05	1200.71	1805875
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806099
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.05	1200.71	1806239
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1806071
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806078
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.05	1200.71	1806134
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806463
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806470
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.05	1200.61	1806596
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.05	1200.71	1807198
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.05	1200.61	1807212
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.05	1200.51	1807632
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.05	1200.51	1807527
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.05	1200.71	1807457
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.06	1200.61	1806981
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.06	1200.71	1806113
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.06	1200.71	1806904
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.06	1200.61	1806589
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.06	1200.61	1807583
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1806288
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.71	1807394
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.06	1200.41	1807569
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.06	1200.61	1807359
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1805966
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.06	1200.61	1807324
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.06	1199.91	1805861
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806155
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.06	1200.71	1807170
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806176
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.07	1200.61	1807205
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806183
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1805987
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806442
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.07	1200.61	1807282
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (TO)	1200.07	1200.71	1806638
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806169
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806295
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.07	1200.61	1807303
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806127
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.07	1200.61	1807604
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.07	1200.61	1807268
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.07	1200.61	1807240
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.08	1200.61	1807618
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806064
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1806449
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806043
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1806274
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806547
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1805910
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.08	1200.61	1806813
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.08	1200.41	1807254
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.08	1200.61	1806988
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.08	1200.71	1807191
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	? (TO)	1200.08	1200.61	1807226
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.08	1200.81	1807611
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1806393
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.08	1200.81	1806008
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.08	1200.71	1807653
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.08	1200.71	1807366
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.08	1200.71	1807534
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.08	1200.81	1805931
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1805896
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.08	1200.81	1805917
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.09	1200.71	1806841
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1806435
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.09	1200.71	1807331
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.09	1200.61	1807037
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.09	1200.41	1807086
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1806526
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.09	1200.61	1807289
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1805938
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1806414
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.09	1200.61	1807345
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.09	1200.51	1807352
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.09	1200.21	1807373
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.09	1200.71	1806771
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.09	1200.51	1806764
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.09	1200.71	1807219
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1806057
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1805868
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.1	1200.61	1807044
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.1	1200.71	1806778
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.1	1200.61	1806799
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806197
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.1	1200.71	1807338
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806407
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.1	1200.61	1806610
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.1	1200.71	1806890
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806050
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806120
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.1	1200.61	1807023
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1805952
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.1	1200.41	1807065
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.1	1200.61	1806967
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806225
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1806106
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1806232
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.11	1200.71	1806267
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.11	1200.41	1807555
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1805959
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.11	1200.61	1806876
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.11	1200.81	1806190
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.11	1200.61	1807548
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1806421
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.11	1200.81	1805903
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.11	1200.91	1807576
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.11	1200.71	1806218
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.11	1200.61	1806883
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1806498
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.12	1200.61	1807562
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806281
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1806484
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.12	1200.41	1806141
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1806260
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1805924
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.13	1200.71	1807009
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.13	1200.61	1806757
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.13	1200.71	1807072

SAT 2009 Competition: preprocessors track: benchmarks results per solver

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

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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

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