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.010997	0.0207071	3401150
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.011997	0.019649	3401151
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.019996	0.0210601	3401199
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.435933	0.438919	3400952
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.446931	0.448227	3401079
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.600908	0.617469	3400926
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	1.11883	1.11863	3401191
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.12383	1.12324	3401147
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.2878	1.28906	3401139
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	1.41478	1.41574	3401193
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	2.10068	2.13306	3400927
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	5.81812	5.81849	3401136
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	8.36373	8.36402	3401192
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	8.41072	8.4173	3401210
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	9.07662	9.07811	3401146
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	10.1415	10.1416	3401080
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	11.1213	11.1217	3401087
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	11.1423	11.1421	3401076
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	13.7789	13.7796	3401110
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	13.8139	13.8147	3401074
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	15.3097	15.3211	3401082
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	15.7146	15.7149	3401167
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	16.9424	16.9431	3401050
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	18.3542	18.3555	3401138
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	18.7731	18.7734	3400980
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	20.6149	20.6157	3400911
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	20.8668	20.9172	3401209
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	22.3466	22.346	3401168
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	24.4883	24.4908	3401078
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	27.0629	27.0633	3401038
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	30.0804	30.081	3401075
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	33.3999	33.4069	3400974
velev-pipe-o-uns-1.1-6.cnf	UNSAT	34.0698	34.111	3401000
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	34.2788	34.2806	3401088
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	34.2958	34.2954	3401069
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	35.3006	35.3123	3401077
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	36.7234	36.7728	3401086
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	37.6973	37.6978	3401190
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	40.5138	40.5128	3401052
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	41.7527	41.7527	3401068
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	42.8545	42.8546	3401208
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	49.2515	49.2545	3401153
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	52.793	52.8141	3401039
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	58.6391	58.7397	3401011
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	60.9227	60.9225	3401062
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	61.3987	61.3997	3401044
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	62.5045	62.5134	3400964
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	64.5432	64.5439	3401048
manol-pipe-c6bidw_i.cnf	UNSAT	66.6629	66.6607	3400946
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	72.7379	72.7374	3401194
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	73.1889	73.2129	3400925
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	74.7636	74.764	3401014
velev-pipe-o-uns-1.0-7.cnf	UNSAT	75.1726	75.1726	3401001
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	86.0949	86.0974	3400981
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	92.8259	92.8283	3400931
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	94.5866	94.5851	3401109
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	97.3312	97.3325	3401056
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	101.031	101.065	3400919
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	104.513	104.51	3401085
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	108.4	108.474	3401202
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	112.734	112.739	3400978
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	141.95	142.015	3401081
manol-pipe-f7nidw.cnf	UNSAT	168.701	168.758	3400948
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	168.763	170.559	3401059
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	170.985	170.987	3401046
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	178.976	178.974	3401084
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	193.126	193.121	3401057
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	199.118	199.115	3401055
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	UNSAT	238.87	238.865	3401188
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	245.654	245.653	3401073
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	271.055	272.014	3401035
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	274.602	274.613	3401186
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	UNSAT	294.396	294.392	3401155
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	312.95	312.94	3401093
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	326.804	326.791	3401092
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	330.56	330.561	3401096
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	336.951	337.02	3401097
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	360.173	360.193	3401090
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	374.307	374.295	3400985
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	384.319	384.308	3401098
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	399.381	399.372	3400984
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	416.566	416.557	3400973
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	486.271	486.262	3401034
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	502.235	502.214	3401024
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	503.901	503.887	3401053
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	598.394	598.38	3401170
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	647.665	647.651	3401020
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	712.342	712.338	3401145
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	715.298	715.301	3400921
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	734.864	735.581	3401207
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	UNSAT	762.1	762.085	3401115
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	UNSAT	870.143	870.12	3401142
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	887.954	887.93	3401204
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	1050.63	1050.61	3400976
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	1063.16	1063.17	3400938
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	UNSAT	1071.5	1071.47	3401070
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	UNSAT	1122.82	1122.83	3400963
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	1407.63	1407.77	3401156
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	1478.14	1478.12	3401203
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	1677.1	1677.07	3400943
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	1691.58	1691.55	3401169
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	1787.46	1787.42	3401196
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	UNSAT	1910.73	1910.68	3400983
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	1939.51	1939.61	3401187
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	1940.1	1940.08	3400929
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	UNSAT	1971.87	1971.98	3400953
manol-pipe-c10nidw.cnf	UNSAT	2119.36	2119.32	3400944
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	2178.73	2178.63	3401157
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	2234.6	2234.64	3400951
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	2263.05	2263	3401162
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	UNSAT	2432.68	2432.61	3401171
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	UNSAT	2632.81	2632.73	3401031
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	2693.59	2693.53	3400966
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	UNSAT	2908.39	2908.38	3400915
APPLICATIONS/bitverif/ maxor/maxor128.cnf	UNSAT	3281.6	3281.68	3400960
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	UNSAT	3486.91	3486.78	3401205
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	4215.78	4215.7	3400918
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	UNSAT	4496.9	4496.7	3400916
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	UNSAT	4573.78	4573.76	3401166

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.003998	0.0188071	3401180
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.004998	0.0188491	3401181
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.006998	0.018965	3401182
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.017997	0.0196631	3401185
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.020995	0.0219039	3401132
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.020995	0.0216959	3401183
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.026995	0.0286829	3401197
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.25696	0.258508	3401189
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.19982	1.19976	3400993
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	1.34679	1.34738	3400995
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	1.59976	1.60121	3401198
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	2.34364	2.34803	3401003
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	4.97124	4.97207	3401051
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	6.16906	6.17442	3401007
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	7.64484	7.65312	3401012
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	8.91764	8.92185	3401005
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	9.50755	9.51265	3400982
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	10.9073	10.921	3401060
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	11.4553	11.4634	3401066
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	13.9039	13.9185	3401008
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	13.9919	13.9923	3401131
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	15.4147	15.4273	3401061
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	15.8806	15.8905	3401065
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	18.0852	18.096	3400991
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	21.2548	21.2645	3401141
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	21.3288	21.3522	3401010
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	23.7544	23.7746	3401172
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	24.3593	24.3644	3400942
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	24.3813	24.3934	3401063
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	24.8902	24.8963	3401049
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	28.0337	28.034	3400970
ibm-2004-01-k90.cnf	SAT	28.9336	28.9531	3400950
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	37.4903	37.5205	3401037
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	37.7863	37.8826	3401176
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	37.9132	37.9478	3401022
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	39.0481	39.056	3401004
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	43.9483	43.9856	3401019
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	45.0831	45.0863	3401201
ibm-2002-21r-k95.cnf	SAT	59.8219	59.8297	3401002
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	63.3404	63.346	3400989
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	65.649	65.7513	3401047
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	68.8645	68.8644	3401200
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	70.3803	70.3831	3401043
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	71.1612	71.1664	3401173
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	78.98	79.0019	3401042
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	SAT	79.238	79.3132	3400912
application/manthey/ traffic/traffic_r_sat.cnf	SAT	84.9211	84.9234	3401095
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	96.6873	96.6868	3401140
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	100.871	100.877	3400990
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	102.228	102.228	3400967
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	113.956	113.964	3401006
mizh-sha0-36-4.cnf	SAT	130.362	130.363	3400945
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	131.202	131.202	3401175
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	139.116	139.127	3401045
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	149.933	150.003	3400913
velev-pipe-sat-1.0-b9.cnf	SAT	158.745	158.747	3400999
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	198.003	198.071	3401054
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	201.285	201.364	3400914
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	209.846	209.86	3400986
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	258.505	258.499	3401137
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	273.948	273.981	3400977
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	311.662	311.665	3400972
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	316.337	316.443	3401184
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	374.039	374.064	3400924
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	396.927	396.933	3401152
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	414.992	414.988	3400979
ibm-2004-23-k100.cnf	SAT	426.019	426.045	3400947
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	451.688	451.684	3401177
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	482.62	482.61	3400996
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	501.796	502.325	3400975
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	521.071	521.055	3401144
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	549.091	549.08	3401174
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	554.251	554.277	3400940
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	SAT	585.525	585.518	3401108
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	627.861	627.862	3400987
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	678.166	678.826	3401017
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	747.766	747.791	3400939
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1012.35	1012.33	3400930
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	1124.53	1124.51	3401114
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	1493.6	1493.65	3401094
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	1543.15	1543.13	3401116
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	1614.32	1614.33	3400971
ibm-2002-30r-k85.cnf	SAT	1813.51	1814.1	3400949
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	1823.49	1823.52	3400941
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	2218.47	2218.43	3401143
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	2264.22	2264.16	3400968
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	2266.38	2266.41	3400988
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	2387.24	2387.18	3400937

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	5000.03	4999.93	3401135
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	5000.04	4999.93	3400965
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	5000.04	4999.93	3400956
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	5000.05	4999.93	3401123
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	5000.05	5000.03	3400920
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	5000.05	4999.93	3401195
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	5000.05	4999.93	3400969
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	5000.05	4999.94	3401071
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	5000.06	4999.95	3401064
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	? (TO)	5000.06	4999.94	3401164
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	5000.06	4999.93	3401124
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	5000.06	4999.92	3401179
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	5000.06	4999.83	3401133
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	5000.06	4999.94	3401126
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	5000.07	4999.93	3401178
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	5000.07	5000.36	3400955
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	5000.07	4999.94	3401160
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	5000.07	4999.93	3401125
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	5000.07	4999.95	3401105
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	5000.07	4999.94	3401072
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	5000.08	5000.03	3401165
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	5000.08	5000.03	3401154
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	5000.09	4999.93	3400992
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	5000.09	5000.04	3401128
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	5000.09	4999.97	3401119
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	5000.09	4999.96	3401117
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	5000.09	4999.94	3401058
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	5000.09	4999.97	3400959
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	5000.09	5000.05	3400936
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	5000.09	4999.97	3400933
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	5000.1	5000.47	3400917
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	5000.1	4999.96	3401134
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	5000.1	5000.05	3401118
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	5000.1	4999.98	3401121
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	5000.1	5000.03	3400961
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	5000.1	4999.96	3400932
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	5000.1	4999.97	3401113
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	5000.1	5000.07	3401067
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	5000.1	5000.08	3401158
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	5000.11	5000.33	3400954
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	5000.11	5000.03	3400997
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	5000.11	4999.99	3401122
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	5000.11	5000	3401103
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	5000.11	5000.04	3401102
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	5000.11	4999.93	3400928
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	5000.11	4999.88	3401099
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	5000.11	4999.95	3401083
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	5000.11	5000.03	3401129
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	5000.11	4999.95	3400934
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	5000.11	5000.16	3400935
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	5000.11	5000.06	3401149
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	5000.12	4999.93	3400994
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5000.12	5000.07	3400922
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	5000.12	5000.04	3401127
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	5000.12	5000.04	3401107
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	5000.13	4999.98	3401106
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	5000.13	5000.17	3401111
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	5000.13	5000.14	3401120
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	5000.13	5000.03	3401130
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	5000.13	5000.17	3401104
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	5000.13	4999.94	3400957
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	5000.14	5000.02	3401159
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	5000.14	5000.04	3401089
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	5000.14	4999.98	3401009
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	5000.15	5000.03	3401025
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	5000.15	5000.18	3401100
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	5000.15	5000.11	3401112
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	5000.15	4999.96	3401148
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	5000.16	4999.97	3400958
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	5000.17	5000.04	3401161
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	5000.17	5000.09	3400962
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	5000.17	5000.09	3400923
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	5000.18	5000.25	3401013
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	5000.2	5000	3401101
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	5000.2	5000.18	3401015
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	5000.23	5000.07	3401163
application/manthey/traffic/ traffic_r_uc_sat.cnf	? (TO)	5000.23	5000.18	3401091
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	5000.24	5000.26	3401033
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	5000.25	5000.06	3401026
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	5000.36	5000.35	3401206
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	5000.37	5000.69	3401021
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	5000.39	5000.29	3401032
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	5000.44	5000.29	3401030
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	5000.56	5000.6	3401018

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (MO)	338.924	338.917	3401040
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (MO)	352.698	352.697	3401027
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (MO)	358.842	359.014	3401028
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (MO)	360.68	360.689	3401036
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (MO)	401.26	401.453	3401016
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (MO)	404.241	404.242	3401023
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (MO)	424.861	428.556	3401041
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (MO)	435.513	435.513	3401029
velev-npe-1.0-9dlx-b71.cnf	? (MO)	3230.69	3231.36	3400998

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.008997	0.01942	3422012
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.046992	0.0481651	3421881
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	0.518921	0.519497	3421987
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.594908	0.595012	3421889
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.625904	0.627686	3421962
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	0.71689	0.717059	3421963
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.830873	0.831931	3422008
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	1.06684	1.06785	3422021
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	1.24581	1.2471	3421866
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	1.3138	1.31596	3421989
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	1.65075	1.65193	3422022
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	UNSAT	3.62045	3.62084	3422020
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	9.07862	9.0795	3421994
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	9.43656	9.4377	3422013
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	11.7022	11.7028	3422010
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	13.8289	13.8301	3421877
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	16.8434	16.8453	3421995
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	192.615	192.622	3421865
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	UNSAT	194.536	194.537	3421862
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	220.304	220.3	3421961
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	247.608	247.605	3421885
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	276.83	276.825	3421869
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	298.117	298.115	3421759
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	303.089	303.083	3421906
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	348.998	348.99	3421874
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	358.699	358.712	3421931
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	404.522	404.515	3421916
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	471.459	471.45	3421912
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	767.362	767.357	3422001
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	989.547	989.533	3421883
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	UNSAT	1163.68	1163.65	3422002
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	1171.98	1171.97	3422007
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	UNSAT	1345.32	1345.31	3422000
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	UNSAT	1429.76	1429.72	3422004
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	1716.81	1716.77	3421915
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	2090.66	2090.73	3422006
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	2147.95	2147.93	3421917
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	UNSAT	2283.58	2283.55	3422003
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	3542.45	3542.35	3421960
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	UNSAT	4934.29	4934.18	3421972

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.001998	0.017679	3421892
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.004998	0.0179699	3421834
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.007997	0.0210201	3421848
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.007998	0.019705	3421849
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.008997	0.016211	3421854
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.010997	0.011397	3421856
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.012997	0.01388	3421859
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.021995	0.0230139	3421875
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.021995	0.0224791	3421761
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.036993	0.037925	3422011
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.038993	0.0389711	3422009
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.039993	0.041722	3422005
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.049991	0.0511301	3421858
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.064989	0.066351	3421841
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.066989	0.068574	3421831
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.066989	0.067229	3421847
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.073988	0.0752751	3421844
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.080986	0.0850949	3421842
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.096984	0.0971401	3421835
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.207967	0.208929	3421852
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.240962	0.240604	3421837
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	1.01084	1.01852	3421863
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	1.56076	1.56097	3421999
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	4.87326	4.87473	3421755
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	5.12822	5.12922	3422027
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	5.13022	5.13029	3421971
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	7.69983	7.70108	3421970
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	8.64368	8.64657	3421891
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	9.26059	9.26061	3421757
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	12.2341	12.2333	3421833
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	16.1785	16.1824	3421825
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	18.0183	18.019	3421861
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	23.6814	23.6819	3422034
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	24.3143	24.3148	3421860
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	25.7091	25.7089	3422035
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	32.816	32.8167	3421903
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	39.417	39.4157	3421828
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	59.7439	59.7427	3421868
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	73.2349	73.2388	3422026
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	92.8089	92.8076	3421870
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	97.5972	97.595	3422023
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	126.343	126.362	3421767
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	155.124	155.132	3421986
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	169.966	169.961	3421976
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	SAT	181.579	181.58	3421867
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	234.801	234.797	3421895
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	267.77	267.763	3421771
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	280.155	280.153	3421879
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	293.097	293.094	3421985
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	299.766	299.762	3422045
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	323.285	323.277	3422041
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	330.534	330.528	3421894
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	370.149	370.149	3421907
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	434.783	434.778	3421969
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	438.071	438.063	3421808
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	602.944	602.94	3421886
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	655.927	655.922	3421983
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	661.551	661.555	3421980
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	668.36	668.362	3421981
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	698.776	698.76	3421966
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	753.968	754.011	3422031
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	SAT	855.848	855.845	3421982
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	916.186	916.16	3421790
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	1234.43	1234.41	3421911
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	2129.71	2129.68	3421918
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	2327.73	2327.73	3421764
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	2953.37	2953.3	3421810
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	3294.03	3293.93	3421984
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	3480.36	3480.28	3421778
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	3517.37	3517.41	3421766

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.03	4999.92	3421923
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.03	4999.82	3421897
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	5000.03	5000.13	3421940
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	5000.04	5000.03	3421756
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.04	4999.93	3421942
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	5000.04	4999.92	3421920
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	5000.04	5000.13	3421909
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.04	4999.93	3421941
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	5000.04	4999.92	3421921
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	5000.04	4999.93	3421765
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	5000.04	5002.33	3421910
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.04	4999.92	3421880
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.05	4999.93	3421973
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.05	4999.93	3421898
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.05	4999.93	3421935
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.05	4999.93	3422048
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.05	4999.94	3421763
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.05	4999.94	3421826
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.05	4999.93	3421827
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.05	5000.03	3421782
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	5000.05	4999.93	3421796
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.05	4999.93	3421905
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	5000.05	4999.93	3421908
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.05	4999.93	3422018
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.05	4999.94	3422017
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	5000.05	4999.93	3422016
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.05	4999.92	3421979
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.05	4999.93	3421974
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.05	4999.93	3421967
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.05	4999.93	3421965
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.05	4999.93	3421926
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.05	4999.93	3421954
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.05	4999.93	3421953
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.05	4999.92	3421950
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.05	4999.94	3421813
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.06	4999.94	3421934
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	5000.06	4999.93	3421919
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.06	4999.93	3421773
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.06	5000.13	3421924
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	5000.06	4999.93	3421809
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.06	4999.94	3421938
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.06	4999.93	3421968
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	5000.06	5000.03	3421937
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.06	4999.93	3421817
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.06	4999.94	3421843
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.06	4999.94	3421857
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.06	4999.82	3421929
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	5000.06	4999.93	3421957
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	5000.06	4999.83	3421955
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.06	4999.93	3421795
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	5000.06	4999.83	3421956
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.06	4999.94	3421804
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.06	5000.13	3421904
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.06	4999.95	3421993
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.06	4999.94	3421888
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.06	5000.03	3422019
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.06	4999.93	3421930
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.06	4999.93	3421951
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.06	4999.94	3421850
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.06	4999.94	3421791
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	5000.06	5000.03	3422036
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.06	5000.13	3421777
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.06	4999.93	3421772
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.06	5000.13	3421913
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.07	5000.13	3421774
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.07	4999.94	3422049
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.07	5000.04	3422050
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.07	4999.94	3422014
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.07	4999.95	3421991
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.07	4999.93	3421959
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.07	4999.92	3421949
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.07	4999.92	3421948
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.07	4999.94	3421939
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.07	4999.95	3421884
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	? (TO)	5000.07	4999.94	3421872
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.07	4999.96	3421864
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.07	5000.04	3421840
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.07	5000.03	3421927
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.07	4999.93	3421901
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.07	5000.04	3421806
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.07	5000.04	3421807
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.07	5000.13	3421798
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.07	4999.93	3421793
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.07	4999.93	3421792
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.07	5000.04	3421779
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.07	4999.93	3421770
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.07	5000.03	3421769
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.07	4999.93	3421768
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	5000.07	5000.03	3421801
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.08	4999.92	3421760
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.08	4999.92	3421821
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.08	4999.93	3421822
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.08	5000.03	3421818
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.08	4999.93	3421944
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	5000.08	4999.93	3421815
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	5000.08	4999.93	3421814
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	? (TO)	5000.08	5000.03	3421811
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.08	5000.03	3421958
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	5000.08	5000.03	3421914
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.08	4999.94	3422015
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.08	4999.93	3421902
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.08	4999.93	3421797
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.08	4999.94	3421794
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.08	4999.92	3421947
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.08	4999.93	3421787
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.08	5000.04	3421785
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.08	4999.94	3421830
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.08	4999.94	3421829
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.08	5000.03	3421936
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.08	5000.13	3421899
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.08	5000.07	3421992
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000.08	4999.95	3421890
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.08	4999.93	3421878
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.09	4999.95	3422037
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.09	4999.94	3422032
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	5000.09	4999.93	3421802
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.09	5000.03	3421786
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.09	4999.93	3421788
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	5000.09	5000.02	3421922
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.09	4999.93	3421978
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.09	4999.94	3422025
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.09	5000.05	3422028
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.09	4999.94	3421762
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.09	4999.95	3421846
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.09	4999.94	3421997
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.09	4999.93	3421803
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.1	5000.03	3421819
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.1	5000.05	3422038
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.1	5000.04	3422030
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.1	4999.98	3421990
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.1	4999.93	3421896
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.1	4999.95	3421839
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.1	4999.95	3421838
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.1	4999.94	3422033
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	5000.1	5000.05	3421893
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	5000.1	5000.03	3421925
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.1	4999.95	3422040
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.1	5000.04	3422046
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.1	4999.95	3421824
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.1	5000.03	3421820
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	5000.11	5000.03	3421964
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.11	4999.93	3421928
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.11	4999.96	3421753
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.11	5000.14	3422047
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.11	5000.03	3421900
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.11	4999.94	3422044
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.11	4999.93	3421775
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	5000.11	4999.93	3421752
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.11	5000.03	3421816
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.11	4999.93	3421799
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.11	4999.94	3421781
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.11	5000.04	3421780
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.11	5000.45	3421853
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.11	4999.94	3422043
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.11	5000.04	3421998
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.12	5000.12	3421758
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.12	5000.05	3421855
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.12	5000.14	3421836
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.12	5000.04	3421832
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.12	5000.13	3421932
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.12	5000.02	3421751
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.12	4999.94	3421776
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.12	5000.04	3421933
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.12	5000.04	3421812
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.12	5000.14	3421977
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.12	4999.94	3421800
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.12	5000.44	3421975
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.12	5000.14	3421789
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.12	4999.95	3421996
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.12	5000.06	3422042
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.12	4999.94	3421783
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.12	4999.94	3421784
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	5000.12	5000.15	3421873
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	? (TO)	5000.13	5000.16	3421887
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.13	5000.03	3421946
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.13	5000.34	3421952
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.13	5000.06	3422029
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.13	5000.05	3422039
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.13	5000.05	3421845
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	5000.13	5000.03	3421943
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.14	5000.23	3421945
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.14	5000.04	3422024
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.14	5000.04	3421851
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.14	5000.04	3421823
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	? (TO)	5000.14	5000.07	3421876
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.14	4999.94	3421805
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.14	4999.95	3421754
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	? (TO)	5000.14	5000.06	3421882
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.15	5000.16	3421871
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.17	5000.08	3421988

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

Result page for solver CryptoMiniSat Strange-Night2-st (fixed) (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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