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.175972	0.179522	3287809
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.823874	0.825301	3280771
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	3.53446	3.53535	3291075
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	4.12337	4.12359	3291121
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	5.05023	5.05012	3280817
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	732.93	732.92	3293789
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	1008.81	1008.84	3293835

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.000999	0.00627204	3292455
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.001999	0.00631209	3292501
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.002999	0.00653988	3292685
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.011998	0.0135119	3292547
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	3.60445	3.61352	3292869
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	3.69944	3.69951	3283945
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	4.95425	4.95506	3290247
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	5.19221	5.19211	3283853
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	6.68398	6.68639	3291719
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	25.3731	25.3738	3286981
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	371.618	371.623	3292271
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	1038.83	1038.81	3290615

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0	0.00645095	3281369
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	?	0	0.0064879	3286107
velev-npe-1.0-9dlx-b71.cnf	?	0.000999	0.00641011	3284083
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	?	0.000999	0.144547	3285739
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	?	0.000999	0.00634704	3285187
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	?	0.000999	0.00638806	3285049
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0.000999	0.006416	3283025
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	?	0.000999	0.0063401	3281415
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	?	0.062989	0.188815	3285877

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	? (TO)	1296.49	1300.01	3291857
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1299.1	1300.03	3285463
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1299.31	1300.01	3289281
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	? (TO)	1299.46	1300.01	3289235
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1299.47	1300.01	3281139
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	? (TO)	1299.5	1300.02	3285923
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	? (TO)	1299.71	1300.02	3285785
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1299.78	1300.01	3289189
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	? (TO)	1299.82	1300.01	3292961
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1299.86	1300.01	3281185
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1299.95	1300.01	3282657
manol-pipe-c10nidw.cnf	? (TO)	1299.97	1300.02	3281599
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1299.98	1300.03	3285417
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1299.98	1300.06	3285509
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1299.98	1300.02	3285279
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1299.98	1300.06	3293559
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1299.99	1300.01	3284221
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1299.99	1300.01	3292317
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1299.99	1300.01	3280495
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	? (TO)	1299.99	1300.02	3286199
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1299.99	1300.02	3280127
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	? (TO)	1299.99	1300.04	3286567
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1299.99	1300.01	3288867
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1299.99	1300.01	3282151
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	? (TO)	1299.99	1300.01	3281507
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1299.99	1300.01	3289327
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1300	1300.01	3282887
application/fuhs/ AProVE11/AProVE11-09.cnf	? (TO)	1300	1300.01	3284497
application/fuhs/ AProVE11/AProVE11-07.cnf	? (TO)	1300	1300.01	3284451
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300	1300.03	3293651
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300	1300.03	3290983
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300	1300.01	3289511
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300	1300.01	3289051
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300	1300.02	3285003
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300	1300.02	3280219
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300	1300.01	3293099
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1300	1300.02	3283531
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	? (TO)	1300	1300.01	3287073
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1300.01	1300.03	3283071
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	? (TO)	1300.01	1300.01	3287763
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	? (TO)	1300.01	1300.01	3290431
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.01	1300.01	3290017
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.01	1300.01	3282013
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.02	1300.01	3282059
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.02	1300.01	3281093
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.02	1300.02	3280633
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.02	1300.01	3292731
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1300.02	1300.05	3292639
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	? (TO)	1300.03	1300.01	3283669
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.03	1300.01	3285371
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.03	1300.01	3282473
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.03	1300.02	3284589
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	? (TO)	1300.03	1300.01	3283163
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.03	1300.01	3287257
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.03	1300.02	3283439
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1300.03	1300.02	3283117
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	? (TO)	1300.03	1300.01	3281967
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.03	1300.01	3291811
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.03	1300.01	3280403
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.03	1300.01	3289005
mizh-sha0-36-4.cnf	? (TO)	1300.03	1300.01	3281645
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1300.03	1300.02	3283485
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	? (TO)	1300.03	1300.01	3287901
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.03	1300.01	3280863
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1300.03	1300.01	3284175
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	? (TO)	1300.03	1300.01	3291903
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.03	1300.01	3282381
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	? (TO)	1300.04	1300.01	3287855
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1300.04	1300.01	3281461
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1300.04	1300.01	3281277
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.04	1300.01	3281231
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.04	1300.01	3286705
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.04	1300.01	3286659
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.04	1300.01	3286613
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.04	1300.02	3285325
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.04	1300.05	3285233
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	? (TO)	1300.04	1300.01	3290937
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.04	1300.01	3281047
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.04	1300.01	3289925
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.04	1300.01	3280955
application/fuhs/ AProVE11/AProVE11-11.cnf	? (TO)	1300.04	1300.01	3284681
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.04	1300.01	3280909
application/fuhs/ AProVE11/AProVE11-16.cnf	? (TO)	1300.04	1300.01	3284405
application/fuhs/ AProVE11/AProVE11-15.cnf	? (TO)	1300.04	1300.01	3284359
application/fuhs/ AProVE11/AProVE11-12.cnf	? (TO)	1300.04	1300.01	3284313
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.04	1300.01	3282611
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	? (TO)	1300.04	1300.01	3280725
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.04	1300.01	3280587
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.04	1300.01	3280541
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	? (TO)	1300.04	1300.01	3286291
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.04	1300.01	3282565
industrial/fuhs/medium/ AProVE07-21.cnf	? (TO)	1300.04	1300.01	3280449
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.04	1300.01	3280357
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.04	1300.01	3282519
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1300.04	1300.02	3280173
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	? (TO)	1300.04	1300.01	3280081
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.04	1300.02	3283577
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290293
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.04	1300.01	3282427
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	? (TO)	1300.04	1300.01	3283715
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.04	1300.03	3293605
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.04	1300.01	3282335
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.04	1300.01	3292915
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.04	1300.01	3282289
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.04	1300.01	3289557
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.04	1300.01	3292823
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.04	1300.01	3289373
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.04	1300.01	3292777
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.04	1300.01	3288959
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.04	1300.01	3288913
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.04	1300.01	3281921
application/manthey/traffic/ traffic_b_unsat.cnf	? (TO)	1300.04	1300.02	3288637
application/manthey/traffic/ traffic_pcb_unknown.cnf	? (TO)	1300.04	1300.02	3288591
manol-pipe-f7nidw.cnf	? (TO)	1300.04	1300.01	3281783
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.04	1300.01	3291673
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1300.04	1300.01	3282795
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.04	1300.01	3282749
manol-pipe-c6bidw_i.cnf	? (TO)	1300.04	1300.01	3281691
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.04	1300.01	3291397
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.04	1300.01	3288085
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	? (TO)	1300.04	1300.01	3288039
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.04	1300.01	3287993
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	? (TO)	1300.04	1300.01	3287947
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	? (TO)	1300.04	1300.01	3287717
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.04	1300.01	3282703
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	? (TO)	1300.04	1300.01	3287579
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	? (TO)	1300.04	1300.01	3293467
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	? (TO)	1300.04	1300.01	3293421
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	1300.04	1300.01	3293375
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1300.04	1300.01	3283209
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	? (TO)	1300.04	1300.01	3293283
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.04	1300.01	3291259
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	? (TO)	1300.04	1300.01	3291167
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290339
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.05	1300.01	3291765
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.05	1300.01	3291351
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.05	1300.01	3291305
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	? (TO)	1300.05	1300.01	3291213
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	? (TO)	1300.05	1300.01	3292593
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.05	1300.01	3292409
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.05	1300.01	3292363
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	? (TO)	1300.05	1300.01	3292225
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.05	1300.01	3292179
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290155
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290109
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290063
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.05	1300.01	3289971
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.05	1300.01	3293145
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	? (TO)	1300.05	1300.01	3293053
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	? (TO)	1300.05	1300.01	3293007
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.05	1300.02	3291627
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.05	1300.01	3291535
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.05	1300.01	3291489
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.05	1300.01	3291443
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	? (TO)	1300.05	1300.01	3293329
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	? (TO)	1300.05	1300.01	3293237
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	? (TO)	1300.05	1300.01	3293191
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.05	1300.03	3291029
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	? (TO)	1300.05	1300.01	3290891
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1300.05	1300.01	3290845
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	? (TO)	1300.05	1300.01	3290799
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.05	1300.01	3290707
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	? (TO)	1300.05	1300.01	3290523
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290385
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290201
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.05	1300.04	3293697
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.05	1300.01	3289695
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.05	1300.01	3289649
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.05	1300.01	3289465
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.05	1300.01	3289143
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.01	3289097
application/manthey/traffic/ traffic_3_uc_sat.cnf	? (TO)	1300.05	1300.02	3288499
application/manthey/traffic/ traffic_f_unknown.cnf	? (TO)	1300.05	1300.02	3288453
application/manthey/traffic/ traffic_kkb_unknown.cnf	? (TO)	1300.05	1300.01	3288407
application/manthey/traffic/ traffic_r_uc_sat.cnf	? (TO)	1300.05	1300.05	3288361
application/manthey/traffic/ traffic_fb_unknown.cnf	? (TO)	1300.05	1300.02	3288315
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	? (TO)	1300.05	1300.01	3288223
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	? (TO)	1300.05	1300.01	3287671
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	? (TO)	1300.05	1300.01	3287625
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.01	3287533
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.05	1300.01	3287487
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.05	1300.01	3287441
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.05	1300.01	3287395
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	? (TO)	1300.05	1300.01	3287349
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.05	1300.01	3287303
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	? (TO)	1300.05	1300.01	3287211
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	? (TO)	1300.05	1300.01	3287165
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	? (TO)	1300.05	1300.03	3286889
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	? (TO)	1300.05	1300.02	3286751
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.05	1300.01	3285141
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	? (TO)	1300.05	1300.02	3284957
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3284865
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	? (TO)	1300.05	1300.06	3284819
application/fuhs/ AProVE11/AProVE11-02.cnf	? (TO)	1300.05	1300.01	3284727
application/fuhs/ AProVE11/AProVE11-10.cnf	? (TO)	1300.05	1300.02	3284543
ibm-2002-21r-k95.cnf	? (TO)	1300.05	1300.01	3284267
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	? (TO)	1300.05	1300.03	3286245
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.05	1300.02	3285693
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.05	1300.01	3285647
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.05	1300.01	3285601
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285555
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.05	1300.02	3283623
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.05	1300.02	3283393
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	? (TO)	1300.05	1300.01	3283347
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	? (TO)	1300.05	1300.02	3283761
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.05	1300.02	3280265
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.05	1300.01	3280311
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1300.05	1300.01	3281001
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.05	1300.01	3282105
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.05	1300.01	3282197
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.05	1300.01	3282841
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1300.05	1300.01	3282933
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1300.05	1300.01	3282979
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1300.05	1300.01	3283301
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.06	1300.01	3288821
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.06	1300.01	3289879
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.06	1300.01	3289419
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.06	1300.03	3291995
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.06	1300.01	3282243
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.06	1300.01	3289603
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.06	1300.01	3289741
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.06	1300.01	3289787
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	? (TO)	1300.06	1300.01	3290569
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	? (TO)	1300.06	1300.03	3292133
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	? (TO)	1300.06	1300.01	3290477
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	? (TO)	1300.06	1300.02	3283255
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	? (TO)	1300.06	1300.01	3290661
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	? (TO)	1300.06	1300.01	3288177
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.06	1300.02	3280679
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	? (TO)	1300.06	1300.02	3286797
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1300.06	1300.02	3286843
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.06	1300.01	3289833
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	? (TO)	1300.06	1300.02	3290753
application/fuhs/ AProVE11/AProVE11-13.cnf	? (TO)	1300.06	1300.02	3284635
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.06	1300.03	3281553
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3284773
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	? (TO)	1300.06	1300.01	3288131
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.06	1300.01	3288269
ibm-2004-23-k100.cnf	? (TO)	1300.06	1300.01	3281737
application/manthey/ traffic/traffic_r_sat.cnf	? (TO)	1300.06	1300.03	3288545
ibm-2002-30r-k85.cnf	? (TO)	1300.06	1300.02	3281829
ibm-2004-01-k90.cnf	? (TO)	1300.06	1300.01	3281875
application/manthey/traffic/ traffic_3b_unknown.cnf	? (TO)	1300.06	1300.01	3288683
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.06	1300.01	3288729
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.06	1300.01	3288775
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.07	1300.01	3283899
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	? (TO)	1300.07	1300.02	3286153
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	? (TO)	1300.07	1300.04	3286337
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	? (TO)	1300.07	1300.01	3286383
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.07	1300.04	3284911
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	? (TO)	1300.07	1300.01	3286521
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.07	1300.04	3281323
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	? (TO)	1300.07	1300.01	3286935
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	? (TO)	1300.07	1300.02	3287027
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.07	1300.01	3287119
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.07	1300.05	3291949
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.07	1300.04	3291581
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.07	1300.01	3283807
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.07	1300.01	3283991
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.07	1300.01	3284037
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	? (TO)	1300.07	1300.04	3292087
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	? (TO)	1300.07	1300.02	3285969
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.08	1300.06	3285831
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	? (TO)	1300.08	1300.05	3293743
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.08	1300.05	3285095
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.09	1300.06	3292041
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	? (TO)	1300.09	1300.03	3286429
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	? (TO)	1300.09	1300.03	3286475
velev-pipe-sat-1.0-b9.cnf	? (TO)	1300.09	1300.06	3284129
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.09	1300.06	3293513
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.09	1300.03	3286015
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.1	1300.04	3286061

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.001998	0.00607605	3261004
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.001999	0.00645395	3261620
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.002998	0.00650102	3261752
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.002998	0.00670998	3259904
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	0.003999	0.00658206	3260872
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.003999	0.00624807	3261136
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.004998	0.00650398	3261576
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.004999	0.00639604	3260256
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.005998	0.00627592	3260344
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.005998	0.00639805	3260212
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.007997	0.0100989	3260388
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.007997	0.00871888	3261400
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.008998	0.0106269	3261708
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.009998	0.0107879	3260476
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	0.014997	0.01615	3261444
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	0.019996	0.0218479	3274032
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	0.025995	0.0278229	3264304
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	0.029994	0.030297	3260916
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	0.030995	0.0340211	3266328
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.033993	0.0354491	3257660
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	SAT	0.041992	0.0435469	3266284
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	0.045992	0.0464021	3261664
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	0.048992	0.0508281	3261532
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.05899	0.0587431	3260432
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.074987	0.07485	3260168
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.081986	0.0821111	3259860
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.085986	0.085957	3260080
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.086985	0.0872921	3260036
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.087986	0.0886841	3260124
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.106983	0.107884	3266108
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.109982	0.113289	3259948
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	0.142977	0.143016	3261268
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	0.156975	0.162288	3264260
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	0.195969	0.195615	3266768
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	0.196969	0.197573	3273374
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	0.237963	0.242735	3261048
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	0.240962	0.242009	3261796
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	0.247962	0.251605	3274173
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.26196	0.267016	3264348
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.267958	0.27029	3249210
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.285955	0.286226	3260300
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.314951	0.319904	3259992
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	0.32095	0.322036	3266680
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	SAT	0.412937	0.413603	3266240
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	0.421935	0.426988	3257924
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.424934	0.425553	3266020
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	0.517921	0.518624	3273515
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	0.529919	0.530254	3266900
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.856869	0.857475	3265580
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	1.3308	1.33053	3266944
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	1.45378	1.45467	3264040
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	SAT	2.33964	2.34031	3259332
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	SAT	2.41363	2.41402	3266372
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	2.49562	2.49656	3257396
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	3.47847	3.48174	3273562
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	SAT	3.48747	3.48834	3274079
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	SAT	4.14637	4.14709	3259068
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	7.71583	7.72045	3259816
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	SAT	10.2234	10.224	3274126
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	SAT	12.0692	12.0688	3258056
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	12.4461	12.45	3263688
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	12.6731	12.6734	3265844
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	SAT	13.5239	13.5249	3250310
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	SAT	14.5738	14.5777	3259200
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	16.6935	16.6938	3258936
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	SAT	18.1982	18.2006	3273750
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	19.2431	19.2436	3259464
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	SAT	19.758	19.7592	3262676
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	21.6987	21.7013	3257264
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	21.8807	21.8824	3258100
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	22.0666	22.0662	3266724
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	22.3266	22.3262	3266636
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	SAT	25.8111	25.8108	3259508
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	26.9779	26.9781	3259420
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	SAT	31.7942	31.7966	3259024
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	49.3725	49.3716	3262060
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	53.5389	53.6338	3257836
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	54.9196	54.9203	3258408
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	68.0596	68.0586	3266812
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	SAT	75.4545	75.4556	3251498
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	77.6412	77.6405	3262324
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	SAT	87.3087	87.3088	3273891
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	SAT	92.152	92.1504	3251146
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	119.783	119.784	3257792
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	138.649	138.649	3261884
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	139.332	139.339	3264128
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	212.619	212.613	3266856
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	254.45	254.447	3262500
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	270.642	270.639	3262148
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	286.168	286.274	3257880
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	SAT	289.512	289.548	3259244
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	SAT	289.739	289.735	3273421
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	SAT	313.33	313.322	3258584
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	SAT	363.874	363.863	3258848
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	SAT	468.685	468.673	3250398
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	SAT	502.571	502.559	3258232
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	SAT	512.168	512.159	3262720
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	558.007	557.992	3250926
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	677.655	677.674	3257484
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	SAT	831.263	831.279	3251366
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	SAT	973.376	973.36	3251454
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	SAT	1124.54	1124.52	3251058

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1297.72	1300.01	3258980
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1297.87	1300.01	3259112
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1298.97	1300.01	3263380
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1299.12	1300.01	3259684
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1299.14	1300.01	3257308
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1299.39	1300.01	3259728
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1299.89	1300.01	3262896
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1299.92	1300.01	3259376
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1299.93	1300.01	3258188
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1299.93	1300.01	3249166
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1299.94	1300.01	3258012
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1299.94	1300.01	3264744
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1299.95	1300.01	3262016
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1299.96	1300.01	3273938
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1299.96	1300.01	3257572
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1299.97	1300.01	3258804
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1299.97	1300.01	3263028
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1299.97	1300.01	3257352
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1299.97	1300.01	3263204
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1299.98	1300.01	3265096
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1299.98	1300.01	3262984
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1299.98	1300.01	3263160
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1299.98	1300.01	3249386
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1299.98	1300.01	3262764
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1299.98	1300.01	3259596
crafted/spence/ hard/s113-100.cnf	? (TO)	1299.98	1300.01	3257220
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1299.99	1300.01	3249958
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	1299.99	1300.01	3264876
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1299.99	1300.01	3263468
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300	1300.01	3250354
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300	1300.01	3257968
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300	1300.01	3258540
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300	1300.01	3265756
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300	1300.01	3258716
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300	1300.01	3265448
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	? (TO)	1300.01	1300.01	3260564
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.01	1300.01	3264656
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.01	1300.01	3249650
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.01	1300.01	3250750
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.02	1300.01	3257528
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300.02	1300.01	3257440
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.02	1300.01	3257616
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1300.02	1300.01	3262368
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	? (TO)	1300.02	1300.01	3260696
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.02	1300.01	3258892
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.02	1300.01	3273797
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	? (TO)	1300.02	1300.01	3265976
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.02	1300.01	3265404
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.02	1300.01	3265272
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.02	1300.01	3250794
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.03	1300.01	3262852
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.03	1300.01	3273844
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	? (TO)	1300.03	1300.01	3261488
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.03	1300.01	3250046
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	? (TO)	1300.03	1300.01	3266064
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.03	1300.01	3262808
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.03	1300.01	3251542
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.03	1300.01	3250002
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	? (TO)	1300.03	1300.01	3261224
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	1300.03	1300.01	3261840
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1300.03	1300.01	3251586
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	? (TO)	1300.03	1300.01	3262192
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.03	1300.01	3263424
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.03	1300.01	3250530
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.03	1300.01	3263336
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.03	1300.01	3263292
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.03	1300.01	3263248
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.03	1300.01	3264832
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.03	1300.01	3273985
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.03	1300.01	3263116
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.03	1300.01	3263072
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.03	1300.01	3265008
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.03	1300.01	3251410
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.03	1300.01	3262588
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.03	1300.01	3250618
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.03	1300.01	3251102
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.03	1300.01	3273609
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.03	1300.01	3259640
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	? (TO)	1300.03	1300.01	3266548
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.03	1300.01	3273656
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300.04	1300.01	3249298
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.04	1300.01	3251630
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.04	1300.01	3251190
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	? (TO)	1300.04	1300.01	3265140
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	? (TO)	1300.04	1300.01	3265052
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.04	1300.01	3264964
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.04	1300.01	3264920
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.04	1300.01	3264700
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.04	1300.01	3264612
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.04	1300.01	3263820
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.04	1300.01	3263776
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	? (TO)	1300.04	1300.01	3266592
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	? (TO)	1300.04	1300.01	3266196
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	? (TO)	1300.04	1300.01	3266152
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	1300.04	1300.01	3265932
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	1300.04	1300.01	3265888
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.04	1300.01	3265800
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.04	1300.01	3262940
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	? (TO)	1300.04	1300.01	3262632
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.04	1300.01	3250706
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.04	1300.01	3250662
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300.04	1300.01	3262544
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	? (TO)	1300.04	1300.01	3264568
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.04	1300.01	3264524
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.04	1300.01	3264480
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.04	1300.01	3264436
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.04	1300.01	3264216
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.04	1300.01	3250574
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	1300.04	1300.01	3262456
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	? (TO)	1300.04	1300.01	3262280
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.04	1300.01	3250486
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	? (TO)	1300.04	1300.01	3262104
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.04	1300.01	3261972
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.04	1300.01	3250134
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.04	1300.01	3250090
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	? (TO)	1300.04	1300.01	3261356
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	1300.04	1300.01	3261312
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.04	1300.01	3261180
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	? (TO)	1300.04	1300.01	3261092
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	1300.04	1300.01	3260960
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.04	1300.01	3249870
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	? (TO)	1300.04	1300.01	3260652
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	? (TO)	1300.04	1300.01	3260520
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.04	1300.01	3249562
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.04	1300.01	3249518
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.04	1300.01	3249474
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.04	1300.01	3249430
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.04	1300.01	3249342
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.04	1300.01	3251674
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.04	1300.01	3249254
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.04	1300.01	3273703
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.04	1300.01	3273468
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300.04	1300.01	3249122
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.04	1300.01	3274220
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.04	1300.01	3258320
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.04	1300.01	3258276
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.04	1300.01	3258144
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.04	1300.01	3257704
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.05	1300.01	3250222
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1300.05	1300.01	3265668
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	? (TO)	1300.05	1300.01	3265360
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.05	1300.01	3259288
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.05	1300.01	3250442
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.05	1300.01	3264392
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.05	1300.01	3261928
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.05	1300.01	3251278
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.05	1300.01	3265712
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.05	1300.01	3249782
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	? (TO)	1300.05	1300.01	3260608
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.05	1300.01	3249826
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.05	1300.01	3262412
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	? (TO)	1300.05	1300.01	3263996
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	? (TO)	1300.05	1300.01	3262236
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.05	1300.01	3257748
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.05	1300.01	3264788
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.05	1300.01	3259156
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.05	1300.01	3249694
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.05	1300.01	3249738
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.05	1300.01	3249606
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.05	1300.01	3264172
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.05	1300.01	3265536
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.05	1300.01	3265624
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1300.05	1300.01	3259772
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.05	1300.01	3263512
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.05	1300.01	3263556
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300.05	1300.01	3263600
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.05	1300.01	3263644
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.05	1300.01	3258760
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.05	1300.01	3263732
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300.05	1300.01	3258672
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.05	1300.01	3258628
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.05	1300.01	3263864
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.05	1300.01	3258496
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.05	1300.01	3258452
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300.05	1300.01	3258364
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.05	1300.01	3250178
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.05	1300.01	3250882
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.05	1300.01	3259552
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	? (TO)	1300.06	1300.01	3260740
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.06	1300.01	3264084
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.06	1300.01	3265184
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.06	1300.01	3265228
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.06	1300.01	3265316
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300.06	1300.01	3266460
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.06	1300.01	3266504
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.06	1300.01	3250970
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.06	1300.02	3265492
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.06	1300.01	3251014
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.06	1300.01	3250838
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.06	1300.01	3250266
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.06	1300.01	3251234
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	? (TO)	1300.06	1300.01	3263908
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	? (TO)	1300.06	1300.01	3263952
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.06	1300.01	3251322
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	? (TO)	1300.07	1300.01	3260784
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	? (TO)	1300.07	1300.01	3260828
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.07	1300.01	3249914
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.07	1300.01	3266416

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.004998	0.00632011	3169894
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.004999	0.00717802	3170051
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.005999	0.00608903	3169985
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.007997	0.00885504	3170024
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.007998	0.00892307	3169993
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.012998	0.014105	3169790
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.014996	0.0187819	3170062
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.016997	0.0174089	3169901
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.017997	0.0192879	3169764
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.018997	0.0239701	3169977
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.023995	0.024593	3169956
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.024996	0.026799	3169802
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.025995	0.047866	3169778
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.027995	0.0288691	3169966
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.028994	0.0298599	3169724
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.035993	0.03614	3169982
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.036993	0.0375629	3169730
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.037993	0.038362	3169841
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.038994	0.043472	3169910
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.041992	0.041571	3169908
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.041993	0.04257	3169855
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.044992	0.0448769	3170019
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.045992	0.0464141	3169955
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.047991	0.053742	3169862
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.049991	0.0496449	3169920
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.049992	0.053439	3169902
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.049992	0.050857	3169741
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.053991	0.058154	3169715
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.05699	0.0574311	3170017
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.05699	0.058215	3169958
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.05899	0.0595239	3169768
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.058991	0.0608859	3169765
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.05999	0.0607139	3170067
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.076988	0.0783521	3169745
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.086985	0.0872341	3170064
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.090985	0.0920421	3169947
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.093985	0.0955559	3169875
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.094984	0.096334	3169981
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.094985	0.100795	3169821
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.103983	0.104555	3169869
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.105983	0.106422	3170048
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.12698	0.128823	3169851
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.127979	0.128411	3169859
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.135979	0.136256	3169963
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.145977	0.145997	3170074
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.160974	0.160908	3169924
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.180972	0.181333	3169926
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.199968	0.199425	3170008
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.199969	0.200678	3169833
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.212966	0.213114	3169990
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.244962	0.244807	3169783
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.264959	0.267298	3169946
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.274958	0.275679	3170065
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.282956	0.283559	3169726
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.288956	0.291066	3170001
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.293954	0.298292	3169898
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.330949	0.33145	3169940
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.356945	0.35751	3169734
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.375942	0.377324	3169623
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.418935	0.421101	3170052
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.428934	0.433795	3169836
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.433934	0.436863	3170083
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.435933	0.438967	3170018
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.439932	0.440201	3169770
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.448931	0.449403	3169737
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.464928	0.467293	3169953
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.495924	0.498678	3169884
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.506922	0.511506	3170059
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.513921	0.513908	3170039
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.518921	0.523086	3170061
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.52392	0.538031	3169997
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.529918	0.530072	3169804
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.559914	0.559794	3169705
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.582911	0.583206	3169915
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.600908	0.603398	3169769
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.630903	0.634858	3169863
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.637902	0.638411	3169808
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	0.660898	0.661582	3169969
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.672897	0.674533	3169903
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	0.675897	0.676423	3169895
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.693894	0.694644	3169693
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.699892	0.700524	3169945
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	0.729888	0.731164	3169927
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.764883	0.765471	3169784
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.765883	0.768031	3169861
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.790879	0.79164	3169691
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.820874	0.820698	3169797
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.833873	0.835152	3169984
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.91486	0.915762	3170066
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	0.925859	0.926508	3169960
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.926859	0.927608	3169771
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.957853	0.957666	3169746
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	1.01084	1.01127	3169807
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	1.08283	1.08477	3169916
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	1.09183	1.09352	3169725
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	1.14782	1.15051	3169949
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	1.15282	1.15404	3169809
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	1.16982	1.17037	3170026
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	1.3358	1.3374	3169992
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	1.35479	1.35624	3169954
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	1.35879	1.36105	3169881
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	1.43478	1.43609	3169716
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	1.45078	1.45604	3169754
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	1.51577	1.51961	3169932
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	1.53677	1.5368	3169733
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	1.65375	1.65528	3169689
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	1.68574	1.68567	3169967
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	1.69874	1.6994	3169970
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	1.80572	1.81037	3169830
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	2.00769	2.00849	3170049
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	2.03269	2.03626	3169803
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	2.07968	2.08299	3170060
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	2.09468	2.09466	3169957
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	2.13967	2.1401	3169789
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	2.21166	2.21556	3170031
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	2.21966	2.22071	3169988
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	2.39164	2.39587	3170013
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	2.51962	2.52572	3170056
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	2.6106	2.61151	3169688
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	2.6266	2.62694	3169911
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	2.96455	2.96513	3169847
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	2.98754	2.98806	3169950
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	3.18451	3.18494	3169742
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	3.20051	3.20601	3169787
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	3.20651	3.20671	3169636
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	3.2755	3.27737	3169934
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	3.2845	3.28796	3169697
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	3.41948	3.42021	3169695
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	3.57146	3.57176	3169761
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	3.63745	3.64208	3170053
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	4.04638	5.05432	3169710
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	4.32434	4.32497	3169786
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	4.34334	4.34287	3169933
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	4.34434	4.34542	3169913
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	4.62729	4.62805	3169817
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	4.63829	4.63772	3169909
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	5.32219	5.32327	3170040
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	5.8781	5.87791	3169759
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	5.9101	5.91068	3169798
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	6.50801	6.51116	3169838
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	6.74697	6.74705	3170000
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	6.74697	6.75102	3169995
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	7.03793	7.03781	3169732
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	7.15991	7.16015	3169921
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	7.50186	7.50353	3169718
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	7.60984	7.60995	3169844
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	7.8818	7.88186	3169687
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	7.93879	7.9393	3169793
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	8.51071	8.51181	3170025
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	8.5587	8.55957	3170045
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	8.59869	8.59907	3169814
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	9.57754	9.58155	3169918
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	9.69153	9.69094	3169989
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	10.3724	10.3727	3170022
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	13.309	13.3101	3169791
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	13.377	13.3778	3169819
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	14.3748	14.3742	3169743
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	14.5258	14.526	3169845
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	15.3597	15.3597	3169870
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	16.9574	16.9587	3169703
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	17.2324	17.2361	3169700
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	18.7621	18.7637	3170041
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	18.7621	18.7629	3169980
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	21.7013	10.9061	3169801
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	24.9352	24.9352	3169917
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	25.6721	25.6709	3169866
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	26.164	26.1703	3169858
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	30.5764	30.5765	3169974
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	35.4666	35.466	3169854
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	38.5891	38.5931	3169952
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	38.9201	39.2847	3169971
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	45.73	45.7291	3169904
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	46.324	46.3245	3169709
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	50.5793	50.5786	3169867
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	55.5636	55.5642	3169885
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	57.3233	57.3243	3169521
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	59.7829	59.7825	3169792
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	61.1167	61.1169	3169717
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	62.9904	62.9936	3169614
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	70.1493	70.148	3169835
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	77.3102	77.311	3170082
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	91.1241	91.1241	3170003
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	98.619	98.6196	3170069
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	109.568	109.576	3169840
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	113.462	113.464	3169774
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	119.465	119.462	3170046
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	125.555	125.552	3170027
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	139.096	139.097	3169794
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	148.827	148.821	3169877
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	153.179	153.175	3169779
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	158.732	158.734	3169555
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	171.165	171.178	3169515
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	207.657	207.652	3169647
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	213.915	213.909	3169964
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	216.727	217.451	3169976
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	253.792	253.8	3169666
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	284.891	284.885	3169694
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	294.918	294.91	3169891
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	SAT	339.4	339.393	3169546
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	399.526	399.516	3169564
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	431.303	431.294	3169935
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	525.014	525.014	3169961
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	541.837	541.834	3169942
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	560.073	560.051	3169812
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	567.085	567.072	3169629
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	630.025	630.013	3169659
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	646.205	646.19	3169496
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	SAT	721.071	721.057	3169543
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	721.22	721.209	3169616
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	732.349	732.33	3169488
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	SAT	746.439	746.432	3169489
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	812.294	812.278	3170050
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	833.026	833.018	3170076
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	912.63	912.619	3169972
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	916.848	916.829	3169753
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	1114	1114.34	3169603

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	1296.65	1300.01	3169610
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (TO)	1298.1	1300.01	3169631
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	1298.31	1300.01	3169747
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	? (TO)	1299.36	1300.01	3169516
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	? (TO)	1299.38	1300.01	3169639
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	? (TO)	1299.48	1300.01	3169585
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	? (TO)	1299.6	1300.01	3169570
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	? (TO)	1299.66	1300.01	3169756
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	? (TO)	1299.67	1300.01	3169719
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	1299.68	1300.01	3169560
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (TO)	1299.69	1300.01	3169595
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	? (TO)	1299.76	1300.01	3169744
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (TO)	1299.85	1300.01	3169504
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	1299.93	1300.01	3170068
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	? (TO)	1299.93	1300.01	3169520
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	? (TO)	1299.94	1300.01	3170081
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	? (TO)	1299.95	1300.01	3169656
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	? (TO)	1299.95	1300.01	3169678
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3169586
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3169596
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169684
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169507
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169508
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3169485
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3170015
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169871
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169503
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169613
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169532
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169643
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169571
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169708
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169919
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169648
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169722
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169645
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169664
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	? (TO)	1299.99	1300.01	3170010
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3169558
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	? (TO)	1300	1300.01	3170032
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	? (TO)	1300	1300.01	3169776
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	1300	1300.01	3169806
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	1300	1300.01	3169868
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	? (TO)	1300	1300.01	3169837
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	? (TO)	1300	1300.01	3169834
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	? (TO)	1300	1300.01	3169600
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	? (TO)	1300	1300.01	3169670
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	? (TO)	1300	1300.01	3170044
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	1300	1300.01	3169628
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	? (TO)	1300	1300.01	3169579
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (TO)	1300	1300.01	3169510
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	? (TO)	1300	1300.01	3170072
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	? (TO)	1300	1300.01	3169577
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	? (TO)	1300	1300.01	3169975
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	1300	1300.01	3169529
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	1300	1300.01	3170005
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	? (TO)	1300	1300.01	3169513
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	? (TO)	1300	1300.01	3169828
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169591
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3170077
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169536
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3170043
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169593
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169548
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3170007
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169882
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169782
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169938
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169728
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169888
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169986
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169962
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3170079
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169681
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169739
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3169755
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169856
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169788
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169556
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169626
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169893
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169669
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169706
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169549
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169922
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3170034
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169999
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169727
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169491
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169599
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169890
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169820
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169587
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169542
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169973
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169712
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3170073
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169533
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169944
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169826
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169843
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169760
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3169522
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170063
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169576
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169500
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169534
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170070
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169607
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169493
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169492
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169490
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170033
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170023
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169686
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170002
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169655
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169979
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169618
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169943
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170014
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170012
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169609
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170004
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169930
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169544
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169519
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169864
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169852
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169846
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169842
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169839
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169822
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169880
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169879
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169615
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169873
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169872
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169810
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169805
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169780
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169775
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169773
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169763
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170084
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169749
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169702
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169701
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169685
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169682
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169677
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169781
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169672
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169735
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169633
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169630
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169625
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169624
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169671
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169665
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3170075
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169660
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169658
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169568
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169528
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169563
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169561
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169550
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169547
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169541
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169535
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169602
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3169601
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169751
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169750
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169552
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169748
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169899
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169900
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169829
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169965
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169827
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169905
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169511
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169824
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169704
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169551
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169583
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169699
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169698
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169696
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169692
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169512
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169505
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169907
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169611
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169506
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169923
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169680
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169679
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169584
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169545
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169925
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169929
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169514
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169594
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169653
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169931
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169738
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169736
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169572
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169731
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169729
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169936
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169937
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169723
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170011
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169721
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169720
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3169941
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169517
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169518
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169968
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169711
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169994
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169707
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169651
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169650
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169649
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169996
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169646
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169998
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169644
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170029
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169642
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169641
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169640
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170030
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169638
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169637
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170035
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169523
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169573
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169632
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170036
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169531
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170037
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169627
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170047
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169574
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169575
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169622
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169621
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169620
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169619
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170054
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169569
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170055
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169524
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169588
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170057
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170058
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169590
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169667
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169578
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169486
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169487
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169580
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169661
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3170071
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169589
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169657
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169654
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169581
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169525
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169823
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169818
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169816
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169815
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169813
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169527
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169582
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169848
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169598
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169874
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169562
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169597
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169612
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169853
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169499
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169857
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169559
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169928
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169799
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169796
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169887
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169860
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169785
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169883
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169501
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169777
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169886
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169557
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169502
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169849
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169617
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169811
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169554
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3169889
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169892
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169758
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169757
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169896
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169897
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3169553
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169983
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170042
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170038
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170028
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169987
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170080
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170078
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170021
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170020
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170016
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169991
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169978
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169951
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169948
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170009
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3170006
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169939
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169914
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169906
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169959
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169865
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169878
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169800
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169795
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169772
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169766
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169762
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169752
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169683
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169676
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169675
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169668
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169663
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169662
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169539
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169509
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169592
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169495
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169608
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169606
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169530
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3169526
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169604
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169497
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169537
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169538
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169540
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169912
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169714
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169673
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169674
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169690
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169825
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169767
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169876
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3169605
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169713
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169498
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169494
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169652
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169850
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169832
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169565
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169566
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169831
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169567
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169740
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169634
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3169635

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

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

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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