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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.012997	0.0128281	3304201
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.030994	0.032229	3304103
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.082986	0.0845021	3304105
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.132979	0.135021	3304185
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.282956	0.283986	3303707
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	0.347946	0.348	3303939
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.545916	0.54576	3304097
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	1.08383	1.08468	3303961
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.11983	1.12096	3303655
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.3018	1.30288	3303963
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.51877	1.51925	3303977
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	2.06069	2.06097	3303955
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	2.51062	2.5134	3304081
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	3.12552	3.12875	3303951
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	3.32949	3.33019	3303657
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	3.53746	3.54031	3303941
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	3.55146	3.95749	3303953
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.59145	3.59482	3303967
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	3.9434	3.94459	3303975
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	4.38633	4.88447	3304219
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	5.59115	5.59763	3303763
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	5.63814	5.6388	3303899
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	6.94294	6.94569	3303959
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	7.30089	7.30252	3304095
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	8.03378	8.03762	3304137
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	9.59854	9.60013	3304189
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	10.1655	10.1666	3303653
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	10.4654	10.4642	3303903
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	12.0482	12.051	3304221
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	12.2601	12.2599	3304223
manol-pipe-c6bidw_i.cnf	UNSAT	12.6651	12.6692	3303695
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	12.7611	12.7621	3303825
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	12.871	12.8718	3303879
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	20.3859	20.3889	3304139
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	21.5667	21.5708	3304207
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	21.7437	21.7482	3303957
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	22.8865	22.8888	3303665
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	22.9105	22.9111	3304079
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	25.6941	25.7088	3303979
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	26.565	26.5706	3303927
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	26.9149	26.9145	3303625
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	29.8475	29.849	3303907
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	31.8632	31.8631	3304075
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	34.6277	34.6289	3303759
manol-pipe-f7nidw.cnf	UNSAT	45.824	45.8271	3303699
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	46.9139	46.9111	3303765
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	54.5257	54.5319	3303965
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	61.3907	61.3978	3303831
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	69.7124	69.7627	3303751
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	79.111	79.1146	3303749
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	79.5889	79.5916	3303641
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	80.1738	80.176	3304109
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	85.482	85.4966	3303755
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	91.831	91.836	3303881
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	99.5369	99.5421	3303983
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	102.934	102.937	3303995
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	105.068	105.072	3303987
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	107.463	107.465	3303997
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	108.831	108.835	3303989
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	114.081	114.085	3303999
manol-pipe-c10nidw.cnf	UNSAT	132.277	132.286	3303691
velev-pipe-o-uns-1.0-7.cnf	UNSAT	164.276	164.308	3303805
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	195.651	195.666	3303973
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	199.133	199.131	3303891
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	205.647	205.649	3303971
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	225.814	225.815	3304175
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	231.413	231.416	3303915
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	UNSAT	258.792	258.793	3303667
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	263.83	263.829	3303669
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	278.161	278.158	3303673
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	309.206	309.205	3303671
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	311.076	311.071	3303873
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	320.24	320.234	3303895
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	347.462	347.466	3303645
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	349.932	349.932	3304021
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	403.269	403.26	3303773
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	404.327	404.322	3303949
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	406.553	406.548	3304187
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	410.857	410.854	3304195
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	446.771	446.768	3303731
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	452.856	452.852	3303921
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	486.148	486.147	3303771
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	564.893	564.884	3304023
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	678.05	678.051	3303913
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	719.008	718.985	3304143
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	730.077	730.068	3303689
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	923.488	923.464	3303871
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	940.782	940.77	3303909
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	971.123	971.112	3304127
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	980.848	980.845	3304211
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	991.48	991.459	3304093
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	1051.47	1051.46	3304115
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	1129.19	1129.17	3304117
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	1167.1	1167.08	3303661
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1240.22	1240.2	3303803
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	1314.48	1314.44	3303843
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	1407.4	1407.35	3304209
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	1567.81	1567.76	3303917
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	1728.61	1728.57	3304125
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	1774.78	1774.78	3304141
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	1839.82	1839.78	3303679
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	UNSAT	1871.4	1871.33	3303943
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	UNSAT	1912.22	1912.18	3303635
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	UNSAT	2052.83	2052.77	3303981
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	2224.83	2224.81	3304177
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	2270.49	2270.43	3303851
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	2318.75	2318.7	3304193
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	UNSAT	2565.14	2565.07	3303769
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	UNSAT	2648.1	2648.06	3304145
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	2753.5	2753.43	3303639
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	UNSAT	2757.35	2757.34	3303709
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	UNSAT	2801.15	2801.06	3304111
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	UNSAT	2843.87	2843.83	3303633
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	UNSAT	3130.6	3130.54	3304179
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	UNSAT	3186.31	3186.23	3304099
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	UNSAT	3240.88	3240.79	3304113
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	3353.51	3353.36	3303787
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	3764.88	3764.8	3303821
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	UNSAT	3798.1	3798.01	3304101
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	UNSAT	4229.32	4229.17	3303937
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	UNSAT	4269.69	4269.57	3304135

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.004998	0.00714197	3304163
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.008997	0.00964799	3304173
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.008998	0.00964701	3304165
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.015997	0.018003	3304197
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.018996	0.019778	3304167
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.024995	0.026158	3304067
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.033994	0.0343231	3304169
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.414936	0.417371	3304181
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.442932	0.443682	3304199
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.673897	0.675225	3303809
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.04584	1.04737	3303817
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	1.06284	1.06313	3303905
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	1.12283	1.12558	3304085
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.54277	1.54325	3303813
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.59076	1.59197	3303767
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	2.13967	6.83635	3303811
velev-pipe-sat-1.0-b9.cnf	SAT	2.56261	2.56837	3303801
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	3.08553	3.08629	3303935
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	3.24451	3.24642	3303923
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	3.49447	3.49551	3303933
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	3.74043	3.7423	3303785
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	4.25335	4.25249	3303827
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	4.33534	4.33538	3304155
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	4.68729	4.69133	3303929
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	4.80627	4.8078	3303815
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	5.15422	6.78248	3303793
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	5.2492	5.36168	3303819
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	6.52301	6.52532	3303681
application/manthey/ traffic/traffic_r_sat.cnf	SAT	6.78697	41.0318	3303993
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	6.87895	6.90563	3303683
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	8.30474	8.30491	3303743
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	9.58254	9.58379	3304065
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	9.63553	9.63653	3304083
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	10.5184	10.5188	3303897
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	10.8873	10.8883	3303737
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	11.2273	11.232	3303823
ibm-2002-21r-k95.cnf	SAT	11.9522	11.9537	3303807
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	14.5918	14.5939	3303687
ibm-2004-01-k90.cnf	SAT	17.7733	17.7743	3303703
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	21.4417	21.4436	3303925
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	23.1145	23.1168	3304107
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	25.5231	25.5565	3303877
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	27.1969	27.1959	3304077
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	28.6176	28.8163	3303841
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	29.1446	29.1464	3304091
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	29.3095	29.3111	3303753
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	30.4234	30.4335	3303893
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	42.5885	42.5889	3303985
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	44.0243	44.0271	3303757
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	49.0415	49.0434	3303889
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	55.5536	55.5563	3303783
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	62.3655	62.3672	3303901
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	63.9893	63.9954	3303781
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	70.4183	70.4212	3303847
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	70.8002	70.8012	3303789
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	76.1184	76.1237	3304147
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	92.7349	92.7936	3303887
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	120.929	120.931	3304089
ibm-2004-23-k100.cnf	SAT	145.014	145.013	3303697
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	170.723	170.724	3303631
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	170.881	170.882	3303747
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	202.105	202.108	3304149
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	245.982	245.981	3303883
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	274.059	274.064	3303991
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	293.975	293.974	3303837
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	298.583	298.612	3303677
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	351.51	351.504	3303761
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	373.118	373.134	3303775
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	385.528	385.521	3303857
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	412.799	412.812	3303685
ibm-2002-30r-k85.cnf	SAT	413.066	413.089	3303701
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	433.678	433.679	3303651
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	468.012	468.003	3303675
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	510.889	510.887	3303835
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	511.454	511.443	3304205
velev-npe-1.0-9dlx-b71.cnf	SAT	531.768	532.036	3303799
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	624.111	624.096	3304171
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	660.154	660.154	3303849
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	803.443	803.427	3303777
mizh-sha0-36-4.cnf	SAT	968.724	968.71	3303693
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	987.965	987.946	3304153
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1051.6	1051.59	3303919
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1122.56	1122.54	3304131
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	1355.19	1355.16	3304157
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1773.46	1773.44	3303629
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	2109.72	2109.68	3303745
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	2125.29	2125.24	3303911
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	2127.38	2127.37	3304001
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	2317.73	2317.66	3303663
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	3308.7	3308.6	3303779
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	3355.37	3355.31	3304027
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	3499.24	3499.16	3304151
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	3794.22	3794.11	3304035
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	SAT	4152.96	4152.89	3304159

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	5000	4999.91	3303867
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	5000	4999.91	3303649
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	5000	5000.11	3303713
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	5000	4999.91	3304031
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000	5000.02	3303875
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	5000.01	4999.91	3304123
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	5000.01	4999.91	3304019
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	5000.01	4999.91	3303715
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	5000.01	4999.91	3303719
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	5000.01	4999.91	3304213
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	5000.01	4999.91	3304025
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	5000.01	4999.91	3303729
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	5000.01	5000.01	3304009
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	5000.01	4999.91	3303855
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	5000.01	4999.91	3304203
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	5000.01	4999.91	3304121
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	5000.01	4999.91	3304071
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	5000.01	4999.91	3304037
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	5000.02	5000.01	3303791
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	5000.02	4999.91	3304029
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	5000.02	4999.91	3303839
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	5000.02	4999.91	3303727
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	5000.02	5000.01	3303863
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	5000.02	4999.91	3304017
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	5000.02	4999.91	3303885
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	5000.02	4999.91	3303735
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	5000.02	4999.91	3303739
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	5000.03	4999.91	3303969
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	5000.03	4999.91	3303643
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	5000.03	4999.91	3303721
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	5000.03	4999.91	3303861
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	5000.03	4999.91	3304011
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	5000.03	4999.91	3304039
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	5000.03	5000.01	3304043
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	5000.03	4999.91	3304059
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	5000.04	5000.01	3303723
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	5000.04	4999.91	3304087
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	5000.04	4999.91	3303869
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	5000.04	4999.91	3304191
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	5000.04	4999.91	3304007
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	5000.04	4999.91	3303637
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	5000.04	4999.91	3304161
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	5000.04	4999.91	3304119
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	5000.04	4999.91	3303725
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	5000.04	4999.91	3304061
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	5000.04	5001.62	3303829
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	5000.05	5000.01	3303711
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	5000.05	4999.91	3303845
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	5000.05	4999.91	3304047
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	5000.05	5000.01	3303853
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	5000.05	4999.91	3304045
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	5000.05	5000.01	3304003
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	5000.06	5000.01	3304069
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	5000.06	4999.91	3304049
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	5000.06	5000.01	3304051
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	5000.06	4999.91	3304057
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	5000.06	5000.11	3303865
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	5000.06	4999.91	3303859
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	5000.07	5000.01	3304033
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	5000.07	5000.01	3303931
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	5000.07	5000.01	3303947
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	5000.07	5000.01	3304005
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	5000.07	5000.21	3303833
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	5000.07	4999.91	3303627
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	5000.07	4999.91	3304055
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	5000.07	4999.91	3303705
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	5000.07	5000.01	3304073
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	5000.07	4999.91	3304133
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	5000.07	4999.91	3304183
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	5000.08	4999.91	3303741
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	5000.08	4999.91	3304013
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	5000.08	5000.01	3304215
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	5000.08	5000.01	3304041
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	5000.09	5000.01	3303717
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	5000.09	5000.02	3303797
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	5000.09	5000.01	3304015
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	5000.09	5000.01	3303659
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5000.09	5000.01	3303647
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	5000.09	5000.11	3304129
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	5000.1	5000.01	3304063
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	5000.1	5000.01	3303795
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	5000.1	4999.91	3303733
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	5000.1	5000.31	3303945
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	5000.1	5000.01	3304053
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	5000.1	5000.01	3304217

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.006998	0.015181	3303585
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.046992	0.0483729	3303454
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.174973	0.175474	3303581
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.231964	0.233177	3303535
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.426934	0.428684	3303462
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	0.703892	0.70422	3303560
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.862868	0.862592	3303562
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	1.12683	1.12703	3303536
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	1.17382	1.17373	3303567
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	1.80372	1.80495	3303439
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	3.19651	3.19822	3303450
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	3.32049	3.32102	3303586
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	11.3513	11.3539	3303595
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	60.8347	60.837	3303485
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	61.0577	61.0587	3303489
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	75.7645	75.7676	3303504
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	77.2313	77.2305	3303583
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	120.858	120.86	3303438
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	131.186	131.185	3303458
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	180.703	180.702	3303534
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	181.446	181.441	3303488
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	197.81	197.808	3303442
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	203.23	203.222	3303490
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	238.859	238.858	3303594
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	268.446	268.443	3303447
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	517.955	517.94	3303479
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	UNSAT	572.824	572.808	3303435
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	623.777	623.765	3303580
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	826.639	826.617	3303579
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	1046.51	1046.48	3303332
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	1112.25	1112.27	3303498
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	1129.41	1129.37	3303492
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	1266.18	1266.16	3303493
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	1349.9	1349.87	3303456
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	2057.36	2057.34	3303574
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	2096.99	2096.95	3303568
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	2133.3	2133.28	3303513
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	2233.22	2233.29	3303533
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	UNSAT	3061.89	3061.83	3303331
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	UNSAT	3812.57	3812.45	3303483
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	4121.23	4121.09	3303528
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	UNSAT	4795.29	4795.2	3303482

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.007998	0.00833605	3303407
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.009997	0.0114351	3303427
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.009998	0.0150811	3303584
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.010997	0.0116889	3303421
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.010997	0.0114969	3303422
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.021996	0.0222921	3303429
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.034994	0.0349259	3303432
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.038993	0.04436	3303578
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.039993	0.0395121	3303334
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	0.053991	0.05399	3303460
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.05899	0.0609031	3303582
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.103983	0.104187	3303408
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	0.12798	0.131186	3303449
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.165974	0.167085	3303431
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.19597	0.195789	3303404
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.245962	0.245178	3303417
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.246961	0.248251	3303415
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.249961	0.250632	3303330
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.371943	0.373438	3303410
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.526919	0.527565	3303425
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.594908	0.597515	3303406
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.795878	0.798395	3303572
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	1.15882	1.16001	3303544
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	1.36379	1.36521	3303455
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	2.48362	2.48498	3303436
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	5.12722	5.12704	3303398
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	6.66499	6.68644	3303542
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	6.95694	6.9572	3303433
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	13.9739	13.9755	3303543
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	20.5249	20.5296	3303607
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	20.7168	20.7178	3303328
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	22.4436	22.4449	3303434
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	23.6164	23.6176	3303420
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	26.7999	26.8021	3303600
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	41.0098	41.014	3303441
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	43.3294	43.3313	3303344
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	45.2731	45.2732	3303465
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	62.5865	62.5874	3303466
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	64.5702	64.5733	3303556
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	119.222	119.221	3303549
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	121.292	121.293	3303340
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	150.414	150.429	3303459
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	156.264	156.267	3303604
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	163.855	163.852	3303448
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	171.741	171.737	3303480
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	190.931	190.928	3303325
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	199.806	199.805	3303381
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	217.897	217.898	3303401
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	223.555	223.55	3303476
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	235.934	235.94	3303443
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	363.328	363.321	3303484
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	514.556	514.548	3303558
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	592.971	592.967	3303618
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	SAT	717.677	717.659	3303481
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	SAT	720.309	720.304	3303440
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	731.741	731.785	3303494
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	899.892	899.867	3303491
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	973.963	973.925	3303495
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	1017.34	1017.32	3303337
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	1027.94	1027.93	3303363
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	1228.44	1228.41	3303375
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	1241.76	1241.76	3303596
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	1243.89	1243.94	3303608
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	1275.86	1275.83	3303339
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	1416.94	1416.92	3303382
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	SAT	1591.84	1591.81	3303348
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	1651.44	1651.41	3303351
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	SAT	1868.42	1868.37	3303555
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	1923	1922.93	3303553
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	1939.5	1939.49	3303468
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	2248.58	2248.56	3303614
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	SAT	2273.21	2273.15	3303343
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	2395.21	2395.2	3303557
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	2542.63	2542.64	3303559
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	SAT	2605.9	2605.81	3303366
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	3146.33	3146.41	3303537
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	3465.43	3465.36	3303383
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	3569.42	3569.36	3303554
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	4115.11	4115.02	3303445
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	4229.08	4228.96	3303338
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	4524.79	4524.71	3303609
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	4660.36	4660.25	3303384
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	4684.53	4684.43	3303414

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000	4999.91	3303412
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000	4999.91	3303444
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000	4999.92	3303463
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000	4999.92	3303461
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000	4999.91	3303376
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	5000	4999.91	3303387
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000	4999.91	3303593
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000	4999.91	3303605
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.01	4999.92	3303428
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	5000.01	4999.93	3303589
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.01	4999.91	3303409
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.01	4999.91	3303393
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.01	4999.92	3303392
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.01	4999.91	3303379
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.01	4999.81	3303361
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.01	4999.91	3303350
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.01	4999.91	3303347
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.01	4999.91	3303342
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.01	4999.91	3303335
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.01	4999.92	3303507
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.01	4999.91	3303327
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.02	4999.92	3303622
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.02	4999.93	3303474
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.02	5000.23	3303512
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	5000.02	4999.92	3303573
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	? (TO)	5000.02	4999.91	3303452
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.02	4999.91	3303385
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	5000.02	4999.91	3303329
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.02	4999.91	3303437
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.02	5000.02	3303621
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.02	4999.91	3303399
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.02	4999.92	3303587
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.02	4999.91	3303386
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.02	5000.03	3303547
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.02	4999.92	3303590
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	5000.02	4999.93	3303545
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.02	4999.81	3303336
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.02	4999.92	3303527
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.02	5000.02	3303526
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.02	4999.91	3303354
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.03	5000.03	3303517
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.03	4999.81	3303324
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.03	4999.92	3303486
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.03	4999.82	3303524
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.03	4999.91	3303357
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.03	4999.91	3303356
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.03	4999.91	3303355
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	5000.03	4999.92	3303577
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.03	4999.91	3303403
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.03	4999.91	3303341
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.03	4999.93	3303565
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.03	4999.81	3303451
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.03	5000.02	3303430
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.03	4999.83	3303477
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.03	4999.91	3303423
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.03	4999.91	3303418
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.04	4999.93	3303503
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.04	5000.03	3303566
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	5000.04	4999.93	3303539
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.04	5000.03	3303519
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.04	4999.93	3303619
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.04	4999.92	3303615
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.04	4999.92	3303616
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.04	5000.33	3303611
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.04	4999.92	3303602
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.04	4999.92	3303502
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.04	4999.83	3303500
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.04	4999.92	3303499
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.04	4999.82	3303478
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.04	4999.91	3303352
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.04	4999.91	3303360
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.04	4999.91	3303405
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.04	4999.91	3303411
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.04	4999.91	3303416
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.04	4999.91	3303453
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	? (TO)	5000.04	4999.92	3303467
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.05	5000.01	3303378
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.05	4999.91	3303400
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	5000.05	4999.91	3303446
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.05	5000.02	3303514
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.05	4999.91	3303426
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.05	4999.92	3303531
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.05	5000.01	3303372
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.05	4999.92	3303472
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.05	4999.91	3303390
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	5000.05	4999.92	3303487
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.05	4999.92	3303470
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	5000.05	4999.93	3303530
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.05	4999.91	3303359
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.05	4999.91	3303389
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.05	4999.91	3303358
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.05	5000.01	3303365
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.06	4999.93	3303538
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.06	5000.33	3303606
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.06	4999.92	3303475
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.06	4999.91	3303397
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.06	5000.01	3303380
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.06	4999.92	3303501
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	5000.06	5000.03	3303599
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	5000.06	5000.12	3303510
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	? (TO)	5000.06	4999.93	3303464
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.06	5000.12	3303541
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.06	4999.91	3303457
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.06	4999.91	3303353
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.06	4999.91	3303402
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.06	4999.92	3303473
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.06	5000.01	3303362
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.06	5000.01	3303364
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.06	4999.92	3303506
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.06	4999.92	3303505
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.06	5000.01	3303370
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	5000.07	5000.01	3303388
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.07	4999.92	3303552
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.07	5000.03	3303540
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.07	5000.01	3303391
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.07	4999.93	3303522
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.07	5000.03	3303518
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.07	4999.92	3303623
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.07	4999.92	3303497
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.07	5000.03	3303617
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.08	5000.01	3303346
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.08	5000.33	3303569
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.08	5000.03	3303496
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.08	5000.02	3303610
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.08	5000.02	3303612
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.08	4999.91	3303326
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.08	5000.02	3303515
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.08	5000.03	3303520
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.08	5000.12	3303469
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.08	5000.01	3303367
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.08	5000.01	3303368
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.08	4999.91	3303371
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.08	5000.01	3303373
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	5000.08	5000.01	3303374
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.08	5000.03	3303532
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.08	4999.91	3303395
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.08	5000.3	3303424
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.08	4999.92	3303551
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.08	4999.93	3303561
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.08	4999.92	3303563
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.08	5000.12	3303603
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	5000.08	5000.03	3303575
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.09	5000.03	3303598
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.09	5000.01	3303345
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.09	5000.13	3303570
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.09	5000.33	3303546
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.09	5000.02	3303601
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	5000.09	4999.93	3303529
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.09	5000.02	3303413
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.09	4999.93	3303564
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.09	5000.01	3303333
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.09	5000.12	3303523
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.09	4999.92	3303471
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	5000.1	5000.01	3303369
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.1	5000.03	3303521
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.1	5000.01	3303349
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.1	4999.93	3303548
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.1	5000.02	3303419
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.1	5000.03	3303550
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.1	5000.13	3303588
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.1	5000.03	3303509
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	5000.1	5000.03	3303576
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.1	5000.02	3303620
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.1	5000.02	3303597
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.1	5000.03	3303591
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.1	5000.02	3303525
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.1	5000.01	3303377
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.11	5000.03	3303571
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.11	5000.03	3303592
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.11	5000.03	3303511
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.11	5000.02	3303613
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	5000.12	5000.03	3303516
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.12	4999.95	3303396
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.12	4999.95	3303394
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.12	5000.03	3303508

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

Result page for solver glucose 2 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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