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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.176972	0.177647	3287808
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.886864	0.970175	3280770
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	3.54346	3.54602	3291074
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	4.13037	4.13126	3291120
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	5.06323	5.06755	3280816
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	691.621	691.61	3293788
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	1015.68	1015.72	3293834

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.001998	0.00607005	3292454
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.001999	0.00631193	3292684
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.002999	0.00610999	3292500
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.010998	0.013879	3292546
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	2.87256	2.87536	3292868
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	3.79242	3.79547	3283944
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	5.71713	5.71825	3283852
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	10.3054	10.3057	3290246
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	16.6085	16.6113	3291718
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	27.1839	27.1834	3286980
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	217.305	217.301	3292270
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	SAT	257.169	257.163	3291764
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	289.17	289.165	3292316
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	753.361	753.345	3292224
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	952.97	952.946	3290614

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	?	0	0.00620204	3285048
velev-npe-1.0-9dlx-b71.cnf	?	0	0.00663494	3284082
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0	0.00636593	3281368
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	?	0	0.00627706	3281414
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	?	0	0.00661405	3285876
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	?	0	0.00656394	3285738
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	?	0	0.00641099	3285186
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	?	0.000999	0.00633409	3286106
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0.000999	0.0064289	3283024

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1299.43	1300.01	3284220
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1299.58	1300.02	3280356
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1299.83	1300.03	3285692
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	? (TO)	1299.94	1300.01	3290568
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1299.95	1300.01	3280586
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1299.95	1300.01	3282472
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1299.95	1300.02	3280264
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	? (TO)	1299.96	1300.01	3291212
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1299.96	1300.03	3293604
application/fuhs/ AProVE11/AProVE11-11.cnf	? (TO)	1299.96	1300.01	3284680
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1299.96	1300.02	3280632
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1299.96	1300.01	3282150
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1299.97	1300.01	3289326
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	? (TO)	1299.97	1300.01	3293466
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1299.97	1300.01	3285646
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	? (TO)	1299.97	1300.01	3286520
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1299.97	1300.01	3291810
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1299.97	1300.01	3289418
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	? (TO)	1299.98	1300.01	3293282
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1299.98	1300.01	3283898
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	? (TO)	1299.98	1300.01	3287026
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1299.98	1300.01	3285140
mizh-sha0-36-4.cnf	? (TO)	1299.98	1300.01	3281644
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1299.98	1300.01	3286658
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	? (TO)	1299.98	1300.01	3281506
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	? (TO)	1299.99	1300.01	3292592
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1299.99	1300.01	3292362
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	? (TO)	1299.99	1300.01	3290522
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	? (TO)	1299.99	1300.01	3280724
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1299.99	1300.01	3289924
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300	1300.01	3282840
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300	1300.01	3281230
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300	1300.01	3280310
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300	1300.01	3282012
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300	1300.01	3287992
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300	1300.01	3280862
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	? (TO)	1300	1300.02	3286796
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	? (TO)	1300	1300.03	3286244
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300	1300.02	3291626
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	? (TO)	1300	1300.02	3283254
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300	1300.03	3285462
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.01	1300.01	3290016
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.01	1300.01	3287256
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1300.01	1300.01	3284174
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.01	1300.01	3280954
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.02	1300.01	3291350
application/fuhs/ AProVE11/AProVE11-15.cnf	? (TO)	1300.02	1300.01	3284358
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.02	1300.01	3280494
application/manthey/ traffic/traffic_r_sat.cnf	? (TO)	1300.02	1300.03	3288544
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1300.02	1300.02	3283116
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.02	1300.01	3280540
application/manthey/traffic/ traffic_3b_unknown.cnf	? (TO)	1300.02	1300.01	3288682
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	? (TO)	1300.02	1300.02	3290752
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.03	1300.01	3288774
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	? (TO)	1300.03	1300.03	3286474
application/fuhs/ AProVE11/AProVE11-02.cnf	? (TO)	1300.03	1300.01	3284726
industrial/fuhs/medium/ AProVE07-21.cnf	? (TO)	1300.03	1300.01	3280448
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.03	1300.01	3286704
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.03	1300.01	3289280
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.03	1300.01	3289878
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.03	1300.01	3289832
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.03	1300.01	3282748
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	? (TO)	1300.03	1300.02	3286198
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	? (TO)	1300.03	1300.01	3286750
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.03	1300.01	3286612
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	? (TO)	1300.03	1300.01	3287210
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.03	1300.02	3280126
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	? (TO)	1300.03	1300.01	3286290
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1300.03	1300.02	3280172
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	? (TO)	1300.03	1300.08	3280080
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	? (TO)	1300.03	1300.02	3286888
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1300.03	1300.02	3286842
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	? (TO)	1300.03	1300.01	3286382
application/manthey/traffic/ traffic_b_unsat.cnf	? (TO)	1300.03	1300.01	3288636
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	? (TO)	1300.04	1300.01	3287578
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.04	1300.02	3280678
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	? (TO)	1300.04	1300.01	3293006
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.04	1300.02	3280402
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.04	1300.01	3291304
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.04	1300.01	3291258
application/manthey/traffic/ traffic_pcb_unknown.cnf	? (TO)	1300.04	1300.01	3288590
manol-pipe-c6bidw_i.cnf	? (TO)	1300.04	1300.01	3281690
application/manthey/traffic/ traffic_f_unknown.cnf	? (TO)	1300.04	1300.01	3288452
application/manthey/traffic/ traffic_kkb_unknown.cnf	? (TO)	1300.04	1300.01	3288406
application/manthey/traffic/ traffic_fb_unknown.cnf	? (TO)	1300.04	1300.01	3288314
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290200
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.04	1300.02	3280218
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.04	1300.01	3283990
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.04	1300.01	3292914
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.04	1300.01	3283806
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.04	1300.01	3284036
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.04	1300.01	3292822
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1300.04	1300.01	3281276
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.04	1300.01	3292178
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	? (TO)	1300.04	1300.01	3290890
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.04	1300.01	3292776
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	? (TO)	1300.04	1300.01	3290476
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	? (TO)	1300.04	1300.01	3290430
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290384
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.04	1300.01	3289786
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.04	1300.01	3289740
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.04	1300.01	3289694
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.04	1300.01	3289602
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.04	1300.01	3281092
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.04	1300.01	3289464
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.04	1300.01	3289372
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	? (TO)	1300.04	1300.01	3289234
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.04	1300.01	3282334
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.04	1300.01	3289004
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1300.04	1300.01	3282656
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.04	1300.01	3288912
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	? (TO)	1300.04	1300.01	3288130
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.04	1300.01	3282564
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	? (TO)	1300.04	1300.01	3287900
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1300.04	1300.01	3283300
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	? (TO)	1300.04	1300.01	3287670
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	? (TO)	1300.04	1300.01	3287624
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.04	1300.01	3287532
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.04	1300.01	3287486
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.04	1300.01	3287440
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.04	1300.01	3287394
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	? (TO)	1300.04	1300.01	3287348
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.04	1300.01	3287302
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	? (TO)	1300.04	1300.01	3281966
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.04	1300.01	3291534
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	? (TO)	1300.05	1300.02	3284956
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.05	1300.03	3291028
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.05	1300.01	3288820
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.05	1300.01	3288728
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	? (TO)	1300.05	1300.01	3293236
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	? (TO)	1300.05	1300.01	3293190
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.05	1300.01	3293144
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.05	1300.01	3293098
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	? (TO)	1300.05	1300.01	3293052
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	? (TO)	1300.05	1300.01	3292960
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.05	1300.01	3292730
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.05	1300.01	3292408
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	? (TO)	1300.05	1300.01	3291902
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	? (TO)	1300.05	1300.01	3291856
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	? (TO)	1300.05	1300.01	3293420
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	1300.05	1300.01	3293374
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	? (TO)	1300.05	1300.01	3293328
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.05	1300.01	3291672
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.05	1300.01	3291488
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.05	1300.01	3291442
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.05	1300.01	3291396
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290108
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290062
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.05	1300.01	3289970
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1300.05	1300.01	3290844
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	? (TO)	1300.05	1300.01	3290798
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.05	1300.01	3290706
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	? (TO)	1300.05	1300.01	3290660
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.05	1300.01	3289648
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.05	1300.01	3289556
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.05	1300.01	3289188
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.05	1300.01	3289142
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.01	3289096
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.05	1300.01	3289050
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.05	1300.01	3288958
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	? (TO)	1300.05	1300.01	3288176
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.05	1300.01	3288084
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	? (TO)	1300.05	1300.01	3288038
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	? (TO)	1300.05	1300.01	3287946
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	? (TO)	1300.05	1300.01	3287854
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	? (TO)	1300.05	1300.01	3287716
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	? (TO)	1300.05	1300.01	3287164
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.05	1300.01	3287118
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	? (TO)	1300.05	1300.01	3287072
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	? (TO)	1300.05	1300.01	3286934
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285002
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3284864
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3284772
application/fuhs/ AProVE11/AProVE11-07.cnf	? (TO)	1300.05	1300.01	3284450
application/fuhs/ AProVE11/AProVE11-16.cnf	? (TO)	1300.05	1300.01	3284404
application/fuhs/ AProVE11/AProVE11-12.cnf	? (TO)	1300.05	1300.01	3284312
application/manthey/traffic/ traffic_3_uc_sat.cnf	? (TO)	1300.05	1300.02	3288498
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	? (TO)	1300.05	1300.01	3288222
ibm-2002-21r-k95.cnf	? (TO)	1300.05	1300.01	3284266
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	? (TO)	1300.05	1300.03	3286428
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285968
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.05	1300.01	3285600
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.05	1300.01	3285554
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.05	1300.01	3285370
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1300.05	1300.02	3283530
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1300.05	1300.01	3283484
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.05	1300.02	3283438
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.05	1300.02	3283392
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	? (TO)	1300.05	1300.01	3283346
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.05	1300.01	3280908
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.05	1300.01	3281138
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.05	1300.01	3281184
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1300.05	1300.01	3281460
manol-pipe-c10nidw.cnf	? (TO)	1300.05	1300.02	3281598
ibm-2002-30r-k85.cnf	? (TO)	1300.05	1300.01	3281828
ibm-2004-01-k90.cnf	? (TO)	1300.05	1300.01	3281874
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.05	1300.01	3281920
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.05	1300.01	3282058
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.05	1300.01	3282196
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.05	1300.01	3282288
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.05	1300.01	3282380
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1300.05	1300.01	3282886
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1300.05	1300.01	3282932
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1300.05	1300.01	3282978
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	? (TO)	1300.05	1300.01	3283162
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1300.05	1300.01	3283208
ibm-2004-23-k100.cnf	? (TO)	1300.06	1300.02	3281736
manol-pipe-f7nidw.cnf	? (TO)	1300.06	1300.02	3281782
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1300.06	1300.01	3282794
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285784
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1300.06	1300.05	3293558
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	? (TO)	1300.06	1300.04	3286566
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	? (TO)	1300.06	1300.01	3291166
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	? (TO)	1300.06	1300.01	3290936
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	? (TO)	1300.06	1300.01	3287762
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1300.06	1300.03	3283070
application/fuhs/ AProVE11/AProVE11-09.cnf	? (TO)	1300.06	1300.01	3284496
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.06	1300.02	3283576
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.06	1300.01	3288866
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1300.06	1300.01	3281000
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285324
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285278
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.06	1300.01	3281046
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.06	1300.01	3289510
application/fuhs/ AProVE11/AProVE11-10.cnf	? (TO)	1300.06	1300.02	3284542
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.06	1300.02	3284588
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.06	1300.01	3288268
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	? (TO)	1300.06	1300.01	3283668
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285922
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.06	1300.04	3293696
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	? (TO)	1300.06	1300.01	3286152
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.06	1300.03	3281552
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	? (TO)	1300.06	1300.01	3283714
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	? (TO)	1300.06	1300.02	3283760
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290292
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.07	1300.03	3291994
application/fuhs/ AProVE11/AProVE11-13.cnf	? (TO)	1300.07	1300.02	3284634
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.07	1300.04	3284910
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.07	1300.01	3282518
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.07	1300.04	3293650
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.07	1300.01	3282610
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.07	1300.01	3290338
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	? (TO)	1300.07	1300.04	3292086
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	? (TO)	1300.07	1300.03	3292132
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.07	1300.01	3282702
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.07	1300.01	3290154
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.07	1300.03	3291580
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.07	1300.01	3282104
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.07	1300.03	3290982
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.07	1300.03	3285416
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.07	1300.01	3282242
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.07	1300.02	3283622
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.07	1300.01	3282426
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.07	1300.03	3286014
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	? (TO)	1300.07	1300.04	3286336
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.08	1300.06	3293512
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	? (TO)	1300.08	1300.06	3284818
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.08	1300.04	3285232
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1300.08	1300.04	3292638
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	? (TO)	1300.08	1300.05	3293742
application/manthey/traffic/ traffic_r_uc_sat.cnf	? (TO)	1300.08	1300.05	3288360
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.08	1300.04	3281322
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.08	1300.04	3286060
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.09	1300.07	3292040
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.09	1300.05	3291948
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.09	1300.06	3285094
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.09	1300.06	3285508
velev-pipe-sat-1.0-b9.cnf	? (TO)	1300.1	1300.06	3284128
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.1	1300.06	3285830

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.000999	0.00628905	3261619
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.001999	0.00597093	3261003
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.002999	0.0073489	3259903
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.003999	0.00626103	3261575
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.004998	0.00639602	3260255
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.004998	0.005993	3261135
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.004998	0.00624106	3261751
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.005998	0.010573	3260343
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.005999	0.00626103	3260211
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.007998	0.0145149	3260387
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.008997	0.010294	3261399
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.009998	0.0110559	3260475
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	0.013997	0.013915	3260871
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	0.013997	0.0168261	3261267
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	0.017997	0.0183809	3264303
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	0.024995	0.024729	3261443
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	0.025996	0.0273679	3261663
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	0.028995	0.030464	3260915
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.037993	0.0442829	3257659
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	0.040992	0.0440041	3261531
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	0.041992	0.0415909	3264259
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	SAT	0.049991	0.0494191	3266283
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	0.05499	0.054787	3274031
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.054991	0.055495	3260431
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	0.066989	0.069949	3266327
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.076988	0.079628	3260035
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.081986	0.0837791	3259859
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.084986	0.09004	3260167
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.085986	0.0867921	3260079
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.086986	0.0874809	3260123
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.109982	0.111432	3266107
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.116981	0.118514	3259947
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	SAT	0.137978	0.139542	3266371
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	0.219966	0.225153	3274172
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	0.245962	0.246622	3261047
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.251961	0.256199	3260299
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.268958	0.26956	3249209
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.314951	0.315873	3259991
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	SAT	0.316951	0.31912	3266239
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	0.342947	0.344086	3257791
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.427934	0.428892	3266019
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	0.431934	0.431729	3273514
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	0.464928	0.466517	3266767
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.477926	0.478966	3264347
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	0.756884	0.757554	3273561
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	1.3258	1.32661	3265579
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	1.3308	1.33058	3273373
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	1.44378	1.44918	3266899
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	2.04769	2.04824	3261795
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	2.76158	2.76361	3265843
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	2.88356	2.88422	3266679
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	3.2965	3.29724	3266723
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	SAT	3.66244	3.6628	3273890
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	3.9384	3.93921	3259419
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	4.02639	4.02669	3266943
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	SAT	5.60615	5.60714	3274078
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	SAT	5.76412	5.76788	3273749
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	6.52001	6.51968	3257923
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	SAT	7.69183	7.69138	3259507
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	7.69283	7.69507	3259463
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	SAT	11.0643	11.0649	3259331
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	11.3953	11.3968	3266811
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	SAT	11.6212	11.6208	3259243
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	11.6822	11.6877	3263687
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	13.5089	13.5094	3258407
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	16.4085	16.4106	3261707
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	SAT	16.6455	16.6458	3274125
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	SAT	18.7541	18.7539	3259023
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	19.487	19.4877	3258935
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	SAT	21.1338	21.1366	3262675
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	21.5667	21.5682	3259815
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	24.2683	24.2686	3264039
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	29.7335	29.7337	3266855
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	34.2638	34.2696	3250925
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	34.3198	34.3197	3257395
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	SAT	35.7156	35.7152	3250309
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	SAT	37.3723	37.3725	3259199
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	38.8721	38.8726	3258099
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	42.8925	42.9045	3266635
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	56.5514	56.5502	3261883
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	SAT	77.0953	77.0956	3258583
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	83.0064	83.0055	3262323
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	92.7119	92.7131	3262059
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	SAT	118.001	117.998	3262719
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	147.318	147.316	3257879
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	SAT	162.891	162.889	3259067
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	257.737	257.731	3257835
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	SAT	262.171	262.166	3251585
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	268.551	268.551	3257263
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	330.283	330.268	3262147
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	SAT	344.398	344.388	3251057
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	SAT	404.165	404.168	3251629
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	458.407	458.398	3264127
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	SAT	535.18	535.169	3258847
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	547.006	546.988	3262499
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	SAT	552.384	552.374	3258055
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	SAT	572.625	572.613	3251453
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	620.572	620.554	3257483
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	SAT	738.961	738.94	3258231
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	SAT	758.086	758.103	3251497
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	SAT	761.901	761.886	3250397
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	SAT	779.665	779.649	3264083
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	SAT	861.072	861.052	3251145
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	SAT	884.132	884.106	3273420
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	1260.6	1260.58	3262455

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1299.94	1300.01	3258363
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1299.95	1300.01	3263511
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1299.96	1300.01	3258539
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	? (TO)	1299.96	1300.01	3263951
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1299.97	1300.01	3258759
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1299.97	1300.01	3263775
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	? (TO)	1299.98	1300.01	3260563
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1299.98	1300.01	3249825
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1299.99	1300.01	3250661
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1299.99	1300.01	3264171
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	? (TO)	1299.99	1300.01	3261487
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1299.99	1300.01	3249385
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1299.99	1300.01	3251101
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1299.99	1300.01	3262939
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300	1300.01	3257439
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	1300	1300.01	3261311
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1300	1300.01	3259771
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300	1300.01	3266459
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300	1300.01	3273467
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	? (TO)	1300	1300.01	3264567
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300	1300.01	3258495
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300	1300.01	3250441
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.01	1300.01	3257615
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.01	1300.01	3251277
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300.02	1300.01	3262543
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.02	1300.01	3251541
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.02	1300.01	3273984
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.02	1300.01	3274219
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.02	1300.01	3264699
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300.02	1300.01	3249121
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	? (TO)	1300.02	1300.01	3262235
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.02	1300.01	3250837
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	? (TO)	1300.02	1300.01	3263907
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1300.03	1300.01	3259111
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.03	1300.01	3259155
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	? (TO)	1300.03	1300.01	3266195
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.03	1300.01	3250617
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	1300.03	1300.01	3265931
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	1300.03	1300.01	3265887
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.03	1300.01	3249165
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.03	1300.01	3265711
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300.03	1300.01	3258671
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.03	1300.01	3265535
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.03	1300.01	3263159
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.03	1300.01	3263731
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	? (TO)	1300.03	1300.01	3262103
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	? (TO)	1300.03	1300.01	3260519
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.03	1300.01	3258979
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.03	1300.01	3264435
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.03	1300.01	3262895
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.03	1300.01	3257703
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.03	1300.01	3250573
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.03	1300.01	3263819
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.03	1300.01	3249781
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	? (TO)	1300.03	1300.01	3263995
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.03	1300.01	3259287
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.03	1300.01	3265271
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.04	1300.01	3258891
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.04	1300.01	3251673
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.04	1300.01	3251409
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.04	1300.01	3251189
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.04	1300.01	3250969
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	? (TO)	1300.04	1300.01	3266151
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.04	1300.01	3264391
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.04	1300.01	3264215
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	? (TO)	1300.04	1300.01	3262631
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	? (TO)	1300.04	1300.01	3265975
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.04	1300.01	3265799
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300.04	1300.01	3265755
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1300.04	1300.01	3265667
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.04	1300.01	3265623
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.04	1300.02	3265491
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.04	1300.01	3265447
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.04	1300.01	3265403
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	? (TO)	1300.04	1300.01	3265359
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.04	1300.01	3265315
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.04	1300.01	3265227
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.04	1300.01	3265183
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.04	1300.01	3264963
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	1300.04	1300.01	3264875
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.04	1300.01	3262015
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.04	1300.01	3261971
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.04	1300.01	3261927
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300.04	1300.01	3250353
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.04	1300.01	3250265
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.04	1300.01	3250221
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.04	1300.01	3250177
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.04	1300.01	3250089
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	? (TO)	1300.04	1300.01	3266063
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.04	1300.01	3263863
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.04	1300.01	3263643
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300.04	1300.01	3263599
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.04	1300.01	3263203
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.04	1300.01	3263071
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.04	1300.01	3262851
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.04	1300.01	3262807
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.04	1300.01	3262763
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.04	1300.01	3250001
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	? (TO)	1300.04	1300.01	3261223
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.04	1300.01	3261179
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.04	1300.01	3249957
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	? (TO)	1300.04	1300.01	3261091
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.04	1300.01	3249913
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	? (TO)	1300.04	1300.01	3260695
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	? (TO)	1300.04	1300.01	3260651
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	? (TO)	1300.04	1300.01	3260607
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.04	1300.01	3249737
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.04	1300.01	3249517
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.04	1300.01	3249473
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.04	1300.01	3249429
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.04	1300.01	3263555
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.04	1300.01	3263467
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.04	1300.01	3263423
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.04	1300.01	3263379
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.04	1300.01	3263335
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.04	1300.01	3263291
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.04	1300.01	3263247
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	1300.04	1300.01	3261839
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.04	1300.01	3273702
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.04	1300.01	3273608
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1300.04	1300.01	3259727
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300.04	1300.01	3259683
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.04	1300.01	3259639
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.04	1300.01	3259595
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.04	1300.01	3259551
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.04	1300.01	3259375
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300.04	1300.01	3258803
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.04	1300.01	3258715
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.04	1300.01	3258627
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.04	1300.01	3258451
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.04	1300.01	3258319
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.04	1300.01	3258187
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.04	1300.01	3258011
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.04	1300.01	3257967
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.04	1300.01	3257747
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.04	1300.01	3257527
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.04	1300.01	3257219
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.04	1300.01	3257307
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	? (TO)	1300.05	1300.01	3265051
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	? (TO)	1300.05	1300.01	3266547
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.05	1300.01	3264523
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.05	1300.01	3257351
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.05	1300.01	3250529
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.05	1300.01	3264479
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.05	1300.01	3264831
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.05	1300.01	3264919
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.05	1300.01	3249253
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.05	1300.01	3264611
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	? (TO)	1300.05	1300.01	3266591
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.05	1300.01	3264655
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.05	1300.01	3258275
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.05	1300.01	3264787
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.05	1300.01	3258143
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.05	1300.01	3250749
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300.05	1300.01	3249297
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.05	1300.01	3263115
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1300.05	1300.01	3257571
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.05	1300.01	3263027
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1300.05	1300.01	3262983
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.05	1300.01	3249341
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1300.05	1300.01	3262367
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.05	1300.01	3250705
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.05	1300.01	3250793
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.05	1300.01	3273843
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.05	1300.01	3273796
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.05	1300.01	3262587
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.05	1300.01	3264743
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.05	1300.01	3273655
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1300.05	1300.01	3251365
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.05	1300.01	3266415
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	1300.05	1300.01	3260959
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.05	1300.01	3266503
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.05	1300.01	3251013
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300.05	1300.01	3273937
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	? (TO)	1300.06	1300.01	3260783
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	? (TO)	1300.06	1300.01	3265139
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.06	1300.01	3250881
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	? (TO)	1300.06	1300.01	3261355
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.06	1300.01	3250045
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.06	1300.01	3250485
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.06	1300.02	3251233
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.06	1300.01	3251321
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.06	1300.01	3262411
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	? (TO)	1300.06	1300.01	3260827
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300.06	1300.01	3265095
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.06	1300.01	3265007
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.06	1300.01	3249693
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.07	1300.01	3249561
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.07	1300.01	3249605
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.07	1300.01	3249649
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.07	1300.01	3249869
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	? (TO)	1300.07	1300.01	3260739
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	? (TO)	1300.07	1300.01	3262279
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	? (TO)	1300.07	1300.01	3262191
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.07	1300.01	3250133

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.006998	0.00653689	3169385
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.009997	0.009395	3169294
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.010997	0.0106489	3169393
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.015996	0.0166339	3169126
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.017997	0.0199201	3169431
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.018996	0.019326	3169301
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.019996	0.0203271	3169164
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.019996	0.0227881	3169235
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.020995	0.020993	3169241
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.020996	0.0232201	3169382
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.020996	0.0231139	3169356
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.021995	0.0231759	3169124
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.023996	0.025488	3169377
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.023996	0.0271859	3169178
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.024996	0.026353	3169366
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.024996	0.0259121	3169462
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.024996	0.0275961	3169451
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.028995	0.029319	3169392
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.030994	0.03107	3169424
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.032994	0.034155	3169381
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.035993	0.0366291	3169419
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.035993	0.0361701	3169363
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.035994	0.0390509	3169191
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.043992	0.044443	3169417
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.043992	0.044126	3169115
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.045993	0.048241	3169161
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.053991	0.0550961	3169255
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.053991	0.054042	3169311
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.05599	0.0563679	3169474
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.056991	0.05818	3169345
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.05799	0.0581519	3169347
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.057991	0.0600639	3169251
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.075988	0.075931	3169285
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.080987	0.0813509	3169141
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.082987	0.0845009	3169145
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.088985	0.0893551	3169465
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.088986	0.0894151	3169193
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.089986	0.091158	3169130
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.089986	0.0929449	3169187
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.095985	0.0984829	3169370
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.097985	0.100631	3169358
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.100983	0.102192	3169467
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.131979	0.131709	3169184
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.132978	0.132785	3169452
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.146977	0.15046	3169308
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.160974	0.161523	3169133
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.170974	0.171292	3169169
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.176972	0.176594	3169425
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.182971	0.183029	3169408
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	0.18797	0.192331	3169097
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.205968	0.206903	3169439
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.206967	0.208708	3169165
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.226964	0.227345	3169023
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.234964	0.235925	3169355
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.235964	0.240109	3169324
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.247961	0.247626	3169093
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.26096	0.261491	3169221
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.263959	0.26851	3169236
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.270957	0.270889	3169233
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.277956	0.278916	3169202
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.301954	0.302654	3169400
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.32695	0.328854	3169171
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.331948	0.335358	3169440
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.348946	0.349184	3169262
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.358945	0.359369	3169134
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.360944	0.360953	3169105
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	0.375942	0.377499	3169247
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.382941	0.382669	3169125
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.431934	0.435035	3169263
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.439933	0.441951	3169204
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.476927	0.477186	3169170
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.478927	0.480911	3169284
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.498924	0.502995	3169313
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.505923	0.50881	3169208
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.531919	0.532869	3169401
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.570912	0.573272	3169137
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.574912	0.581307	3169397
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.592909	0.597475	3169448
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.604908	0.611231	3169197
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.634902	0.635299	3169384
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.636903	0.63708	3169326
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.696893	0.69895	3169418
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.709892	0.71216	3169320
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.71189	0.712062	3169303
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.71889	0.71881	3169183
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.774881	0.779489	3169302
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.774881	0.775027	3169464
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.78288	0.785215	3169460
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.832872	0.83546	3169388
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.836871	0.839866	3169315
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	0.886864	0.88884	3169230
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	0.907861	0.912549	3169110
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.908861	0.909344	3169483
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.956854	0.957266	3169146
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.958854	0.964281	3169259
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	1.00485	1.00611	3169269
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	1.13283	1.13461	3169466
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	1.14982	1.14932	3169298
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	1.21281	1.21282	3169088
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1.26981	1.27496	3169132
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	1.2938	1.29522	3169091
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	1.3438	1.34287	3169461
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	1.49977	1.50202	3169209
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	1.51177	1.5135	3169207
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	1.55676	1.55859	3169310
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	1.61175	1.61131	3169332
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	1.62875	1.63296	3169346
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	1.64675	1.64631	3169087
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	1.73274	1.73329	3169316
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	1.9897	1.99523	3169261
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	2.16067	2.16075	3169143
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	2.20067	2.20137	3169456
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	2.36164	2.36241	3169367
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	2.39064	2.39129	3169309
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	2.46862	2.46933	3169354
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	2.47962	2.48044	3169275
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	2.51862	2.51924	3169335
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	2.6316	2.635	3169116
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	2.82457	2.82506	3169353
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	2.88556	2.93103	3169118
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	2.94255	2.94406	3169189
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	2.95255	2.9535	3169349
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	3.08253	3.08314	3169327
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	3.2975	3.29742	3169168
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	3.34049	3.34133	3169266
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	3.44348	3.44457	3169154
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	3.44848	3.44885	3169426
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	3.66544	3.66639	3169201
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	3.72443	3.72431	3169333
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	4.08538	4.0866	3169318
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	4.31334	4.31481	3169459
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	4.33434	4.3341	3169453
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	4.36334	4.36559	3169395
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	4.43033	4.43071	3169449
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	4.5893	4.59116	3169321
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	4.68429	4.68377	3169360
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	4.69929	4.70032	3169350
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	5.00524	5.00709	3169334
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	5.37518	5.37582	3169369
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	5.8811	5.88095	3169258
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	6.04208	6.04235	3169357
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	6.24305	6.24611	3169295
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	6.36103	6.3609	3169281
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	6.61999	6.62042	3169340
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	6.88195	6.88227	3169089
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	7.76082	7.76067	3169352
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	7.77482	7.77554	3169203
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	7.95379	7.95641	3169371
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	7.96279	7.96275	3169469
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	8.22275	8.22356	3169198
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	9.33258	9.33321	3169095
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	12.846	12.8482	3169217
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	13.5299	13.5314	3169014
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	14.5798	14.5803	3169267
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	14.6868	14.6878	3169390
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	14.7967	14.7983	3169403
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	14.8417	14.843	3169389
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	15.0157	15.0159	3169238
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	15.4227	15.4362	3169422
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	15.5416	15.5417	3169413
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	17.1734	17.1722	3169364
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	18.0193	18.0213	3169190
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	19.546	19.5458	3169441
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	19.981	19.9819	3169317
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	21.1118	21.1129	3169270
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	24.7012	24.7	3169186
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	26.061	26.0624	3169240
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	29.2546	29.2555	3169244
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	29.6625	31.7427	3169142
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	33.7669	33.7669	3169214
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	38.7951	38.7964	3169100
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	44.4492	44.4478	3169219
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	48.2737	48.2745	3169245
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	54.1028	54.1853	3169109
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	56.1535	56.1544	3169036
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	63.6713	63.6718	3169277
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	64.7262	64.733	3169159
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	81.5826	81.5854	3169117
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	86.1709	86.1687	3169153
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	93.4328	93.4401	3169374
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	94.6416	94.6395	3169482
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	111.624	111.621	3169380
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	112.135	112.135	3169446
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	117.059	117.057	3169304
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	122.353	122.352	3169212
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	132.261	132.26	3169103
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	133.912	133.922	3169174
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	161.085	161.087	3169427
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	175.339	175.647	3169179
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	216.802	216.797	3168955
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	220.245	220.247	3169341
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	251.592	251.586	3168921
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	256.571	256.577	3169372
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	261.181	261.193	3169047
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	276.776	276.775	3169192
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	376.813	376.826	3168915
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	SAT	410.94	410.937	3169046
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	518.849	518.846	3169361
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	529.596	529.578	3169445
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	531.144	531.129	3169016
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	SAT	550.475	550.487	3168889
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	567.934	567.917	3168888
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	639.029	639.012	3169291
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	646.792	646.778	3169476
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	SAT	656.835	656.823	3168950
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	718.74	718.725	3169342
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	723.764	723.743	3169034
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	841.07	841.04	3169254
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	929.993	929.966	3169237
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	1044.34	1044.31	3169194
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	1135.6	1135.57	3169066

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	1299.53	1300.01	3168965
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	? (TO)	1299.75	1300.01	3168973
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (TO)	1299.83	1300.01	3168898
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	? (TO)	1299.91	1300.01	3168908
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	? (TO)	1299.94	1300.01	3169032
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	? (TO)	1299.95	1300.01	3169375
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	? (TO)	1299.95	1300.01	3168951
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	1299.95	1300.01	3169293
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	1299.95	1300.01	3169414
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	? (TO)	1299.96	1300.01	3169040
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	? (TO)	1299.96	1300.01	3168982
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	? (TO)	1299.96	1300.01	3168913
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	1299.96	1300.01	3169123
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	? (TO)	1299.97	1300.01	3169444
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	? (TO)	1299.97	1300.01	3169472
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3168911
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3168978
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169081
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3168980
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169048
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3168907
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169083
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169402
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3168947
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169232
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3168916
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169394
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169177
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3168993
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169312
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169017
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3168930
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3168969
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169013
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169045
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169463
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169239
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169199
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169060
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169287
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	? (TO)	1300	1300.01	3169157
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	? (TO)	1300	1300.01	3168902
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	? (TO)	1300	1300.01	3169264
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	? (TO)	1300	1300.01	3169278
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	? (TO)	1300	1300.01	3169454
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	? (TO)	1300	1300.01	3169156
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	1300	1300.01	3169359
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	1300	1300.01	3169080
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	? (TO)	1300	1300.01	3168966
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	? (TO)	1300	1300.01	3168899
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	? (TO)	1300	1300.01	3169112
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	? (TO)	1300	1300.01	3168926
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3168944
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	? (TO)	1300.01	1300.01	3169289
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169296
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169071
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169070
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3168974
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169305
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169119
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169058
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169003
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169432
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169229
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169009
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169181
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169248
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169033
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169024
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3168893
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169272
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3168938
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3168991
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169429
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169138
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169337
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169265
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169076
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169343
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169438
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169121
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169101
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169084
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3168960
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169351
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3168975
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3168961
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169478
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169004
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169027
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169025
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169319
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169276
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3168890
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169420
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169458
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169222
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3168939
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169205
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169172
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169167
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169160
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	? (TO)	1300.02	1300.01	3169450
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169122
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169415
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169140
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168937
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169218
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168909
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169215
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169477
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168987
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169468
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169020
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169044
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168984
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169299
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169069
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169002
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169336
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169344
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169407
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169151
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169288
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169200
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169054
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169406
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169195
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169442
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169405
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169182
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168979
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169457
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169053
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169176
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169455
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168948
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169042
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169038
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169249
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169163
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168976
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169041
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169158
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169051
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169387
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	? (TO)	1300.03	1300.01	3169094
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168922
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168919
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169271
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169423
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168906
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169283
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169421
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3168912
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169391
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169398
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169475
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169447
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169443
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169435
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169434
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169428
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169416
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169404
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169473
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169471
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169470
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169399
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169396
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169386
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169362
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169348
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169331
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169330
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169329
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169322
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169314
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169306
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169282
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169280
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169274
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169268
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169260
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169256
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169253
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169252
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169216
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169213
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169206
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169300
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169297
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169290
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169196
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169185
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169180
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169175
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169155
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169152
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169144
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169139
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169136
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169131
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169129
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169128
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169127
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169120
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169096
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169092
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169085
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169250
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169246
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169242
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169234
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169226
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169224
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169223
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169149
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169148
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169082
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169079
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169078
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169074
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169073
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169068
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169067
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169029
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169019
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169015
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169104
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169012
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169011
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169007
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169006
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169001
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169000
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168999
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168998
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168972
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168971
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168964
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168958
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168957
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169062
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169061
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169057
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169052
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169043
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168953
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168946
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168942
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168941
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168925
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168924
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168920
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168918
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168914
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168910
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169065
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168994
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168989
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168986
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168985
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168977
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168904
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168897
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168894
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168936
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168935
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168934
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168932
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168929
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168928
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168891
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3168886
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168949
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169227
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168983
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169005
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169031
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169072
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169338
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168981
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169339
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169365
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168997
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169368
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168887
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168970
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169075
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168968
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168967
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169147
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169373
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168962
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169150
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169409
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168956
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168954
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169064
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169410
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169228
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169412
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169056
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169055
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169231
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169243
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169430
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169086
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169050
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169049
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169090
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169098
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169099
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168905
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169111
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169113
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169114
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169039
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169135
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169037
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169035
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169162
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168952
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169166
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169411
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169173
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169188
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168903
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168945
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169292
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168943
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168901
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168940
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169210
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169211
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169220
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169257
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168900
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168923
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169273
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169279
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168885
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168917
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169286
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3169376
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168895
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168931
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168996
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168995
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169323
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168990
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169021
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168892
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169018
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169022
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3168988
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169108
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169107
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169325
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169026
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169010
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169028
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169008
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169328
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3168933
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169480
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169481
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169063
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169077
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3168896
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169307
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169225
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3168992
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169436
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169102
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169030
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169059
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3168959
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169433
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3168963
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169106
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169479
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3168927
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169378
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169437
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169484
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169379
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169383

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

Result page for solver shortsattime+ 2011-03-02 (incomplete)

Category "applications instances" (APPLICATION)

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

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

Solver didn't decide (UNKNOWN) (9 runs) [Show/Hide]

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

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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