SAT 2011 Competition: 32 cores track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.082986	0.037113	3347719
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.108983	0.0439139	3347623
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.174972	0.0431429	3347621
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	1.39979	0.479605	3347225
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	4.34934	0.883427	3347457
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	5.08123	0.400189	3347703
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	5.9421	1.19939	3347479
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	6.27005	1.26694	3347173
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	7.59484	1.53396	3347175
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	8.25274	1.66802	3347599
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	9.05462	1.82739	3347473
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	9.81351	1.97981	3347495
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	12.3311	2.48728	3347481
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	22.6126	5.6325	3347741
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	24.6063	2.75545	3347615
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	30.5404	6.19721	3347469
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	35.6086	7.15694	3347435
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	42.1586	1.60271	3347707
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	46.7179	9.38399	3347281
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	47.7397	9.60168	3347739
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	73.0499	14.6708	3347445
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	77.7602	8.6794	3347485
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	80.8837	20.1702	3347421
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	85.1421	17.0755	3347397
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	135.399	33.9392	3347737
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	161.91	9.96489	3347711
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	165.604	6.00537	3347593
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	229.912	8.04922	3347613
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	234.112	8.31974	3347655
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	258.426	10.6973	3347417
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	277.576	24.9275	3347439
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	302.528	15.9615	3347143
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	321.923	13.9589	3347493
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	449.597	20.4677	3347477
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	450.455	62.4132	3347425
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	497.783	23.9399	3347409
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	535.574	27.5644	3347283
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	600.608	21.702	3347459
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	642.035	20.3249	3347705
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	651.142	27.2914	3347399
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	657.366	21.7056	3347657
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	667.38	29.8605	3347277
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	734.354	27.6224	3347471
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	789.23	25.8727	3347597
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	808.519	35.6177	3347171
velev-pipe-o-uns-1.1-6.cnf	UNSAT	936.302	32.5267	3347321
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	964.899	39.1119	3347433
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	1020.78	38.7234	3347343
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	1066.94	33.7789	3347709
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	1142.21	36.7582	3347541
manol-pipe-c6bidw_i.cnf	UNSAT	1157.96	40.5101	3347213
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	1193.47	49.2739	3347183
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	1219.65	120.781	3347349
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	1224.89	49.2854	3347627
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	1351.17	51.108	3347725
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	1373.34	47.1605	3347497
manol-pipe-f7nidw.cnf	UNSAT	1396.58	57.6054	3347217
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	1529.77	52.0454	3347475
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	1530.31	53.0936	3347269
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	1576.93	54.7933	3347713
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	1745.8	54.8393	3347693
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	3260.04	103.211	3347539
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	3415.9	107.262	3347159
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	4263.68	136.824	3347413
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	4384.51	137.932	3347701
velev-pipe-o-uns-1.0-7.cnf	UNSAT	4797.1	156.363	3347323
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	4902	159.575	3347491
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	5068.2	161.073	3347267
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	5142.56	161.708	3347249
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	5306.17	169.493	3347483
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	5341.81	183.856	3347291
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	6743.87	245.941	3347273
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	6881.08	234.165	3347391
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	UNSAT	6989.04	218.826	3347653
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	7234.36	228.216	3347431
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	8102.75	257.422	3347489
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	UNSAT	8484.6	267.176	3347631
manol-pipe-c10nidw.cnf	UNSAT	9412.51	314.608	3347209
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	10089.3	323.387	3347427
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	11177.9	360.479	3347507
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	11631.5	364.207	3347695
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	12245.7	395.575	3347501
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	12335.5	396.94	3347505
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	12575.9	403.732	3347513
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	13009.1	417.029	3347515
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	14463.5	459.877	3347517
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	UNSAT	14511.8	454.332	3347697
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	15587.5	497.995	3347369
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	16368.1	515.875	3347467
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	18059.3	566.644	3347611
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	18372.5	593.92	3347289
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	19129.6	598.777	3347163
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	UNSAT	20229.9	634.36	3347551
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	21162.2	719.352	3347645
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	26771.1	839.092	3347633
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	28074.7	1036.9	3347389
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	30319.1	1042.61	3347735
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	39031.1	1221.32	3347179
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	39451	1275.63	3347661
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	40393.2	1401.86	3347197
APPLICATIONS/bitverif/ maxor/maxor128.cnf	UNSAT	43963.3	1384.45	3347241
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	44086.2	1545.1	3347361
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	UNSAT	46604.4	1460.22	3347247
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	51626.1	1789.47	3347729
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	UNSAT	53265	1669.93	3347605
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	53963.6	1876.7	3347727
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	UNSAT	55541.2	1751.72	3347153
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	UNSAT	56799.7	1788.3	3347227
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	57216.2	1916.55	3347207
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	UNSAT	67557.2	2115.66	3347461
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	74468.5	2479.12	3347643
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	UNSAT	81308.4	2561.89	3347151
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	87819.6	2751.38	3347253
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	UNSAT	89511.9	2819.87	3347287
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	99794.6	3124.27	3347635
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	103519	3464.22	3347659
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	105032	3294.46	3347223
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	106137	3328.99	3347157
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	UNSAT	136783	4280.32	3347629
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	137812	4313.22	3347305
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	UNSAT	149441	4979.22	3347663
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	156644	4915.28	3347339

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.020996	0.042068	3347681
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.039993	0.0354011	3347683
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.060989	0.0364211	3347691
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.085986	0.0365849	3347685
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.101983	0.0374701	3347715
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.150976	0.058698	3347585
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.25696	0.0727171	3347687
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	2.14367	0.440916	3347717
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	3.55646	0.744496	3347699
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	4.97524	1.02827	3347327
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	6.09607	1.2936	3347335
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	6.72498	1.36836	3347423
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	7.52085	1.68626	3347443
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	7.8798	1.63867	3347285
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	9.68553	2.22015	3347437
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	10.7764	2.39994	3347441
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	11.7742	2.37231	3347307
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	11.8762	2.38677	3347649
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	12.4591	2.71724	3347453
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	13.437	2.95822	3347451
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	15.4746	0.695768	3347583
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	16.6365	3.69828	3347447
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	17.5503	3.57221	3347331
ibm-2002-21r-k95.cnf	SAT	27.0629	5.75422	3347325
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	27.6778	2.88067	3347311
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	31.0083	6.37932	3347345
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	33.5059	7.19345	3347337
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	35.7416	7.2849	3347303
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	36.6624	8.21599	3347341
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	37.1444	9.93764	3347201
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	46.8629	12.0281	3347333
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	51.8021	4.78061	3347329
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	84.6771	21.5336	3347199
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	94.4616	3.83376	3347673
application/manthey/ traffic/traffic_r_sat.cnf	SAT	98.983	20.0206	3347511
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	101.689	30.4767	3347271
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	145.681	37.115	3347405
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	162.569	10.7493	3347313
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	179.542	7.12265	3347261
velev-pipe-sat-1.0-b9.cnf	SAT	194.519	49.1292	3347319
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	194.941	8.28427	3347603
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	237.556	48.3001	3347667
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	256.795	9.46109	3347255
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	258.713	65.4862	3347359
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	SAT	258.795	10.5314	3347677
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	264.064	9.88529	3347265
velev-npe-1.0-9dlx-b71.cnf	SAT	264.451	67.0413	3347317
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	265.047	16.9468	3347407
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	265.653	53.9065	3347665
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	341.683	86.0747	3347395
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	460.893	115.966	3347365
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	475.603	20.0387	3347205
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	592.465	28.4495	3347299
mizh-sha0-36-4.cnf	SAT	603.471	21.6241	3347211
ibm-2004-01-k90.cnf	SAT	622.949	23.1233	3347221
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	646.007	25.7268	3347601
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	717.616	51.0033	3347411
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	751.904	43.0768	3347355
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	765.889	25.1846	3347671
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	817.196	52.2169	3347419
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	844.694	32.9906	3347595
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	862.21	29.7538	3347721
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	958.862	89.572	3347415
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	996.794	44.0278	3347301
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	1143.18	48.6266	3347275
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	1148.83	44.5459	3347625
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1185.47	39.7217	3347181
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	1489.42	55.8263	3347609
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	1694.19	56.667	3347723
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	1827.72	58.7682	3347675
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	1958.72	65.122	3347429
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	2239.87	116.1	3347401
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	2292.5	107.855	3347375
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	2524.82	100.768	3347509
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	2667.62	99.5734	3347293
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	3006.07	95.6425	3347257
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	3929.5	124.37	3347263
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	4544.43	166.47	3347607
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	4576.88	153.073	3347203
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	4871.27	164.054	3347545
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	SAT	5148.61	278.26	3347379
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	5714.58	188.669	3347549
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	6235.56	195.544	3347591
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	6411.87	215.577	3347279
ibm-2004-23-k100.cnf	SAT	7166.58	236.022	3347215
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	7520.47	252.351	3347147
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	SAT	7534.32	290.929	3347377
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	8124.06	260.271	3347195
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	8185.15	270.958	3347553
ibm-2002-30r-k85.cnf	SAT	8836.06	287.064	3347219
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	9235.08	400.139	3347689
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	9416.12	367.167	3347503
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	12088.2	457.492	3347353
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	13033.7	426.756	3347519
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	13246.1	423.724	3347193
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	SAT	13959.4	444.857	3347651
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	SAT	18152.8	585.495	3347351
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	18942.6	594.952	3347669
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	20626.8	777.6	3347367
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	20810.1	651.663	3347579
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	21569.3	691.539	3347149
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	SAT	22271.7	698.336	3347259
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	SAT	24553.6	789.467	3347347
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	SAT	26196.5	843.335	3347387
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	SAT	27429.2	860.862	3347679
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	SAT	36291.7	1183.53	3347547
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	SAT	36639.2	1160.48	3347371
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	38926.7	1237.17	3347295
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	SAT	41531	1317.9	3347145
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	47787.4	1520.74	3347169
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	98266.1	3353.12	3347403
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	SAT	98394.4	3099.02	3347167
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	113266	3563.41	3347297

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	149771	5100.03	3347393
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	155978	5100.03	3347531
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	156092	5100.04	3347555
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	156095	5100.04	3347533
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	156110	5100.04	3347527
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	156163	5100.04	3347563
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	156229	5100.04	3347537
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	156290	5100.04	3347523
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	156290	5100.06	3347565
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	156392	5100.04	3347543
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	156406	5100.04	3347559
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	156417	5100.04	3347521
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	156455	5100.04	3347529
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	156498	5100.04	3347535
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	156501	5100.04	3347561
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	157865	5100.03	3347235
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	160001	5011.03	3347165
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	160001	5005.74	3347589
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	160001	5006.16	3347569
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	160001	5013.23	3347487
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	160001	5012.04	3347465
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	160001	5009.34	3347463
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	160001	5008.54	3347231
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	160001	5006.16	3347161
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	160001	5012.24	3347363
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	160002	5006.64	3347315
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	160002	5035.94	3347647
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	160002	5015.96	3347449
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	160002	5005.94	3347233
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	160002	5044.14	3347731
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	160002	5012.54	3347385
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	160002	5005.73	3347577
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	160002	5007.35	3347573
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	160002	5005.74	3347587
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	160002	5006.44	3347567
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	160002	5007.34	3347557
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	160002	5047.86	3347619
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	160002	5006.16	3347641
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	160002	5011.14	3347639
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	160002	5015.14	3347155
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	160002	5014.14	3347245
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	160002	5009.64	3347637
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	160002	5007.44	3347189
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	160002	5005.84	3347575
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	160003	5009.34	3347455
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	160003	5009.84	3347383
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	160003	5014.44	3347381
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	160003	5006.16	3347243
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	160003	5013.94	3347357
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	160003	5007.94	3347185
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	160003	5005.84	3347177
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	160003	5051.94	3347733
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	160003	5010.14	3347373
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	160003	5007.04	3347525
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	160003	5005.94	3347571
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	160003	5013.54	3347499
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	160003	5006.84	3347309
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	160003	5007.94	3347191
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	160004	5009.45	3347237
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	160004	5005.84	3347581
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	160004	5006.15	3347229
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	160004	5009.46	3347239
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	160004	5009.84	3347187
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	160004	5009.74	3347251
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	160004	5044.66	3347617

SAT 2011 Competition: 32 cores track: benchmarks results per solver

Result page for solver ppfolio par (complete)

Category "applications instances" (APPLICATION)

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

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

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