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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.277957	0.281744	1837156
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.691894	0.695593	1837236
manol-pipe-g6bi.cnf	UNSAT	1.2928	1.30278	1837586
een-tip-uns-nusmv-t5.B.cnf	UNSAT	2.06269	2.06787	1837572
hoons-vbmc-lucky7.cnf	UNSAT	2.45662	2.46909	1837196
manol-pipe-c9.cnf	UNSAT	3.99839	4.00679	1837610
cmu-bmc-barrel6.cnf	UNSAT	5.34419	5.35928	1837184
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	5.36018	5.36384	1837308
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	7.69483	7.70921	1837262
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	9.68053	9.68706	1837124
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	12.914	12.9177	1837246
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	13.193	13.2072	1837280
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	13.4999	13.517	1837122
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	14.1358	14.1489	1837306
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	15.9516	15.9626	1837104
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	18.5812	18.6004	1837234
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	20.2529	20.2669	1837240
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	21.4417	21.4508	1837110
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	22.1366	22.1584	1837112
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	23.9634	23.9725	1837272
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	25.3381	25.3782	1837268
manol-pipe-g7nidw.cnf	UNSAT	27.0189	27.0191	1837608
schup-l2s-abp4-1-k31.cnf	UNSAT	29.7485	29.7828	1837186
velev-live-uns-2.0-ebuf.cnf	UNSAT	30.9123	30.9318	1837584
manol-pipe-c10nidw_s.cnf	UNSAT	31.8912	31.9322	1837566
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	35.8106	37.1512	1837034
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	36.9694	37.0067	1837448
simon-s03-fifo8-300.cnf	UNSAT	39.0211	39.0793	1837602
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	39.352	39.381	1837304
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	40.3869	43.8429	1837456
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	42.2036	42.2641	1837134
cmu-bmc-longmult15.cnf	UNSAT	44.9022	44.9257	1837222
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	46.8559	46.8991	1837462
velev-engi-uns-1.0-4nd.cnf	UNSAT	48.1417	48.1795	1837206
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	48.3556	48.4079	1837108
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	58.2921	58.3299	1837120
manol-pipe-c6nidw_i.cnf	UNSAT	67.3138	67.379	1837614
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	69.1175	69.1435	1837252
manol-pipe-c6bidw_i.cnf	UNSAT	70.9642	70.9951	1837212
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	76.0584	77.7575	1837256
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	78.92	79.3999	1837424
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	88.5325	88.6455	1837036
velev-pipe-o-uns-1.1-6.cnf	UNSAT	95.1215	95.1984	1837580
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	108.69	108.739	1837476
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	128.374	128.465	1837312
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	129.954	130.05	1837420
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	132.67	132.742	1837442
manol-pipe-c7bidw_i.cnf	UNSAT	137.761	137.855	1837606
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	146.283	146.381	1837106
manol-pipe-c7nidw.cnf	UNSAT	163.885	164.075	1837576
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	171.418	171.509	1837560
manol-pipe-g10nid.cnf	UNSAT	179.759	179.831	1837208
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	183.629	184.263	1837278
simon-s02b-dp11u10.cnf	UNSAT	197.895	198.074	1837590
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	199.586	199.725	1837494
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	268.106	268.211	1837490
schup-l2s-guid-1-k56.cnf	UNSAT	276.524	276.639	1837600
manol-pipe-g10id.cnf	UNSAT	280.08	280.254	1837578
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	335.337	335.602	1837130
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	366.544	366.745	1837416
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	422.294	422.487	1837116
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	470.191	470.439	1837238
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	507.616	507.879	1837404
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	523.573	523.95	1837406
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	541.215	541.513	1837392
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	551.53	551.802	1837394
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	558.674	558.91	1837410
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	584.532	584.747	1837444
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	586.216	586.464	1837430
goldb-heqc-alu4mul.cnf	UNSAT	595.774	596.11	1837230
manol-pipe-f9n.cnf	UNSAT	610.475	610.867	1837594
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	637.491	637.745	1837080
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	637.581	637.897	1837434
manol-pipe-c10nid_i.cnf	UNSAT	670.068	671.024	1837226
manol-pipe-f9b.cnf	UNSAT	696.746	706.784	1837200
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	702.688	702.873	1837480
velev-pipe-uns-1.0-8.cnf	UNSAT	708.476	708.594	1837612
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	728.782	729.177	1837432
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	762.716	763.096	1837440
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	849.467	858.804	1837158
velev-pipe-o-uns-1.0-7.cnf	UNSAT	866.964	867.384	1837592
manol-pipe-c10nidw.cnf	UNSAT	971.796	972.422	1837204
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	1107.29	1107.78	1837118
schup-l2s-bc56s-1-k391.cnf	UNSAT	1321.46	1321.98	1837198
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1325.84	1326.29	1837300
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	1384.48	1385.23	1837060
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	1443.33	1444.63	1837422
goldb-heqc-i10mul.cnf	UNSAT	1674.58	1675.52	1837574
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	2088.07	2088.81	1837536
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	2158.85	2159.58	1837078
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	2340.09	2341.05	1837488
velev-vliw-uns-4.0-9C1.cnf	UNSAT	2362.21	2362.86	1837588
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	2362.88	2364.04	1837244
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	2450.71	2451.51	1837064
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	2748.83	2750.74	1837452
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	2879.18	2880.18	1837464
manol-pipe-f10ni.cnf	UNSAT	2885.98	2887.73	1837598
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	3020.9	3022.01	1837496
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	3071.62	3072.95	1837166
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	3206.19	3207.25	1837544
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	3219.35	3221.24	1837136
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	3554.03	3555.93	1837298
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	3789.3	3790.49	1837090
goldb-heqc-term1mul.cnf	UNSAT	3791.08	3792.42	1837582
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	3932.65	3934.5	1837470
goldb-heqc-dalumul.cnf	UNSAT	4090.84	4092.85	1837218
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	4266.64	4268.8	1837412
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	5374.4	5377.22	1837450
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	5403.97	5405.71	1837414
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	5583.51	5585.1	1837032
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	6362.33	6364.61	1837258
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT	7003.43	7005.82	1837174
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	UNSAT	7523.61	7525.79	1837454
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	7968.95	7972.47	1837084
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	8323.76	8327.07	1837276

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.307952	0.310998	1837366
een-tip-sat-texas-tp-5e.cnf	SAT	0.32195	0.32427	1837228
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.413936	0.413496	1837372
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.835872	0.843592	1837384
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.16482	1.17242	1837364
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.36279	1.37116	1837368
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.73273	1.74001	1837378
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.92171	1.92956	1837386
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.06969	2.07723	1837370
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	2.22366	2.23088	1837520
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	2.48262	2.4911	1837360
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.78058	2.78185	1837532
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	3.22951	3.24016	1837362
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.12937	4.21632	1837382
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	5.13222	5.14264	1837358
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	5.37918	5.64139	1837340
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	6.18006	6.19468	1837396
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	8.05477	8.06287	1837402
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	11.8212	11.8322	1837530
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	13.302	13.3345	1837374
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	15.3757	19.8922	1837458
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	15.9786	16.0047	1837354
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	18.2202	18.238	1837408
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	21.0248	21.0422	1837330
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	22.9085	22.9272	1837380
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	25.1762	25.2113	1837376
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	28.2057	28.2211	1837510
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	29.2666	29.4035	1837102
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	52.687	52.7205	1837542
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	54.5977	54.6535	1837438
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	55.0786	55.1368	1837352
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	68.0067	68.0907	1837388
schup-l2s-motst-2-k315.cnf	SAT	77.6762	77.7746	1837202
industrial/grieu/ vmpc_24.cnf	SAT	78.4281	78.4626	1837144
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	80.6527	80.6927	1837400
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	84.7341	84.8096	1837390
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	112.925	113.029	1837398
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	128.27	128.341	1837350
simon-s03-w08-15.cnf	SAT	154.027	154.122	1837192
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	179.193	179.273	1837332
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	202.027	202.13	1837356
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	208.749	208.874	1837436
industrial/grieu/ vmpc_26.cnf	SAT	209.398	209.527	1837152
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	244.191	244.464	1837178
velev-pipe-sat-1.0-b10.cnf	SAT	251.21	251.286	1837570
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	264.731	267.477	1837176
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	282.33	282.47	1837426
mizh-md5-47-3.cnf	SAT	328.912	329.16	1837182
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	345.22	346.295	1837044
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	353.992	354.15	1837320
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	354.48	354.688	1837502
industrial/grieu/ vmpc_25.cnf	SAT	362.987	363.238	1837138
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	493.54	493.758	1837446
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	533.116	537.774	1837046
mizh-sha0-35-3.cnf	SAT	720.485	720.947	1837224
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	724.424	724.352	1837316
velev-pipe-sat-1.0-b7.cnf	SAT	875.437	875.774	1837564
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	991.935	992.309	1837468
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1181.5	1182.09	1837492
mizh-md5-47-4.cnf	SAT	1328.95	1329.63	1837220
mizh-sha0-36-2.cnf	SAT	1352.74	1353.28	1837596
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	1725.3	1725.83	1837474
industrial/grieu/ vmpc_28.cnf	SAT	1902.56	1903.36	1837148
mizh-sha0-36-4.cnf	SAT	2080.89	2081.55	1837210
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	2143.16	2144.32	1837114
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	2233.39	2234.56	1837478
mizh-sha0-36-3.cnf	SAT	2236.06	2237.07	1837194
industrial/grieu/ vmpc_29.cnf	SAT	2806.64	2807.62	1837146
industrial/narain/ clauses-8.cnf	SAT	3493.28	3495.23	1837154
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	SAT	3850.45	3852.64	1837482
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	5307.86	5313.92	1837460
industrial/grieu/ vmpc_30.cnf	SAT	5430.69	5433.04	1837140
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	5500.67	5503.55	1837484
mizh-md5-48-5.cnf	SAT	5870.2	5872.13	1837232
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	9804.42	9807.4	1837472

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	10000	10005.1	1837132
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	10000	10003.7	1837164
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000	10003.7	1837086
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000	10002.7	1837088
vange-col-abb313GPIA-9-c.cnf	? (TO)	10000	10003.3	1837214
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000	10002.8	1837334
aloul-chnl11-13.cnf	? (TO)	10000	10005.2	1837216
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	10000	10004.2	1837242
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	10000	10004.6	1837248
goldb-heqc-x1mul.cnf	? (TO)	10000	10003.1	1837180
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	10000	10003.8	1837346
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	10000	10004.4	1837260
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	10000	10004.9	1837428
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10000	10004.6	1837516
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	10000	10004.4	1837264
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000	10003.2	1837094
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	10000	10004.9	1837324
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	10000	10003.8	1837326
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	10000	10003	1837270
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10000	10004.1	1837518
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000	10004.6	1837052
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10000	10003	1837524
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	10000	10004.3	1837526
industrial/grieu/ vmpc_34.cnf	? (TO)	10000	10003.1	1837150
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10000	10002.9	1837318
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000	10004	1837534
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10000	10004.3	1837538
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000	10003	1837100
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	10000	10004.5	1837282
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000	10003.1	1837074
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	10000	10002.4	1837548
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	10000	10003.1	1837286
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	10000	10002.9	1837554
industrial/grieu/ vmpc_33.cnf	? (TO)	10000	10003	1837142
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000	10002.9	1837558
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000	10002.9	1837062
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	10000	10005.2	1837466
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10000	10004.2	1837504
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	10000	10005.3	1837190
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10000.1	10003.2	1837552
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	10000.1	10003	1837540
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10003.2	1837562
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10003	1837546
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000.1	10003.3	1837550
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10003.1	1837556
manol-pipe-g10bidw.cnf	? (TO)	10000.1	10007.8	1837568
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	10000.1	10003.1	1837506
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	10000.1	10004.6	1837162
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.1	10004.3	1837048
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.1	10003	1837056
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10002.6	1837066
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.1	10002.8	1837068
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10002.6	1837082
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.1	10003.1	1837092
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000.1	10004.4	1837096
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10004.2	1837098
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000.1	10005.3	1837128
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000.1	10004.3	1837126
goldb-heqc-frg1mul.cnf	? (TO)	10000.1	10003.6	1837188
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10000.1	10002.8	1837254
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10000.1	10003.7	1837250
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	10000.1	10002.9	1837266
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10000.1	10003.1	1837314
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	10000.1	10003.2	1837328
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	10000.1	10002.6	1837310
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	10000.1	10003.4	1837284
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	10000.1	10005.2	1837288
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	10000.1	10003	1837292
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	10000.1	10003	1837294
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	10000.1	10003.2	1837296
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	10000.1	10005.3	1837348
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	10000.1	10003.1	1837302
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	10000.1	9998.91	1837344
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	10000.1	10004.9	1837338
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	10000.1	10002.9	1837322
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10000.1	10002.7	1837336
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	10000.1	10004.5	1837342
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	10000.1	10005.5	1837168
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10003.2	1837508
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	10000.1	10003	1837604
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000.1	10002.9	1837512
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	10000.1	10004.4	1837500
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000.1	10005	1837514
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10002.8	1837522
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10000.1	10002.9	1837528

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	10.52	869.375	1837418
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (MO)	4615.3	4617.31	1837040
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (MO)	4679.27	4681.41	1837042
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (MO)	5263.74	5265.21	1837076
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (MO)	5356.66	5358.71	1837058
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (MO)	5513.36	5515.81	1837038
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (MO)	5803.19	5805.01	1837054
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (MO)	5899.9	5901.52	1837050
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (MO)	6109.41	6111.52	1837274
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	6740.5	6742.51	1837172
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	6748.01	6750.31	1837160
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (MO)	6770.66	6772.31	1837070
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	7269.53	7272.61	1837170
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (MO)	7583.35	7586.21	1837498
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (MO)	8039.38	8042.02	1837072
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (MO)	9090.56	9093.21	1837290
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (MO)	9866.08	9870.61	1837486

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

Result page for solver minisat_cumr p-2009-03-18 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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