SAT 2011 Competition: main competition (phase 2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.118981	0.115713	3372812
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.12398	0.122518	3372815
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.220965	0.0512221	3372959
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.806876	0.442239	3372599
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.38979	0.502647	3372803
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	2.35064	1.138	3372140
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	2.75958	0.392511	3372935
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	4.40533	0.751627	3372218
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	4.96524	0.662217	3372941
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	5.9201	1.13702	3372602
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	6.39903	1.06677	3372779
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	8.62069	1.55688	3372623
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	8.70468	2.49534	3372143
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	11.6962	1.90582	3372590
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	15.8666	6.26279	3372992
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	28.7886	3.80588	3372863
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	30.3334	6.8254	3372302
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	31.3402	4.09212	3372566
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	31.5382	4.58842	3372947
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	31.7782	4.02964	3372938
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	34.6607	4.47206	3372800
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	40.4419	6.23144	3372584
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	67.3828	11.4704	3372989
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	68.1256	8.6695	3372770
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	89.2084	11.3015	3372866
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	92.5389	12.2283	3372620
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	106.562	14.355	3372608
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	108.205	14.6215	3372095
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	112.721	14.6485	3372569
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	130.53	21.8947	3372476
velev-pipe-o-uns-1.1-6.cnf	UNSAT	131.436	16.9857	3372362
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	138.538	17.8434	3372506
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	139.512	21.6853	3372512
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	140.654	18.7248	3372596
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	147.227	32.9139	3372986
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	159.995	20.2147	3372776
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	178.211	23.1084	3372587
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	178.236	24.1304	3372305
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	186.055	25.6391	3372548
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	189.163	25.2079	3372530
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	199.481	26.5636	3372296
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	209.563	27.9724	3372137
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	227.641	29.2245	3372593
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	233.652	31.5154	3372533
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	241.861	31.9676	3372821
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	250.475	32.0854	3372626
manol-pipe-c6bidw_i.cnf	UNSAT	283.274	36.3223	3372200
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	285.601	38.0283	3372155
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	303.831	38.7919	3372395
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	316.631	39.7223	3372932
manol-pipe-f7nidw.cnf	UNSAT	337.027	44.3461	3372206
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	340.449	43.3621	3372950
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	347.183	44.3779	3372284
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	358.701	46.3108	3372494
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	401.204	52.7593	3372539
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	429.755	55.1594	3372968
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	471.76	59.1985	3372692
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	474.312	67.8458	3372518
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	476.137	59.7294	3372119
velev-pipe-o-uns-1.0-7.cnf	UNSAT	485.518	62.0542	3372365
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	534.449	68.198	3372479
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	651.621	104.219	3372404
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	745.413	93.5229	3372254
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	786.188	99.1339	3372605
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	929.137	117.05	3372500
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	936.969	117.821	3372281
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	988.027	126.091	3372317
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	1010.41	127.299	3372923
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	1022.4	129.109	3372617
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	1072.46	135.066	3372614
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	1188.25	150.613	3372650
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	1190.42	149.382	3372527
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	1195.3	152.364	3372641
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	1216.53	154.796	3372653
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	1228.39	155.862	3372632
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	1254.33	158.704	3372638
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	1593.09	200.74	3372656
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	1767.18	226.803	3372290
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	2045.74	256.707	3372581
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	2480.32	315.583	3372920
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	2631.98	332.576	3372314
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	2815.92	355.555	3372467
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	2901.42	374.072	3372983
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	3072.31	384.79	3372689
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	3278.87	410.735	3372125
manol-pipe-c10nidw.cnf	UNSAT	3384.41	426.575	3372194
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	4420.07	562.64	3372848
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	4599.51	576.055	3372797
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	5060.5	634.893	3372521
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	5238.96	671.787	3372464
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	UNSAT	6155.13	771.716	3372611
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	UNSAT	6270.79	786.135	3372578
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	7041.92	890.37	3372872
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	8597.09	1076.21	3372830
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	8635.97	1098.61	3372974
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	8769.34	1097.93	3372149
APPLICATIONS/bitverif/ maxor/maxor128.cnf	UNSAT	8818.12	1105.37	3372242
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	9762.18	1243.11	3372971
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	10054.7	1269.64	3372176
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	10551.1	1326.97	3372191
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	UNSAT	11516.8	1448.97	3372977
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	UNSAT	11930.6	1494.09	3372251
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	UNSAT	13214.1	1653.27	3372572
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	UNSAT	13427.3	1683.3	3372110
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	13594.5	1714.34	3372422
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	UNSAT	14600.1	1828.98	3372221
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	UNSAT	15256	1909.61	3372707
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	15473.7	1937.3	3372833
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	UNSAT	16068.4	2015.47	3372311
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	16844.3	2111.49	3372434
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	UNSAT	16885.7	2113.55	3372824
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	UNSAT	17634.8	2207.91	3372788
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	18349.7	2310.77	3372869
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	18632.2	2333.49	3372215
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	UNSAT	22227.1	2790.2	3372926
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	UNSAT	22252	2785.87	3372575
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	UNSAT	24062.1	3015.31	3372107
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	UNSAT	24123.3	3044.23	3372875
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	UNSAT	26603	3331.3	3372563
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	29627.2	3730.27	3372845
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	30005	3759.12	3372389
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	31631	3961.89	3372116
industrial/fuhs/hard/ AProVE07-01.cnf	UNSAT	35303.5	4419.01	3372122
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	UNSAT	36576.4	4584.59	3372806

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.05699	0.0190421	3372902
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.064989	0.0232559	3372953
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.072988	0.0247709	3372908
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.077987	0.020313	3372905
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.085986	0.024705	3372917
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.284956	0.100994	3372758
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.357944	0.06904	3372911
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	1.36579	0.716163	3372515
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	2.22466	0.347272	3372956
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	2.6006	0.880667	3372383
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	4.73728	0.952834	3372371
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	5.50416	2.42837	3372545
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	5.69513	1.99104	3372542
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	6.77897	2.12881	3372308
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	7.37688	1.29553	3372347
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	7.9078	1.07513	3372755
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	8.14976	1.26158	3372929
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	9.56254	1.72354	3372341
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	12.894	2.33237	3372377
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	13.301	1.86444	3372890
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	14.3838	3.63573	3372398
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	19.2201	4.87107	3372386
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	20.2249	5.51073	3372335
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	22.4836	11.5607	3372881
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	23.0915	12.581	3372878
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	23.2645	3.19892	3372272
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	24.2773	4.78717	3372818
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	26.145	4.88417	3372557
application/manthey/ traffic/traffic_r_sat.cnf	SAT	26.362	11.996	3372647
ibm-2004-01-k90.cnf	SAT	32.1091	4.76147	3372212
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	33.9628	5.62787	3372560
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	34.6767	4.67846	3372263
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	35.2686	4.50741	3372767
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	38.0112	5.35625	3372854
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	38.2662	5.96818	3372350
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	39.318	5.89719	3372782
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	50.2064	9.77326	3372413
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	53.4459	8.8089	3372551
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	62.2855	13.4877	3372392
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	68.7086	9.32706	3372374
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	71.7891	9.24238	3372887
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	109.853	14.2152	3372962
ibm-2002-21r-k95.cnf	SAT	110.456	15.4956	3372368
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	112.341	14.4476	3372785
mizh-sha0-36-4.cnf	SAT	127.064	16.6003	3372197
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	145.454	21.8442	3372380
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	164.357	21.6027	3372188
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	179.973	24.0477	3372329
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	186.877	25.8563	3372332
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	191.279	25.4	3372773
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	193.678	51.8066	3372419
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	196.641	44.4997	3372428
velev-pipe-sat-1.0-b9.cnf	SAT	202.295	41.5813	3372359
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	208.539	35.215	3372503
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	210.179	45.59	3372488
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	215.004	27.2278	3372278
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	218.377	30.0886	3372536
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	255.562	33.9989	3372794
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	282.097	64.8872	3372182
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	294.644	54.7521	3372473
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	300.348	65.8075	3372179
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	306.142	43.1559	3372791
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	317.867	44.0945	3372509
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	354.63	46.0324	3372491
velev-npe-1.0-9dlx-b71.cnf	SAT	436.16	87.9971	3372356
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	447.797	61.1279	3372497
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	460.12	59.9247	3372293
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	541.876	68.5882	3372152
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	542.534	68.8413	3372965
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	576.12	72.8202	3372524
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	811.13	124.529	3372482
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	852.747	109.612	3372320
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	943.308	235.35	3372287
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	953.956	119.742	3372893
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	1320	167.826	3372299
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	1381.09	173.266	3372266
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	1400.99	209.325	3372635
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1572.56	199.967	3372101
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	1615.14	203.847	3372170
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	1927.8	244.968	3372644
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	2235.69	293.249	3372914
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	2263.38	283.612	3372275
ibm-2004-23-k100.cnf	SAT	2327.69	293.399	3372203
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	3125.74	391.454	3372749
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	4146.88	527.884	3372443
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	4213.93	527.775	3372884
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	4228.81	532.903	3372323
ibm-2002-30r-k85.cnf	SAT	4461.1	562.105	3372209
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	4606.62	577.39	3372704
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	4670.78	586.906	3372185
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	4673.98	585.741	3372698
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	4731.13	594.699	3372104
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	SAT	5346.67	670.811	3372857
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	6207.4	777.973	3372710
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	6221.88	779.35	3372659
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	6265.32	785.036	3372173
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	SAT	6510.16	822.695	3372446
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	SAT	6931.19	871.04	3372098
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	SAT	8606.28	1077.68	3372896
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	SAT	10614.2	1331.1	3372437
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	11713.1	1470	3372326
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	14311.3	1795.62	3372134
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	24023.2	3016.76	3372410
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	SAT	24620.3	3080.86	3372701
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	25255.2	3177.11	3372431
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	30177.5	3789.92	3372485

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	40000.2	5005.84	3372260
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	40000.2	5006.85	3372233
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	40000.2	5008.77	3372131
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	40000.2	5007.54	3372761
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	40000.3	5005.86	3372230
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	40000.3	5009.18	3372554
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	40000.3	5008.02	3372158
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	40000.3	5007.45	3372695
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	40000.3	5006.37	3372227
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	40000.4	5006.86	3372899
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	40000.4	5008.75	3372113
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	40000.4	5007.2	3372146
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	40000.4	5005.71	3372164
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	40000.5	5004.73	3372224
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	40000.5	5006.9	3372167
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	40000.5	5007.98	3372713
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	40000.5	5007.06	3372671
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	40000.5	5007.58	3372680
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	40000.5	5007.82	3372338
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	40000.5	5008.14	3372674
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	40000.5	5009.03	3372665
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	40000.5	5007.74	3372842
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	40000.5	5008.37	3372257
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	40000.6	5006.38	3372728
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	40000.6	5010.57	3372407
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	40000.6	5007.79	3372344
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	40000.6	5004.88	3372746
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	40000.6	5006.18	3372716
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	40000.6	5007.24	3372269
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	40000.7	5014.32	3372980
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	40000.7	5007.53	3372662
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	40000.7	5007.4	3372248
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	40000.7	5009.97	3372461
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	40000.8	5005.69	3372353
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	40000.8	5007.59	3372719
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	40000.8	5016.71	3372809
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	40000.8	5007.67	3372764
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	40000.8	5007.99	3372161
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	40000.8	5008.98	3372839
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	40000.8	5007.39	3372440
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	40000.8	5005.41	3372944
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	40000.8	5008.14	3372677
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	40000.8	5007.57	3372683
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	40000.9	5007.58	3372128
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	40000.9	5007.49	3372725
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	40000.9	5006.18	3372731
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	40000.9	5006.08	3372734
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	40000.9	5006.64	3372737
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	40000.9	5007.76	3372752
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	40000.9	5029.45	3372449
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	40000.9	5009.53	3372401
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	40000.9	5014.78	3372851
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	40000.9	5006.65	3372743
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	40000.9	5004.9	3372860
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	40001	5006.8	3372740
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	40001	5009.12	3372629
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	40001	5009.19	3372668
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	40001	5007.34	3372239
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	40001	5005.9	3372722
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	40001	5007.31	3372416
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	40001	5007.53	3372236
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	40001.1	5007.17	3372686
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	40001.1	5006.95	3372836
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	40001.1	5005.07	3372245
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	40001.1	5006.44	3372827
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	40001.4	5009.89	3372452
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	40001.4	5016.76	3372425
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	40001.6	5024.07	3372470
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	40001.8	5017.15	3372455

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (problem)	36849.3	4618.5	3372458

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.117981	0.0317269	3394914
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.372942	0.180387	3394884
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.514921	0.0993059	3394528
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	1.3098	0.225176	3394750
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	1.59876	0.378541	3394858
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	2.85057	0.487731	3394842
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	3.2725	0.523623	3394544
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	3.60845	0.565391	3394752
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	5.8881	0.940084	3394846
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	6.25905	0.863322	3394498
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	26.294	4.27501	3394856
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	31.9691	4.08628	3394916
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	44.6392	6.49402	3394934
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	50.1814	6.68521	3394520
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	154.381	20.6813	3394932
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	387.419	48.6316	3394496
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	464.243	58.1773	3394504
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	826.035	105.703	3394536
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	859.634	107.925	3394598
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	925.561	116.428	3394888
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	1562.23	195.989	3394590
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	2186.03	274.047	3394628
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	2332.46	292.395	3394596
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	3814.46	478.283	3394748
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	3953.65	496.533	3394034
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	4802.17	602.338	3394706
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	4926.14	617.243	3394600
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	7268.01	911.962	3394882
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	8293.17	1040.95	3394712
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	UNSAT	10128.9	1275.37	3394862
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	UNSAT	10723.2	1345.63	3394490
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	10916	1386.29	3394532
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	11526.6	1450.4	3394514
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	13176.8	1656.32	3394736
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	15551.9	1949.17	3394578
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	17364.7	2175.8	3394606
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	UNSAT	22807.4	2857.1	3394792
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	27990.6	3506.25	3394604
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	28102	3519.4	3394616
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	UNSAT	37446.1	4688.35	3394586

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.031994	0.0163049	3394434
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.043992	0.058982	3394460
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.044992	0.0313911	3394482
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.044992	0.0433659	3394038
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.05499	0.116961	3394474
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.055991	0.0303599	3394484
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.065989	0.02553	3394464
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.068988	0.0490711	3394436
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.071988	0.0619221	3394478
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.074987	0.033249	3394462
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.074988	0.0401299	3394428
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.080987	0.041523	3394448
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.130979	0.054704	3394878
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.147976	0.0801389	3394886
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.299953	0.230138	3394548
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.308952	0.103201	3394912
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.316951	0.301875	3394550
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.338948	0.250278	3394556
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.346947	0.224527	3394524
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.358945	0.172431	3394538
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.500922	0.262629	3394554
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.536918	0.316899	3394516
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.661899	0.180963	3394454
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.705892	0.186196	3394450
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	0.71589	0.229524	3394546
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	0.755884	0.201631	3395012
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	1.72574	0.257668	3394790
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	2.15467	0.312227	3394788
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	2.83257	0.525147	3394440
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	3.37649	0.630147	3394470
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	3.85641	0.550525	3395010
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	4.75928	1.30556	3394030
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	7.2549	1.05781	3394492
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	8.28574	1.26954	3394510
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	9.16561	1.28844	3394866
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	10.4094	1.38581	3394540
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	15.2217	2.0611	3394416
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	16.9674	2.35146	3394996
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	22.2126	2.88874	3394512
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	26.366	3.36299	3394486
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	26.483	3.39968	3394502
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	28.6926	3.89202	3394432
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	31.6722	4.06105	3394488
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	32.0381	4.10644	3394050
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	32.694	4.31838	3394518
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	34.2948	4.4774	3395032
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	49.4965	6.25193	3394506
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	54.3307	7.00128	3394552
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	59.8209	7.66955	3393976
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	72.575	9.15684	3394800
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	96.5603	12.2998	3394572
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	112.924	14.3447	3395004
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	154.814	19.8901	3394530
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	159.717	20.4417	3394422
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	252.496	31.9528	3394836
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	259.808	32.6777	3394786
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	289.672	36.7744	3394738
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	289.993	36.8929	3394142
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	330.97	41.7364	3394580
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	354.079	44.6334	3394588
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	410.728	52.5247	3394144
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	414.891	52.2431	3394602
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	SAT	434.004	54.5801	3394778
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	522.467	65.5862	3394058
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	SAT	580.796	73.1534	3395042
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	738.485	92.695	3394610
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	924.489	116.318	3394838
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	1001	125.941	3394388
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	1388.72	174.382	3394834
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	1451.61	182.095	3394072
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	1911.91	240.284	3395014
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	2052.34	257.517	3394828
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	2374.2	298.214	3394840
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	SAT	2476.94	310.937	3394832
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	2651.81	333.231	3394048
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	SAT	6031.67	756.271	3395034
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	SAT	7079.5	888.975	3394500
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	7264.49	911.376	3394830
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	7715.12	967.006	3394120
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	SAT	8566.9	1073.22	3394796
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	SAT	9724.76	1218.72	3394582
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	10323	1294.97	3394044
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	16063.8	2013.16	3394608
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	16135.5	2023.8	3394394
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	18018.9	2257.6	3394594
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	19844.8	2487.95	3394994
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	20624.7	2584.82	3394046
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	20723.4	2596.49	3393970
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	28979.9	3627.75	3394776
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	SAT	35725.1	4485.02	3394036
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	39767.4	4985.09	3394922

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	40000.2	5009.85	3394624
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	40000.3	5012.26	3394424
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	40000.3	5008.3	3394798
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	40000.3	5010.32	3394744
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	40000.3	5008.06	3394106
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	40000.3	5009.55	3394032
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	40000.3	5011.16	3394404
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	40000.3	5010.37	3394560
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	40000.3	5009.44	3394876
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	40000.3	5010.65	3394622
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	40000.4	5009.15	3394400
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	40000.4	5009.97	3394526
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	40000.4	5007.91	3394734
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	40000.4	5011.25	3394612
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	40000.4	5009.65	3394414
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	40000.4	5009.68	3394880
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	40000.4	5011.45	3394396
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	40000.4	5010.34	3394542
crafted/spence/ hard/s113-100.cnf	? (TO)	40000.4	5011.7	3393874
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	40000.4	5008.43	3394870
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	40000.4	5010.85	3394854
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	40000.4	5011.84	3394126
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	40000.4	5009.31	3394742
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	40000.5	5012.47	3395024
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	40000.5	5010.98	3394040
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	40000.5	5011.26	3394534
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	40000.5	5011.32	3394730
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	40000.5	5007.93	3394080
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	40000.5	5012.3	3395002
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	40000.5	5010.82	3394100
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	40000.5	5011.68	3394402
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	40000.5	5010.81	3394988
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	40000.5	5010.09	3394430
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	40000.5	5009.03	3394718
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	40000.5	5006.01	3394476
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	40000.5	5008.63	3394710
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	40000.5	5011.21	3394698
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	40000.5	5010.57	3394620
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	40000.5	5011.96	3394592
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	40000.5	5011.26	3394584
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	40000.5	5010.32	3393978
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	40000.5	5011.14	3394128
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	40000.6	5011.43	3394116
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	40000.6	5010.15	3394626
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	40000.6	5010.23	3394408
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	40000.6	5003.83	3394702
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	40000.6	5010.45	3394062
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	40000.6	5008.28	3394124
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	40000.6	5011.58	3394614
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	40000.6	5009.38	3394406
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	40000.6	5010.17	3394056
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	40000.6	5012.79	3395018
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	40000.6	5009.08	3394576
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	40000.6	5005.94	3394088
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	40000.6	5014.05	3394570
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	40000.6	5012.13	3394872
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	40000.6	5013.22	3395036
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	40000.6	5011.05	3394104
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	40000.6	5012.21	3394084
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	40000.6	5011.85	3394398
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	40000.6	5011.77	3394410
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	40000.6	5005.95	3393974
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	40000.7	5009.95	3394418
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	40000.7	5003.93	3394466
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	40000.7	5011.72	3395040
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	40000.7	5011.66	3394928
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	40000.7	5010.35	3394714
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	40000.7	5009.44	3394708
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	40000.7	5010.85	3394700
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	40000.7	5011.42	3394694
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	40000.7	5010.16	3394568
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	40000.7	5012.25	3394794
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	40000.7	5011.48	3394784
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	40000.7	5010.18	3394780
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	40000.7	5007.65	3394392
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	40000.7	5009.77	3394122
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	40000.7	5010.73	3394112
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	40000.7	5010.66	3394458
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	40000.7	5007.01	3394094
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	40000.7	5011.1	3394078
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	40000.8	5009.35	3394618
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	40000.8	5012.11	3394728
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	40000.8	5009.72	3394720
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	40000.8	5011.17	3394420
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	40000.8	5010.87	3395022
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	40000.8	5005.35	3394920
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	40000.8	5011.92	3394110
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	40000.8	5012.25	3394494
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	40000.8	5009.44	3394868
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	40000.8	5012.56	3394704
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	40000.8	5011.15	3394390
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	40000.8	5012.35	3394992
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	40000.8	5010.84	3394468
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	40000.8	5013.03	3394566
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	40000.8	5012.52	3394456
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	40000.8	5009.59	3394068
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	40000.8	5011.48	3394446
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	40000.8	5010.39	3394852
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	40000.8	5010.97	3394574
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	40000.9	5009.4	3394564
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	40000.9	5006.83	3394066
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	40000.9	5010.85	3394092
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	40000.9	5009.39	3394076
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	40000.9	5008.55	3394426
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	40000.9	5010.27	3394722
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	40000.9	5011.34	3394850
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	40000.9	5008.95	3394918
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	40000.9	5009	3394096
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	40000.9	5006.7	3394926
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	40000.9	5012.57	3394930
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	40000.9	5012.92	3394998
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	40000.9	5008.46	3394052
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	40000.9	5009.47	3394826
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	40000.9	5010.64	3394746
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	40000.9	5011.97	3394802
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	40000.9	5011.74	3394130
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	40000.9	5012.8	3394118
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	40000.9	5005.87	3394060
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	40000.9	5010.31	3394114
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	40000.9	5008.94	3395028
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	40000.9	5011.02	3394064
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	40001	5009.99	3394522
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	40001	5010.25	3394782
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	40001	5010.85	3394874
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	40001	5012.27	3394562
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	40001	5011.67	3394864
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	40001	5011.77	3394804
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	40001	5012.46	3394630
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	40001	5010.92	3395026
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	40001	5012.35	3394696
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	40001	5007.11	3394716
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	40001	5013.18	3394472
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	40001	5012.22	3394444
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	40001	5007.41	3394860
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	40001	5010.65	3394412
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	40001	5009.38	3394102
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	40001	5011.1	3394098
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	40001	5013.04	3395030
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	40001	5010.44	3394090
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	40001	5008.31	3395038
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	40001	5011.12	3394070
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	40001	5010.44	3394726
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	40001	5011.35	3394724
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	40001	5010.35	3394732
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	40001.1	5010.51	3394086
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	40001.1	5010.92	3395006
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	40001.1	5009.66	3394740
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	40001.1	5012.38	3394442
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	40001.1	5011	3394074
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	40001.1	5016.24	3394848
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	40001.1	5012.43	3394990
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	40001.1	5011.74	3394558
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	40001.1	5010.16	3394924
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	40001.1	5013.38	3394480
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	40001.1	5007.33	3394508
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	40001.1	5013	3395000
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	40001.1	5008.65	3394082
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	40001.1	5010.66	3393972
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	40001.1	5011.6	3394108
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	40001.1	5010.24	3394692
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	40001.1	5011.97	3394054
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	40001.2	5011.9	3394146
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	40001.2	5012.27	3394452
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	40001.2	5008.35	3394042
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	40001.2	5011.01	3395008
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	40001.2	5011.6	3395020
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	40001.3	5009.65	3394438
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	40001.3	5010.69	3395016
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	40001.4	5020.71	3394844

SAT 2011 Competition: main competition (phase 2): benchmarks results per solver

Result page for solver Plingeling 587f (fixed) (complete)

Category "applications instances" (APPLICATION)

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

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

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

No recognized solution line (1 run) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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