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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.846871	0.847185	1718840
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	30.9263	30.9352	1718008
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	67.0848	67.1035	1717956

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.401938	0.401948	1720920
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	13.447	13.4511	1722130
industrial/grieu/ vmpc_24.cnf	SAT	16.3675	16.373	1718528
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	69.3195	69.3359	1721330
industrial/grieu/ vmpc_28.cnf	SAT	142.689	142.724	1718632
industrial/grieu/ vmpc_25.cnf	SAT	268.614	268.686	1718372
industrial/grieu/ vmpc_29.cnf	SAT	583.107	583.299	1718580
industrial/grieu/ vmpc_26.cnf	SAT	613.565	613.95	1718736

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
velev-pipe-sat-1.0-b7.cnf	?	0	0.00531003	1723180
velev-pipe-sat-1.0-b10.cnf	?	0	0.005003	1723336
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	?	0	0.00542904	1719204
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	?	0	0.00506004	1719256
industrial/narain/ clauses-8.cnf	?	0	0.00536904	1718788
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	?	0	0.00503511	1719412
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0.000999	0.00578992	1563430
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	?	0.000999	0.00502401	1718944
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0.000999	0.00500899	1719360

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.01	1200.31	1554590
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.01	1200.41	1718112
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.01	1200.41	1717072
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.01	1200.31	1722530
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.01	1200.31	1556046
simon-s02b-dp11u10.cnf	? (TO)	1200.01	1200.31	1723856
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.01	1200.31	1553290
goldb-heqc-frg1mul.cnf	? (TO)	1200.02	1200.31	1719672
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.02	1200.41	1721230
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.02	1200.41	1559322
manol-pipe-c7bidw_i.cnf	? (TO)	1200.02	1200.32	1724272
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.02	1200.31	1559634
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.02	1200.31	1563586
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.02	1200.41	1716916
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.02	1200.41	1722880
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.02	1200.41	1563118
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.03	1200.62	1555890
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.03	1200.51	1557606
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.03	1200.41	1554174
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.03	1200.51	1557970
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.03	1200.62	1716188
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.03	1200.42	1579418
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.03	1200.42	1578950
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.03	1200.51	1723030
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.03	1200.52	1581966
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.03	1200.41	1556566
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.04	1200.42	1716448
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.04	1200.43	1715824
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.04	1200.52	1580250
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.04	1200.51	1553342
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.04	1200.42	1715772
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.04	1201.03	1581498
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.04	1200.72	1580094
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.04	1200.42	1580874
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (TO)	1200.04	1200.51	1560830
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.04	1200.42	1579886
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.04	1200.41	1723130
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.05	1200.41	1718216
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.05	1200.55	1719724
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.05	1200.72	1581602
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.05	1200.42	1554538
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.05	1200.63	1581082
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.05	1206.01	1553186
aloul-chnl11-13.cnf	? (TO)	1200.05	1200.41	1720400
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.05	1200.41	1562858
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.05	1200.41	1721430
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.05	1200.41	1558490
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.05	1200.51	1556878
simon-s03-w08-15.cnf	? (TO)	1200.05	1200.52	1719776
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.05	1200.51	1560934
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.05	1200.42	1716084
hoons-vbmc-lucky7.cnf	? (TO)	1200.05	1200.41	1719880
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.05	1200.51	1553498
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.05	1200.43	1580770
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.05	1200.51	1560102
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.05	1200.53	1716552
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.06	1200.52	1556254
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.06	1200.42	1554902
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.06	1200.63	1581914
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.06	1200.41	1553810
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.06	1200.62	1554018
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.06	1200.51	1554122
manol-pipe-c9.cnf	? (TO)	1200.06	1200.41	1724376
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.06	1200.42	1715980
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.06	1200.51	1562650
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.06	1200.41	1562806
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.06	1200.41	1558854
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.06	1200.41	1718060
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.06	1200.41	1558438
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (TO)	1200.06	1200.51	1560154
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.06	1200.41	1560466
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.06	1200.43	1719152
cmu-bmc-barrel6.cnf	? (TO)	1200.06	1200.41	1719568
goldb-heqc-x1mul.cnf	? (TO)	1200.06	1200.41	1719464
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (TO)	1200.06	1200.51	1560674
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.06	1200.41	1560726
manol-pipe-g10nid.cnf	? (TO)	1200.06	1200.52	1720192
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.06	1200.52	1720348
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.06	1207.01	1560882
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.06	1200.44	1563326
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.51	1722430
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.06	1200.41	1721530
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.06	1200.42	1578222
goldb-heqc-term1mul.cnf	? (TO)	1200.06	1200.41	1723648
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.06	1200.41	1722280
manol-pipe-g10bidw.cnf	? (TO)	1200.06	1200.72	1723284
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.06	1200.41	1723388
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.06	1200.32	1579990
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.06	1200.41	1723596
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.06	1200.72	1580146
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.06	1200.41	1556774
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.06	1200.51	1556618
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.06	1200.51	1563066
schup-l2s-motst-2-k315.cnf	? (TO)	1200.07	1200.63	1720036
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.07	1200.42	1581342
goldb-heqc-dalumul.cnf	? (TO)	1200.07	1200.41	1720452
mizh-sha0-36-4.cnf	? (TO)	1200.07	1200.41	1720244
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.07	1200.52	1563378
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.07	1200.81	1721380
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.07	1200.51	1721680
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.07	1200.51	1557086
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.07	1200.52	1579470
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.07	1200.42	1715876
goldb-heqc-i10mul.cnf	? (TO)	1200.07	1200.51	1723440
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.07	1200.51	1562702
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.07	1200.64	1577858
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.07	1200.41	1556098
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.07	1200.91	1563014
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.07	1200.42	1716656
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.07	1200.41	1718268
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.07	1200.41	1563170
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.07	1200.41	1718424
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.07	1200.42	1717644
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.07	1200.64	1577546
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.07	1200.51	1722380
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.07	1200.41	1717852
manol-pipe-f9b.cnf	? (TO)	1200.07	1200.42	1719984
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.07	1200.41	1559218
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.07	1200.43	1717384
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.07	1200.51	1562910
manol-pipe-c10nidw.cnf	? (TO)	1200.07	1200.63	1720088
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.07	1200.51	1556358
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.07	1200.51	1558230
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1722980
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.08	1200.63	1579366
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.08	1200.42	1723908
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.08	1200.51	1723700
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.08	1200.42	1715668
manol-pipe-c6bidw_i.cnf	? (TO)	1200.08	1200.51	1720296
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.08	1200.51	1555630
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.08	1200.41	1560622
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.08	1200.41	1560310
manol-pipe-c6nidw_i.cnf	? (TO)	1200.08	1200.41	1724480
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.08	1200.72	1580354
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.08	1200.41	1562962
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.08	1200.41	1717020
simon-s03-fifo8-300.cnf	? (TO)	1200.08	1200.52	1724168
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.08	1200.41	1560362
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.08	1200.41	1557814
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.08	1200.41	1716968
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.08	1200.63	1580042
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.08	1200.51	1716812
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.08	1200.41	1557710
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1722580
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.08	1200.63	1716760
mizh-sha0-36-2.cnf	? (TO)	1200.08	1200.51	1724012
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.08	1200.52	1722030
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.08	1200.41	1563690
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.08	1200.41	1555474
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1722180
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.08	1200.51	1553238
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.08	1200.42	1715616
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.08	1200.41	1724220
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.08	1200.51	1722630
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.08	1200.43	1716032
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.08	1200.41	1559946
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.08	1200.52	1716136
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.09	1200.41	1558802
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.09	1200.63	1719308
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.09	1200.62	1715720
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.09	1200.52	1716500
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.09	1200.41	1717228
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.09	1200.42	1717332
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.09	1200.42	1717540
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.09	1200.51	1718164
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.09	1200.51	1718684
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.09	1200.51	1718892
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.09	1200.41	1719620
mizh-sha0-36-3.cnf	? (TO)	1200.09	1200.41	1719828
mizh-md5-48-5.cnf	? (TO)	1200.09	1200.41	1721128
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1721780
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.09	1200.51	1721830
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.09	1200.41	1721980
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.09	1200.41	1555058
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.09	1200.51	1556826
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.09	1200.41	1556722
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.09	1200.41	1556462
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.09	1200.71	1556150
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.41	1555266
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.09	1200.41	1554694
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.09	1200.42	1553862
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.09	1200.72	1578794
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.09	1200.64	1563638
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.09	1200.44	1563274
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.09	1200.51	1560050
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.09	1200.51	1559790
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.09	1200.41	1559530
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.09	1200.41	1559374
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.09	1200.41	1559270
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.09	1200.41	1559010
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.09	1200.41	1556514
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.09	1200.42	1582746
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.09	1200.41	1562754
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.09	1200.61	1563222
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.1	1200.52	1716240
manol-pipe-g6bi.cnf	? (TO)	1200.1	1200.41	1723752
manol-pipe-g7nidw.cnf	? (TO)	1200.1	1200.41	1724324
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.1	1200.42	1577910
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.41	1721880
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.1	1200.51	1721280
goldb-heqc-alu4mul.cnf	? (TO)	1200.1	1200.41	1721024
manol-pipe-c10nid_i.cnf	? (TO)	1200.1	1200.82	1720764
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.1	1200.51	1560570
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.1	1200.72	1719100
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.1	1200.51	1718476
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.1	1200.41	1718320
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.1	1200.61	1559686
cmu-bmc-longmult15.cnf	? (TO)	1200.1	1200.51	1720660
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.1	1200.63	1577650
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.1	1200.52	1716708
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.1	1200.42	1717696
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.1	1200.42	1717488
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.1	1200.42	1717592
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.1	1200.42	1717176
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.1	1200.52	1582018
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.1	1200.52	1716344
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.1	1200.42	1716604
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.1	1200.42	1715928
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.1	1200.41	1554434
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.1	1200.72	1581758
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.1	1200.51	1554746
manol-pipe-f10ni.cnf	? (TO)	1200.1	1200.43	1724064
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.1	1200.43	1582174
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.1	1200.81	1557502
manol-pipe-f9n.cnf	? (TO)	1200.11	1200.42	1723960
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.11	1200.41	1559738
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1722830
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.11	1200.53	1717800
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.11	1200.42	1722480
manol-pipe-g10id.cnf	? (TO)	1200.11	1200.72	1723544
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.11	1200.41	1723080
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1722780
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.11	1200.51	1558074
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.11	1200.41	1721730
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1721180
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.11	1200.53	1563482
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.11	1200.51	1554850
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.11	1200.42	1716292
mizh-md5-47-4.cnf	? (TO)	1200.11	1200.41	1720556
mizh-sha0-35-3.cnf	? (TO)	1200.11	1200.41	1720712
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.11	1200.41	1720140
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.11	1200.44	1719932
mizh-md5-47-3.cnf	? (TO)	1200.11	1200.41	1719516
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.11	1200.54	1577598
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.11	1200.52	1717904
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.11	1200.51	1558022
schup-l2s-guid-1-k56.cnf	? (TO)	1200.11	1200.41	1724116
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.11	1200.62	1577702
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.11	1200.71	1554226
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.11	1200.43	1555162
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.11	1200.64	1717280
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.11	1200.61	1557034
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.11	1200.43	1723804
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.11	1200.81	1717124
manol-pipe-c7nidw.cnf	? (TO)	1200.11	1200.42	1723492
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.11	1200.62	1579834
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.12	1200.46	1577754
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.12	1200.41	1716864
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.12	1200.56	1719048
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.12	1200.73	1716396
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.12	1200.73	1582434
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.12	1200.43	1577494
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.12	1200.43	1717436
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.12	1200.42	1580562
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.12	1200.62	1724428
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.12	1200.64	1718996
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.12	1200.52	1553394
manol-pipe-c10nidw_s.cnf	? (TO)	1200.13	1200.63	1723232
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.13	1200.53	1717748
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.15	1200.55	1577806
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.17	1200.66	1563742

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-01.cnf	Signal 11	0.038993	0.0421191	1560414

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.00500595	1736580
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.0056631	1736880

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.019996	0.0219121	1734230
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.023995	0.025252	1734380
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.026995	0.027977	1734130
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.039993	0.040585	1734180
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.046992	0.0474299	1734430
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.046992	0.0466061	1734480
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.053991	0.0541109	1734330
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.056991	0.0573269	1734580
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.067989	0.0686861	1736180
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.068989	0.068585	1734280
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.073988	0.073943	1734630
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.097985	0.0966951	1734530
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.140978	0.141173	1738181
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.148977	0.149032	1736430
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.150976	0.151093	1736230
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.210967	0.211253	1738128
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	0.32095	0.320302	1732380
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	0.439932	0.440831	1735080
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	0.682895	0.683009	1735130
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	0.693893	0.694627	1735280
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	1.07883	1.07942	1733030
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	1.48377	1.4849	1732480
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	2.07168	2.07226	1735180
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	2.96755	2.96746	1735780
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	3.03754	3.04091	1738287
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	3.21051	3.21245	1735230
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	7.06192	7.06494	1735330
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	8.45471	8.45684	1732630
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	SAT	8.5647	8.56719	1735380
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	11.5582	11.5611	1738340
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	11.7942	11.7986	1738075
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	12.1132	12.1126	1734780
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	12.839	12.8429	1736030
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	18.0862	18.0906	1562078
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	27.0649	27.1944	1738393
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	29.6405	29.651	1735430
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	30.0574	30.0678	1732430
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	37.5403	37.5544	1734980
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	43.4634	43.4995	1561974
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	44.7262	44.7383	1725645
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	47.8977	47.9196	1561402
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	50.9123	50.9289	1732330
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	57.9282	57.9474	1737080
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	65.93	65.9517	1732680
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	74.0887	74.1268	1561506
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	74.8876	74.9186	1734930
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	91.766	91.7918	1561922
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	113.236	113.282	1738234
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	114.748	114.775	1735880
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	118.296	118.286	1725698
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	132.119	132.168	1735930
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	SAT	135.254	135.301	1735530
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	135.412	135.454	1725751
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	139.177	139.221	1562026
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	180.354	180.417	1561766
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	194.041	194.122	1732580
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	271.802	271.912	1737439
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	283.257	283.332	1737492
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	287.033	287.11	1561038
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	408.424	408.572	1561818
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	SAT	449.539	449.659	1736130
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	SAT	485.063	485.232	1561142
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	771.34	771.598	1561714
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	793.951	794.209	1732230

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.01	1200.41	1733480
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1731687
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.01	1200.31	1733830
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.01	1200.31	1732130
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1729673
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1731422
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.01	1200.31	1560986
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1727977
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.01	1200.31	1561558
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.01	1200.31	1736480
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1730150
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.02	1200.31	1737386
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1727659
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1725963
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728454
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.02	1200.31	1731980
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728772
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.02	1200.31	1734680
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1726652
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1726758
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.02	1200.41	1737333
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.03	1200.71	1734830
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1725274
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.03	1200.51	1731830
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1727765
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1731369
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.03	1199.91	1737651
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.03	1200.31	1733380
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1731634
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1729355
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.04	1200.63	1730680
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1730892
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1725857
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.04	1200.41	1732280
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.04	1200.41	1735680
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.04	1200.41	1561350
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.04	1200.52	1738022
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1730627
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1730521
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.04	1200.31	1733080
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1726175
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1726599
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727023
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1731051
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1729567
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.05	1200.63	1732930
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.05	1200.41	1734730
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728560
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725486
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.05	1200.51	1737704
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729196
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725592
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729302
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.05	1200.52	1733780
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730839
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.05	1200.41	1731880
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.05	1200.41	1737130
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.05	1200.41	1562234
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730415
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.05	1200.81	1726387
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729779
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727129
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.05	1200.41	1737230
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.05	1200.41	1737030
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731157
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729461
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.05	1200.41	1735630
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728083
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.06	1200.42	1733130
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730733
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730998
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.06	1200.41	1732530
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.06	1200.41	1731930
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.06	1200.41	1732180
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726016
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736730
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.06	1200.91	1726440
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726546
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.06	1200.41	1562182
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.06	1200.51	1562546
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.06	1200.41	1561454
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.06	1200.41	1736830
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736280
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.06	1200.41	1736680
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1737916
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.06	1200.41	1735980
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.06	1200.41	1735730
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728189
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1728295
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728348
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728507
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.06	1200.41	1734080
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.06	1200.42	1733330
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.06	1200.42	1562338
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1730256
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730309
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730468
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731263
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.07	1200.41	1562598
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726917
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726493
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1725804
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730574
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729885
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731581
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730203
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731528
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1728984
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.07	1200.41	1734880
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728030
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.07	1200.61	1735580
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.07	1200.41	1562494
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.08	1200.41	1561662
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.08	1200.41	1562286
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.08	1200.61	1562130
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.08	1200.51	1561194
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.08	1200.41	1561090
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725433
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725539
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726228
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726069
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726864
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726705
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726811
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1727182
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.08	1200.72	1727394
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727712
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727818
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728613
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.08	1200.42	1728719
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729037
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728878
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728825
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728931
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729090
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729620
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729726
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729991
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729938
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730044
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731210
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731316
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.08	1200.41	1732080
CRAFTED/ramseycube/ Q3inK10.cnf	? (TO)	1200.08	1200.51	1732880
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.08	1200.41	1733230
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.08	1200.51	1733680
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733980
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.08	1200.41	1735480
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.08	1200.61	1736330
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.08	1200.51	1736530
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.41	1736630
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.08	1200.41	1737598
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.08	1200.61	1737757
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.08	1200.41	1737863
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.08	1200.41	1737969
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.09	1200.51	1736380
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.09	1200.41	1733530
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1726281
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.09	1200.53	1727341
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.09	1200.61	1737545
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.09	1200.54	1726970
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1727235
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.09	1200.41	1736980
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.09	1200.62	1561246
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.09	1200.51	1561298
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729832
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1729249
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729143
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731104
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731475
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725327
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.09	1200.41	1733930
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.09	1200.41	1562442
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.09	1200.51	1735030
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1728242
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1728136
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.09	1200.51	1733630
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727924
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.09	1200.72	1733180
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727871
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725910
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730945
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.09	1200.41	1736930
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726122
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.1	1200.51	1562390
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730097
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729514
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728666
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.1	1200.56	1728401
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.1	1200.51	1733280
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.1	1200.61	1735830
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1727447
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1725380
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1726334
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.1	1200.41	1732030
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.1	1200.41	1732830
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.1	1200.58	1732780
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730786
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730362
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.11	1200.71	1736080
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1727076
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.11	1200.51	1737810
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.11	1200.51	1733580
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.11	1200.41	1732980
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.11	1200.71	1733430
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1729408
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.11	1200.51	1734030
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.11	1200.41	1733880
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.11	1200.73	1733730
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.11	1200.72	1727288
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	? (TO)	1200.11	1200.51	1736780
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.11	1200.51	1737280
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.12	1200.44	1727606
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.13	1200.76	1727500
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.15	1201.05	1727553

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.010997	0.0110179	1534598
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.011997	0.012586	1534628
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.011997	0.0119939	1534803
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.011998	0.012701	1534763
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.012997	0.0131861	1534648
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.012997	0.013092	1534873
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.012997	0.0122451	1534573
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.014996	0.015708	1534853
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.014997	0.015951	1534458
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.014997	0.0159209	1534443
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.014997	0.0157729	1534433
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.014997	0.015274	1534828
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.014997	0.015281	1534813
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.014997	0.0148301	1534798
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.014997	0.014016	1534758
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.015996	0.0162829	1534643
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.015996	0.0159181	1534493
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.015997	0.017074	1534613
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.016996	0.0174969	1534468
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.016996	0.017609	1534778
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.016996	0.0160031	1534893
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.016997	0.017979	1534358
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.017996	0.01659	1534673
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.017996	0.01672	1534733
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.018996	0.0191429	1534863
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.018996	0.0195169	1534578
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.018996	0.0189489	1534428
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.018996	0.0196181	1534838
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.019996	0.0204019	1534693
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.019996	0.021023	1534818
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.019996	0.018647	1534488
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.020995	0.021487	1534558
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.020995	0.0206091	1534473
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.021996	0.021167	1534398
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.022995	0.0266699	1534668
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.023995	0.023133	1534353
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.025995	0.0258399	1534453
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.025995	0.024534	1534718
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.025995	0.0262451	1534623
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.025995	0.0258	1534793
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.025996	0.026057	1534688
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.026995	0.026756	1534378
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.026995	0.0274431	1534563
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.026995	0.026868	1534373
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.026995	0.0269379	1534513
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.028994	0.029059	1534843
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.028994	0.0295099	1534368
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.031994	0.0328229	1534478
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.033994	0.035256	1534703
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.033994	0.0340751	1534833
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.034994	0.03578	1534883
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.034994	0.0356039	1534533
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.035993	0.0368719	1534518
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.036994	0.0374949	1534588
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.038993	0.039333	1534538
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.039993	0.0402939	1534423
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.040992	0.0410441	1534783
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.041992	0.0423969	1534898
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	0.044993	0.045814	1534888
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.046992	0.0473011	1534708
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.05399	0.0537029	1534773
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.061989	0.062279	1534728
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.065989	0.066469	1534583
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.065989	0.066666	1534678
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.073988	0.074156	1533293
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.075987	0.0767571	1534808
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.076987	0.077424	1534788
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.077987	0.077838	1533258
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.078987	0.0799281	1533323
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.081986	0.082657	1534638
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.084986	0.0853029	1534418
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.089985	0.0903281	1534738
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.090985	0.0912189	1533288
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	0.090985	0.0920941	1534653
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.090985	0.0914699	1534753
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.093985	0.0943699	1534408
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.094984	0.0957579	1534858
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.094985	0.0956639	1533223
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.095984	0.096535	1533203
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.096984	0.097211	1533268
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.096984	0.0974161	1534528
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.096984	0.0968629	1534603
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.097984	0.097329	1534723
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.097984	0.098219	1533273
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.099983	0.101144	1534698
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.103983	0.104389	1533278
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.105983	0.106586	1534683
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.106982	0.107679	1533298
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.107982	0.108184	1533343
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.111982	0.112274	1533393
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.115981	0.116187	1533348
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.115981	0.116654	1534483
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.117982	0.118518	1534743
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.119981	0.120607	1533238
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.119981	0.120152	1533333
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.12098	0.121443	1534663
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.121981	0.122528	1533283
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.12598	0.125185	1534448
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.129979	0.130567	1532573
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.138978	0.138865	1534388
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	0.147976	0.146922	1534748
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.156975	0.157122	1533253
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.158975	0.159659	1533338
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.163974	0.163335	1534608
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.166973	0.166413	1534878
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.19197	0.191808	1534393
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.196969	0.197364	1534618
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.205967	0.206781	1534593
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.207968	0.208181	1534508
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.208967	0.208128	1533263
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.220966	0.221934	1533313
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.231964	0.232178	1534438
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.231964	0.232865	1533368
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.233964	0.234799	1533303
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.236963	0.237792	1534403
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	0.250961	0.251517	1533383
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.250961	0.251512	1534383
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.25696	0.258212	1533228
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.26096	0.262044	1533218
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.261959	0.262592	1534463
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.261959	0.262223	1534868
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.288956	0.290331	1534498
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.302953	0.303251	1533318
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.313952	0.314802	1534633
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.314951	0.315682	1533208
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.331948	0.332719	1533378
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.350945	0.351396	1532588
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.364943	0.365469	1534553
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.405938	0.406478	1533233
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.418936	0.420015	1533363
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.421935	0.42066	1534768
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.457929	0.460933	1533308
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	0.45793	0.458523	1532563
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.484925	0.484523	1534658
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	0.577911	0.577937	1534848
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.579911	0.580498	1534523
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.634903	0.635916	1533398
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	0.673896	0.67317	1534503
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	0.714891	0.715237	1532568
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	0.759883	0.761352	1532578
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	0.821874	0.82254	1532823
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	0.921859	0.922422	1532553
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	1.01085	1.01167	1532598
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	1.03284	1.03403	1534548
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	1.06884	1.06958	1533213
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	1.09883	1.0984	1533248
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	1.3288	1.32968	1533358
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	1.35079	1.35175	1532838
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	1.73373	1.73345	1533618
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	1.80172	1.80266	1533723
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	1.88971	1.89031	1533633
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	1.9837	1.98495	1533668
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	1.9897	1.99029	1533708
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	1.99769	1.9985	1533613
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	2.03469	2.03625	1533353
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	2.04369	2.0439	1533738
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	2.09568	2.09701	1533658
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	2.10068	2.10004	1533623
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	2.11868	2.11952	1534823
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	2.13567	2.13414	1533638
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	2.16167	2.16106	1534713
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	2.18967	2.19111	1533793
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	2.24866	2.25686	1533743
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	2.25266	2.25195	1533388
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	2.30265	2.30347	1533483
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	2.31065	2.31203	1532818
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	2.34964	2.35062	1534413
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	2.46663	2.46962	1533703
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	2.53861	2.53899	1533373
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	2.54461	2.54606	1533603
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	2.80457	2.80539	1533608
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	2.81357	2.81456	1533653
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	2.87956	2.87897	1533678
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	2.88756	2.88985	1534543
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	2.96155	2.96297	1533788
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	3.06253	3.06294	1534363
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	3.10653	3.10822	1533648
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	3.20351	3.20516	1532558
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	3.32249	3.32393	1534568
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	3.40048	3.40249	1533643
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	3.48347	3.48532	1533763
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	3.62945	3.63098	1533688
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	3.63645	3.63735	1533693
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	3.64545	3.64549	1532583
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	3.73743	3.7407	1532738
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	3.9454	3.94547	1533783
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	4.79427	4.79607	1533798
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	4.80827	4.80997	1533673
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	5.18121	5.18315	1533728
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	5.2472	5.25127	1533498
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	5.47917	5.48119	1533628
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	5.61215	5.61457	1533663
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	5.9201	5.92271	1532828
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	6.08207	6.09077	1532693
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	6.20406	6.20598	1532813
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	6.36703	6.36852	1533733
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	6.546	6.55086	1533768
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	6.67598	6.68333	1532713
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	7.34688	7.34753	1532808
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	7.9138	7.91665	1533753
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	8.20475	8.20824	1532728
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	8.28974	8.29242	1532178
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	8.42772	8.43199	1533718
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	10.8274	10.8301	1532843
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	11.1563	11.1605	1533683
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	11.3833	11.387	1533243
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	11.6392	11.6424	1533778
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	13.312	13.3161	1532223
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	13.315	13.3204	1533698
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	13.345	13.3496	1533328
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	13.466	13.47	1533558
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	13.8979	13.9019	1532263
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	14.0699	14.0748	1532478
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	14.8627	14.866	1532103
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	15.5916	15.597	1532833
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	16.1855	16.192	1532593
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	16.7984	16.805	1533758
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	17.2114	17.2174	1532518
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	17.3644	17.369	1533773
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	19.751	19.7617	1532653
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	20.04	20.0477	1532663
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	20.1609	20.1683	1532608
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	20.8308	20.8363	1532293
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	22.6016	22.6098	1532748
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	23.7424	23.753	1533713
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	23.9954	24.0045	1532743
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	24.6782	24.6877	1532218
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	25.1842	25.1935	1533748
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	26.8889	26.8952	1532673
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	27.1459	27.1527	1532273
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	27.9477	27.9577	1532848
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	39.376	39.3917	1532708
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	41.9466	41.9589	1533528
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	47.5978	47.6153	1532268
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	49.2625	49.2802	1533568
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	49.6774	49.6899	1532658
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	53.7128	53.7318	1532508
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	81.8286	81.8549	1532288
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT	86.9768	87.0058	1532723
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	87.2037	87.2368	1532898
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	87.8936	87.917	1532113
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	91.771	91.8028	1532798
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	92.4409	92.4734	1532133
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	92.6359	92.66	1532143
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	106.061	106.086	1532298
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	129.5	129.542	1532648
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	146.024	146.066	1532523
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	148.943	149.008	1532138
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	155.088	155.143	1532493
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	SAT	158.802	158.844	1532183
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	159.598	159.655	1532258
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	165.654	165.715	1532793
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	169.393	169.439	1532158
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	186.088	186.159	1532678
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	199.355	199.407	1532503
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	218.927	218.992	1532153
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	223.462	223.522	1532233
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	228.49	228.46	1532248
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	246.618	246.69	1532643
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	253.817	253.905	1532278
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	276.681	276.784	1532613
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	299.18	299.257	1532538
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	299.525	299.613	1532698
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	311.066	311.182	1532668
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	SAT	313.436	313.551	1532188
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	361.242	361.349	1532703
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	363.742	363.832	1532108
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	370.495	370.588	1532718
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	373.551	373.658	1532683
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	SAT	425.295	425.414	1532203
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	446.967	447.135	1532513
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	474.199	474.354	1532973
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	478.934	479.043	1532998
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	479.554	479.68	1532253
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	483.634	483.763	1532528
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	498.563	498.741	1532168
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	504.84	505.026	1532953
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	553.461	553.654	1532228
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	558.537	558.738	1532733
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	562.514	562.676	1532483
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	SAT	572.49	572.784	1532428
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	597.564	597.77	1532633
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	623.719	624.061	1532198
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	663.858	664.033	1532283
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	673.169	673.35	1532603
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	675.172	675.364	1532623
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	712.616	712.878	1532533
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	719.484	723.118	1532543
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	722.929	722.837	1532053
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	787.931	788.202	1532548
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	SAT	839.612	839.92	1532213
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	SAT	855.08	855.371	1532128
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	SAT	877.546	877.767	1532208
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	SAT	952.211	952.547	1532913
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	1025.67	1025.95	1532453
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	1075.2	1075.59	1532118
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	1081.25	1081.66	1532933

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

Result page for solver adaptg2wsat2009++ 2009-03-23 (incomplete)

Category "applications instances" (APPLICATION)

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

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

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

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

Solver was terminated by a signal (1 run) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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

Category "random instances" (RANDOM)

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

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