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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	0.996847	0.996257	1722124
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	1.48577	1.48681	1721724
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	4.78227	4.79156	1721324
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	35.7136	35.7259	1722024
industrial/grieu/ vmpc_24.cnf	SAT	52.465	52.4802	1718522
industrial/grieu/ vmpc_26.cnf	SAT	308.693	308.784	1718730
industrial/grieu/ vmpc_25.cnf	SAT	1182.69	1183	1718366

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.03	1200.63	1716546
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.03	1200.42	1718626
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.03	1200.42	1563112
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.03	1200.53	1717170
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.03	1200.32	1717014
mizh-sha0-36-2.cnf	? (TO)	1200.03	1200.32	1724006
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.03	1200.42	1554740
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.03	1200.32	1555624
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.03	1200.42	1553284
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.03	1200.32	1557496
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.03	1200.32	1721424
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.03	1200.32	1557028
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.03	1200.42	1553180
mizh-sha0-36-4.cnf	? (TO)	1200.03	1200.62	1720238
cmu-bmc-barrel6.cnf	? (TO)	1200.03	1200.42	1719562
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.03	1200.32	1555260
goldb-heqc-x1mul.cnf	? (TO)	1200.03	1200.32	1719458
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.04	1200.53	1716026
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.04	1200.53	1582428
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.04	1200.52	1555468
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.04	1200.52	1722524
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.04	1200.42	1556352
manol-pipe-f9n.cnf	? (TO)	1200.04	1200.52	1723954
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.04	1200.73	1715766
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.04	1200.63	1555156
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.04	1200.43	1716442
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.04	1200.53	1716650
mizh-md5-48-5.cnf	? (TO)	1200.04	1200.42	1721122
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.04	1200.53	1580140
manol-pipe-c10nid_i.cnf	? (TO)	1200.04	1200.53	1720758
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.04	1200.33	1577696
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.04	1200.42	1721974
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.04	1200.42	1722824
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.04	1200.42	1722474
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.04	1206.03	1581492
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.04	1200.42	1554688
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.04	1200.53	1554896
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.05	1200.53	1582012
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.05	1200.42	1556092
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.05	1200.42	1579464
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.05	1206.03	1580348
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.05	1200.42	1560356
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.05	1200.53	1715714
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.05	1200.73	1581336
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.05	1200.42	1563164
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.05	1200.63	1719302
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.05	1200.42	1553804
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.05	1200.42	1560616
manol-pipe-c9.cnf	? (TO)	1200.05	1200.52	1724370
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.06	1200.52	1720342
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.06	1200.42	1554428
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.06	1200.52	1720914
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.06	1200.52	1556872
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.06	1200.52	1554116
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.06	1200.52	1559940
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.06	1200.42	1557600
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.06	1200.42	1721674
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.06	1200.44	1717274
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.06	1200.43	1577592
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.06	1200.43	1717378
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.06	1200.53	1580556
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.06	1200.43	1715922
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.06	1200.52	1560928
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.06	1200.53	1717794
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.06	1200.53	1578944
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.06	1200.62	1717118
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.06	1200.42	1717066
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.07	1200.42	1554220
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.07	1200.42	1562696
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.07	1200.52	1553336
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.07	1200.42	1718574
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.07	1200.65	1577748
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.07	1200.43	1577644
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.07	1200.42	1718054
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.07	1200.42	1553232
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.07	1200.42	1562644
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.07	1200.43	1716338
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.07	1200.63	1580244
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.07	1200.42	1724214
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.07	1200.52	1560720
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.07	1200.43	1579984
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.07	1200.52	1717482
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.07	1200.42	1717846
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.07	1200.42	1718470
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.07	1207.02	1563372
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.07	1200.42	1719614
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.07	1200.42	1718418
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.07	1200.42	1558016
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.07	1200.42	1557964
hoons-vbmc-lucky7.cnf	? (TO)	1200.07	1200.42	1719874
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.07	1200.42	1722774
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.42	1723124
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.07	1200.52	1718886
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.07	1200.52	1560044
cmu-bmc-longmult15.cnf	? (TO)	1200.07	1200.42	1720654
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.07	1200.52	1562852
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.07	1200.53	1715610
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.08	1200.43	1716130
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.08	1200.52	1559368
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.08	1200.52	1559264
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.08	1200.14	1724422
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.08	1200.52	1558432
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.08	1200.42	1716962
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.08	1200.42	1563008
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.08	1200.42	1717326
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.08	1200.65	1577800
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.08	1200.52	1559004
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.08	1200.42	1718210
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.08	1200.42	1559316
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.08	1200.52	1718262
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.08	1200.42	1718158
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.08	1200.52	1718314
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.08	1200.52	1559628
manol-pipe-g6bi.cnf	? (TO)	1200.08	1200.42	1723746
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.08	1200.42	1560096
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.08	1200.62	1560304
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.08	1200.42	1556560
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.08	1207.04	1563268
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.08	1200.52	1556768
goldb-heqc-frg1mul.cnf	? (TO)	1200.08	1200.52	1719666
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.08	1200.62	1563580
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.08	1200.53	1556248
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.08	1200.44	1719926
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.08	1200.42	1579412
aloul-chnl11-13.cnf	? (TO)	1200.08	1200.52	1720394
goldb-heqc-dalumul.cnf	? (TO)	1200.08	1200.42	1720446
mizh-sha0-35-3.cnf	? (TO)	1200.08	1200.42	1720706
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.08	1200.42	1721224
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.08	1200.52	1721524
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.08	1207.02	1556144
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.08	1200.52	1722874
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.08	1200.42	1722624
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.08	1200.52	1722974
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.08	1200.52	1553492
schup-l2s-guid-1-k56.cnf	? (TO)	1200.08	1200.42	1724110
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.08	1200.63	1580036
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.08	1200.52	1578216
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.09	1200.73	1577852
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.09	1200.43	1717742
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.09	1200.73	1717950
goldb-heqc-term1mul.cnf	? (TO)	1200.09	1200.42	1723642
simon-s03-fifo8-300.cnf	? (TO)	1200.09	1200.62	1724162
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.09	1200.43	1715818
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.09	1200.42	1717222
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.09	1200.52	1717638
manol-pipe-g10nid.cnf	? (TO)	1200.09	1200.52	1720186
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.09	1200.42	1720134
manol-pipe-c6bidw_i.cnf	? (TO)	1200.09	1200.62	1720290
goldb-heqc-alu4mul.cnf	? (TO)	1200.09	1200.42	1721018
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.09	1200.52	1721774
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.09	1200.52	1723074
goldb-heqc-i10mul.cnf	? (TO)	1200.09	1200.42	1723434
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.43	1723902
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.09	1207.02	1557704
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.09	1200.62	1581752
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.09	1200.63	1554532
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.09	1200.43	1581076
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.09	1200.63	1553856
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.09	1200.63	1578788
manol-pipe-c6nidw_i.cnf	? (TO)	1200.09	1200.52	1724474
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.09	1200.63	1579360
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.09	1200.43	1582740
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.09	1200.42	1562904
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.09	1200.42	1562748
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.09	1200.42	1562800
schup-l2s-motst-2-k315.cnf	? (TO)	1200.1	1200.44	1720030
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.1	1200.52	1554844
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.1	1200.42	1558484
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.1	1200.43	1577904
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.1	1200.42	1558796
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.1	1200.42	1563684
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.1	1200.52	1558848
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.1	1200.42	1559212
manol-pipe-c7nidw.cnf	? (TO)	1200.1	1200.42	1723486
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.1	1200.42	1556716
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.1	1200.63	1563320
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.1	1200.42	1718678
mizh-md5-47-3.cnf	? (TO)	1200.1	1200.42	1719510
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.1	1200.52	1560876
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.1	1200.54	1719146
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.1	1200.42	1719094
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.1	1200.72	1556612
manol-pipe-g10bidw.cnf	? (TO)	1200.1	1200.53	1723278
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.1	1200.42	1554168
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.1	1200.53	1577488
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.1	1200.52	1554012
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.1	1200.52	1722574
manol-pipe-c7bidw_i.cnf	? (TO)	1200.1	1200.42	1724266
manol-pipe-g7nidw.cnf	? (TO)	1200.1	1200.42	1724318
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.1	1200.42	1716702
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.1	1200.42	1559732
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.1	1200.52	1556820
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.1	1200.42	1722174
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.1	1200.42	1718002
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.42	1721874
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.1	1200.52	1721274
simon-s02b-dp11u10.cnf	? (TO)	1200.1	1200.42	1723850
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.1	1200.43	1715662
mizh-md5-47-4.cnf	? (TO)	1200.1	1200.52	1720550
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.1	1200.52	1554584
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.1	1200.43	1716234
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.1	1200.43	1581596
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.1	1200.42	1716858
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.11	1200.42	1553388
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.11	1200.42	1555052
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.11	1200.42	1723694
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.11	1200.43	1581960
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.11	1200.42	1723590
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.11	1200.43	1581908
manol-pipe-g10id.cnf	? (TO)	1200.11	1200.62	1723538
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.11	1200.52	1563216
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.11	1200.52	1723024
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.11	1200.52	1559680
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.11	1200.52	1721374
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.11	1200.53	1580088
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.11	1200.52	1579880
manol-pipe-c10nidw.cnf	? (TO)	1200.11	1200.53	1720082
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.11	1200.53	1563476
mizh-sha0-36-3.cnf	? (TO)	1200.11	1200.42	1719822
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.11	1200.42	1560564
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.11	1200.42	1560460
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.11	1200.66	1719042
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.11	1200.65	1718990
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.11	1200.42	1559784
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.11	1200.52	1718834
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.11	1200.42	1559524
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.11	1200.42	1722374
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.11	1200.63	1716286
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.11	1200.63	1716390
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.11	1200.43	1716182
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.11	1200.52	1722274
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.11	1200.63	1580764
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.11	1200.52	1562956
manol-pipe-f10ni.cnf	? (TO)	1200.11	1200.43	1724058
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.11	1200.52	1556508
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.11	1200.42	1557808
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.11	1200.42	1558224
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.12	1200.43	1716598
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.12	1200.42	1723382
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.12	1200.62	1555884
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.12	1200.72	1556456
manol-pipe-f9b.cnf	? (TO)	1200.12	1200.62	1719978
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.12	1200.53	1716078
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.12	1200.52	1558068
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.12	1200.42	1721174
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200.12	1200.6	1723174
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.12	1200.63	1716494
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.12	1200.52	1556040
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.12	1200.53	1580868
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.12	1200.52	1718106
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.12	1200.43	1717898
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.12	1200.44	1563632
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.12	1200.42	1722424
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.12	1200.63	1579828
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.12	1200.43	1716754
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.12	1200.52	1563060
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.12	1201.02	1557080
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.13	1200.64	1563736
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.13	1200.63	1715974
manol-pipe-c10nidw_s.cnf	? (TO)	1200.13	1200.73	1723226
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.13	1200.63	1715870
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.13	1200.63	1582168
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.13	1200.44	1577540
simon-s03-w08-15.cnf	? (TO)	1200.13	1200.42	1719770
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.13	1200.42	1721824
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.15	1200.62	1718938
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.17	1200.79	1719198
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.18	1200.68	1719250
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.2	1200.7	1723330

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (exit code)	0	0.00557098	1563424
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (exit code)	0.065989	0.065966	1560408
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (exit code)	0.065989	0.066365	1560668
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	0.067989	0.068524	1716910
industrial/fuhs/medium/ AProVE07-09.cnf	? (exit code)	0.069989	0.069043	1716806
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (exit code)	0.069989	0.070328	1560148
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (exit code)	0.070988	0.0700631	1560824
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (exit code)	0.072988	0.073555	1717690
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (exit code)	0.080987	0.0809581	1717586
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (exit code)	0.083987	0.084983	1717534
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (exit code)	0.085986	0.0856101	1717430
velev-vliw-uns-4.0-9C1.cnf	? (exit code)	0.84587	0.849209	1723798
velev-vliw-uns-4.0-9-i1.cnf	? (exit code)	1.48877	1.49005	1719718
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (exit code)	5.73613	5.74498	1719406
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (exit code)	6.10907	6.10929	1719354
industrial/narain/ clauses-8.cnf	? (exit code)	8.23775	8.26007	1718782

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.161974	0.16265	1734224
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.167973	0.168877	1734174
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.172972	0.173862	1734324
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.172972	0.173994	1734424
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.172973	0.173737	1734574
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.173973	0.174611	1733024
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.174973	0.174874	1734374
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.175972	0.176493	1734124
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.179971	0.179212	1734474
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.182971	0.183434	1736174
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.186971	0.186246	1734274
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.187971	0.188005	1734624
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.198969	0.198794	1734524
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.204968	0.205643	1736224
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.204968	0.205484	1738122
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.266958	0.266069	1732674
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	0.296954	0.297721	1738334
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.704892	0.70448	1732874
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.830873	0.831572	1737074
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.868867	0.86851	1738175
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	2.18467	2.1857	1733124
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	2.84957	2.85064	1738281
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	2.85057	2.85147	1736424
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	3.67644	3.67806	1732474
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	5.95809	5.95992	1732924
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	7.8638	7.86667	1734774
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	8.11777	8.11979	1735074
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	10.0725	10.076	1561968
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	10.7724	10.7749	1735324
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	12.1082	12.1123	1735274
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	14.4748	14.4786	1735124
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	26.9969	27.0049	1732374
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	31.3062	31.3178	1562072
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	31.5112	31.5198	1735224
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	35.2656	35.2768	1732324
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	36.6074	36.6272	1561916
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	39.8409	39.8526	1736024
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	41.5307	41.5474	1561396
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	50.1404	50.1632	1561500
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	55.7495	55.7633	1735774
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	56.3664	56.3879	1738387
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	103.852	103.893	1735874
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	135.762	135.808	1738228
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	157.023	157.068	1735174
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	174.774	174.817	1735924
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	178.048	178.111	1561812
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	198.288	198.345	1734974
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	223.472	223.526	1738069
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	278.168	278.274	1735424
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	292.281	292.358	1732624
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	584.999	585.157	1734924
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	874.927	875.258	1562020
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	1025.81	1026.08	1725745
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	1134.61	1135.06	1561760

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.02	1200.32	1728236
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.02	1200.32	1737486
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.02	1200.32	1735974
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.02	1200.32	1730144
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.02	1200.42	1730886
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.02	1200.32	1730409
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.03	1200.52	1725692
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.03	1200.32	1562488
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.03	1200.32	1736924
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.03	1200.32	1737327
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.03	1200.42	1730727
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.03	1200.42	1732124
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.03	1200.42	1736374
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.03	1200.32	1725586
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.03	1200.42	1729190
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.04	1200.52	1728501
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.04	1200.52	1561552
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.04	1200.92	1726381
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.04	1200.42	1726699
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.04	1200.32	1734024
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.04	1200.42	1729614
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.04	1200.52	1561448
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.04	1200.42	1733874
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.04	1200.62	1730939
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.04	1200.62	1562540
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.05	1200.32	1729932
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.05	1200.72	1734724
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.05	1200.52	1735374
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.05	1200.32	1729720
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.05	1200.72	1734824
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.05	1200.32	1727070
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	? (TO)	1200.05	1200.42	1736774
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.05	1200.42	1732224
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.05	1200.52	1730568
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.05	1200.42	1725321
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.05	1200.42	1725533
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.05	1200.32	1728925
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.05	1200.52	1726010
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1729879
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.06	1200.42	1561656
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1730356
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1731628
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1731522
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.06	1200.52	1730780
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.52	1737751
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.06	1200.42	1737592
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.06	1200.42	1561084
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.06	1200.42	1560980
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1725480
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1725427
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.06	1200.42	1737539
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.06	1200.42	1736624
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1726540
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.06	1200.42	1736124
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.06	1200.32	1726646
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.06	1200.63	1726964
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.06	1200.43	1727335
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.06	1200.52	1737857
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1728554
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.06	1200.32	1729031
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.07	1200.43	1727441
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.07	1200.43	1727388
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.07	1200.42	1731924
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.07	1200.42	1735024
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.07	1200.42	1733974
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.07	1200.42	1732524
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.07	1200.42	1737433
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1729137
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.07	1200.52	1729402
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1729296
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.07	1200.43	1733174
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1725374
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.07	1200.42	1737645
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.07	1200.42	1732074
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1729773
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.07	1200.52	1561032
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.07	1200.42	1732024
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.07	1200.42	1561188
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.07	1200.42	1734874
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.07	1200.43	1727229
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.07	1200.64	1727600
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1727812
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.07	1200.53	1562332
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.07	1200.42	1735574
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1730197
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.07	1200.52	1727971
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1728130
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.07	1200.52	1562228
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	? (TO)	1200.07	1200.42	1736574
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1726063
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.07	1200.62	1728713
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.07	1200.42	1737274
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.07	1200.42	1731874
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.07	1200.42	1733424
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.07	1200.43	1733324
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1728872
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1729084
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.07	1207.02	1562592
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.08	1200.42	1734074
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.08	1200.52	1733574
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.08	1200.42	1733224
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.08	1200.52	1737698
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.08	1200.52	1737804
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.08	1200.42	1727017
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.08	1200.42	1729349
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.08	1200.42	1731310
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.08	1200.43	1733724
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1729561
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.08	1200.42	1728077
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1730091
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.08	1200.42	1733924
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1726593
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.08	1200.42	1737963
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.09	1200.42	1733624
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.09	1200.42	1562436
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.09	1200.52	1562176
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1725851
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1725798
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1725904
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1727176
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1727653
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1728024
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1727865
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1728183
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1728660
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1729508
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1730303
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1730992
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.09	1200.72	1731363
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1731469
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.09	1200.42	1731974
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.09	1200.52	1732274
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.09	1200.66	1732774
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.09	1200.42	1732824
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.09	1200.42	1733274
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.09	1200.42	1733674
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.09	1200.43	1733774
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.09	1200.42	1733824
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.09	1200.52	1735824
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.09	1200.52	1735674
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.09	1200.42	1736324
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.09	1200.52	1736724
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.09	1200.52	1737024
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	? (TO)	1200.09	1200.52	1736874
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.09	1200.42	1737124
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.09	1200.42	1737224
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.09	1200.52	1738016
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1726169
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1729985
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.1	1200.52	1729455
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1729243
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.1	1200.42	1732574
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1728978
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1728819
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.1	1200.42	1737380
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1725957
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.1	1200.42	1733524
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.1	1200.42	1733374
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1728766
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.1	1200.53	1561240
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.1	1200.64	1728395
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.1	1200.52	1734674
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.1	1200.52	1735474
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1726858
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.1	1200.52	1735624
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1726752
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.1	1200.42	1561292
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1726911
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.1	1200.52	1736074
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.1	1200.92	1726434
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.1	1200.42	1736524
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.1	1200.42	1736274
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.1	1200.42	1562280
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1726487
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1726222
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.1	1200.42	1736674
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.1	1200.82	1726328
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1731045
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1731151
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1730621
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.1	1200.52	1731204
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1731098
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1730515
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1730462
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.1	1200.42	1562384
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.11	1200.52	1561708
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1730038
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.11	1200.52	1731575
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.11	1200.42	1736474
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.11	1200.42	1731824
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.11	1200.52	1726116
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.11	1200.62	1732974
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.11	1200.42	1733074
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1728607
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1725639
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.11	1200.52	1737910
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1728342
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.11	1200.43	1728289
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1727918
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.11	1200.42	1561344
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1727123
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.11	1200.53	1727282
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1731257
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.11	1200.42	1736974
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.11	1200.42	1561136
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1729826
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1730833
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.11	1200.42	1735724
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.11	1200.62	1726275
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1726805
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.12	1200.52	1730250
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.12	1200.42	1728448
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.12	1200.72	1736824
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.12	1200.52	1727706
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.12	1200.45	1727547
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.12	1200.42	1725268
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.12	1200.52	1735524
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.12	1200.42	1731681
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.12	1200.42	1729667
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	1200.12	1200.52	1732424
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.12	1200.72	1731416
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.12	1200.63	1730674
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.12	1200.52	1732174
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.12	1200.42	1727759
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.13	1200.65	1727494
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.13	1200.52	1562124
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.13	1200.52	1733474

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.162975	0.162951	1529043
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.166974	0.167025	1529175
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.167973	0.167478	1528941
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.168973	0.169172	1529148
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.168973	0.168728	1529094
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.169973	0.170449	1529031
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.169973	0.170468	1529082
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.169973	0.170336	1529046
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.170973	0.171766	1529169
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.171972	0.17212	1529160
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.171973	0.173175	1529112
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.171973	0.172316	1529001
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.172973	0.173643	1529025
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.172973	0.172191	1529181
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.172973	0.173382	1528965
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.172973	0.173169	1528953
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.175972	0.17553	1529154
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.175972	0.176158	1529121
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.175972	0.176998	1528992
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.175972	0.176858	1528974
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.175972	0.176067	1528251
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.176972	0.177214	1528917
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.176972	0.177508	1529145
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.176972	0.176312	1528221
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.176972	0.177352	1529115
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.178972	0.179787	1528914
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.178972	0.179341	1528218
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.179971	0.180895	1529163
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.179971	0.180428	1528278
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.179971	0.179981	1529088
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.179972	0.180022	1529193
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.180971	0.1802	1529034
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.180972	0.181873	1528215
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.184971	0.186082	1528257
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.184971	0.18621	1528887
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.18597	0.186212	1529139
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.18697	0.187097	1529097
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.186971	0.187055	1529016
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.186971	0.186977	1529004
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.18897	0.189794	1529076
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.18897	0.189727	1528971
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.18897	0.189332	1528884
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.19197	0.19284	1528230
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.19197	0.191904	1529061
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.19297	0.192545	1528224
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.194969	0.19628	1528263
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.19497	0.195159	1528293
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.19597	0.196059	1529040
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.196969	0.197022	1529187
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.196969	0.19901	1528191
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.197969	0.198196	1528260
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.198969	0.199541	1528878
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.199968	0.200978	1528212
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.200969	0.201037	1529133
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.202968	0.203463	1528932
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.202968	0.202402	1529136
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.202968	0.203505	1528266
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.202969	0.203451	1528968
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.204968	0.204131	1528179
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.205968	0.206049	1528947
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.208967	0.209672	1528209
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.211967	0.213294	1528929
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.212966	0.213343	1529103
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.214966	0.215612	1529067
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	0.219965	0.219544	1528281
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.222965	0.223094	1529196
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.222965	0.224111	1528872
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.223965	0.223939	1529130
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.223965	0.22407	1529010
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.224965	0.22601	1528938
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.225965	0.226389	1528245
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.227964	0.23029	1528233
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.230964	0.231902	1528977
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.236963	0.23709	1528248
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.237963	0.23665	1529142
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.244962	0.245287	1529157
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.25196	0.252326	1528881
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.25396	0.254584	1528923
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.258959	0.257842	1529037
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.265959	0.266314	1527801
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.266959	0.267961	1528980
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	0.271958	0.273154	1528515
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.273957	0.274801	1528275
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.279957	0.280005	1528986
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.280956	0.281632	1529184
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.286955	0.290403	1529151
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.286956	0.28695	1529124
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.287955	0.288182	1528944
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.289955	0.290542	1529058
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.292954	0.294152	1528182
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	0.299954	0.30037	1527789
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.304953	0.305326	1529028
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.310952	0.311696	1528869
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.311952	0.311765	1528200
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	0.341947	0.342491	1529190
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.347946	0.346606	1528995
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.351946	0.352086	1528890
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.364943	0.367373	1528962
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.366943	0.367838	1528956
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.378941	0.380989	1529070
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.38494	0.385413	1528188
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.39194	0.391135	1529178
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.392939	0.393536	1528911
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.39394	0.394892	1528896
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.401938	0.401934	1528197
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.401938	0.402815	1528902
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.401938	0.401945	1528437
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.405937	0.404986	1529079
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.407937	0.408056	1529007
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.409936	0.410965	1528935
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.410937	0.411206	1528950
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.414936	0.415494	1528236
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.417935	0.418559	1528242
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.419935	0.420129	1528284
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.427934	0.428248	1529100
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.429934	0.429575	1528908
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.439933	0.439743	1528296
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	0.441931	0.442741	1529049
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.444931	0.445815	1528926
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.446931	0.447963	1529073
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.449931	0.450636	1528227
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	0.461929	0.462239	1528422
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.475927	0.476731	1529055
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	0.481925	0.481371	1528419
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	0.484925	0.485344	1528503
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.491924	0.492753	1529109
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.496923	0.497811	1528989
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.555915	0.554966	1527810
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.561914	0.562221	1529019
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.571912	0.572184	1529118
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.614905	0.615108	1528194
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	0.642902	0.644162	1528446
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.6549	0.654662	1528920
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	0.655899	0.656258	1528479
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.662899	0.663729	1529127
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.703892	0.704766	1528239
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	0.71789	0.718292	1528431
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.778881	0.77822	1528893
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.78288	0.78337	1529172
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.826873	0.827485	1528500
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	0.826873	0.827262	1528203
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.847871	0.849263	1529052
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.866868	0.867262	1529091
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	1.03384	1.03363	1528428
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	1.04984	1.04994	1527960
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	1.05284	1.0534	1528272
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	1.06084	1.06225	1527795
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	1.08483	1.08541	1529013
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	1.17382	1.17321	1528290
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	1.18482	1.18581	1528347
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	1.24681	1.24752	1528899
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	1.35079	1.34998	1529085
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	1.38479	1.38532	1528434
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	1.38779	1.38874	1528269
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	1.44478	1.44573	1528185
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	1.45478	1.45422	1528494
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	1.47378	1.47443	1527951
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	1.54377	1.54543	1527945
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	1.70574	1.70662	1529022
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	1.71874	1.71903	1527798
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	1.76573	1.7722	1529064
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	1.82572	1.82675	1528491
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	2.05969	2.06058	1527804
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	2.10568	2.10695	1527792
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	2.12468	2.12505	1528521
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	2.15167	2.15267	1528425
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	2.15867	2.15958	1528905
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	2.27065	2.26982	1528449
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	2.28265	2.28364	1528512
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	2.29865	2.2997	1528497
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	2.30965	2.31066	1528458
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	2.31565	2.31707	1527807
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	2.32665	2.32809	1528443
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	2.40263	2.40371	1529106
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	2.6146	2.617	1528461
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	3.05253	3.05352	1528983
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	3.19051	3.19034	1528452
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	3.20251	3.20342	1528206
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	3.20751	3.20759	1528530
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	4.46232	4.46407	1527957
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	4.70228	4.71136	1528998
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	4.81927	4.8255	1529166
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	5.04723	5.0494	1528287
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	5.65714	5.65953	1528440
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	5.85711	5.85916	1528473
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	5.99209	5.99555	1528875
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	6.48201	6.48414	1528536
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	6.72798	6.72802	1528527
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	6.97794	6.97981	1528392
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	7.27889	7.28124	1528467
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	7.50686	7.51109	1527948
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	7.8758	7.87859	1528485
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	8.15576	8.1591	1528464
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	8.46871	8.47261	1528524
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	8.97363	8.97719	1528356
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	9.54355	9.54634	1528482
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	9.66053	9.66281	1528509
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	9.8655	9.86778	1527540
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	11.4403	11.4432	1528488
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	11.6662	11.6679	1528518
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	11.9362	11.9397	1528470
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	12.3721	12.3771	1528455
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	12.838	12.8424	1528476
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	13.439	13.4436	1528254
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	13.7599	13.7631	1527954
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	13.8509	13.8548	1527900
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	16.6345	16.6399	1527849
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	17.7443	17.7509	1527861
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	17.9063	17.9111	1528374
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	19.497	19.5001	1527966
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	21.1278	21.1331	1527633
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	22.5696	22.5796	1528959
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	23.8804	23.8884	1527906
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	25.2022	25.2077	1528533
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	28.2898	14.2044	1527816
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	28.9286	28.9358	1527813
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	31.9151	31.9259	1527885
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	34.0458	34.0556	1527942
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	35.2206	35.2415	1528506
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	45.0941	45.1058	1527852
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	52.767	52.7802	1527963
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	53.0409	53.0578	1527825
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	58.1352	58.1524	1527846
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	58.3541	58.3711	1527855
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	63.6023	63.6247	1527843
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	71.8641	71.8893	1527894
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	76.9773	76.9963	1527837
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	79.2679	79.3015	1527873
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	83.9002	83.9239	1527858
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	85.0621	85.0887	1527882
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	85.572	85.6075	1527621
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	91.804	91.8286	1527774
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	97.4112	97.4451	1527933
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	121.366	121.396	1527759
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	152.124	152.166	1527996
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	160.539	160.581	1527867
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	184.165	184.227	1527519
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	186.769	186.836	1528029
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	191.048	191.101	1527975
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	198.447	198.52	1527888
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	206.068	206.118	1528056
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	232.489	232.549	1527822
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	236.835	236.899	1527630
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	237.362	237.449	1527771
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	248.274	248.358	1527765
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	257.934	257.997	1527786
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT	262.114	262.081	1527891
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	271.922	271.999	1528398
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	SAT	301.286	301.403	1527939
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	339.969	340.058	1527768
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	349.543	349.666	1527876
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	349.708	349.94	1527588
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	358.258	358.359	1527828
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	374.107	374.196	1527783
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	393.133	393.279	1527897
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	399.195	399.334	1527618
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	416.227	416.327	1527627
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	427.462	427.741	1527936
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	SAT	474.256	474.409	1527978
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	495.856	495.983	1528041
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	503.544	503.834	1527537
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	529.219	529.35	1527615
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	564.864	565.109	1528017
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	573.805	574.019	1527819
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	576.1	576.305	1527636
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	580.425	580.568	1528044
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	603.827	604.039	1527864
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	SAT	620.957	621.162	1527834
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	SAT	640.219	640.393	1527921
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	661.979	662.203	1527981
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	664.584	664.822	1527525
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	666.47	666.717	1527777
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	679.548	679.787	1527780
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	903.16	903.411	1527744
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	906.213	906.463	1527831
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	962.449	962.706	1527762
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	1020.99	1021.27	1528020
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	1060.25	1060.52	1527840
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	1062.61	1062.91	1527879
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	SAT	1070	1070.34	1528011
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	1172.12	1172.42	1527969

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	? (TO)	1200.02	1200.52	1528782
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.02	1200.62	1527522
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	? (TO)	1200.02	1200.32	1528749
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (TO)	1200.03	1200.32	1528131
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.03	1200.42	1527591
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	? (TO)	1200.03	1200.32	1528803
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.03	1200.32	1527660
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.03	1200.32	1527681
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.03	1200.42	1527714
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	? (TO)	1200.03	1200.42	1528677
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.03	1200.32	1528341
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	? (TO)	1200.03	1200.42	1528848
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.03	1200.42	1528638
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	? (TO)	1200.03	1200.42	1528659
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	? (TO)	1200.03	1200.62	1528551
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.03	1200.32	1528410
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.03	1200.32	1528755
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	? (TO)	1200.03	1200.42	1528779
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	? (TO)	1200.03	1200.32	1528851
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.03	1200.32	1528407
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.03	1200.42	1528350
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.03	1200.42	1527546
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.03	1200.52	1527507
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.03	1200.42	1527993
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.03	1200.32	1527990
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.03	1200.32	1527918
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.03	1200.32	1527723
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	? (TO)	1200.04	1200.32	1528833
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.04	1200.42	1528650
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.04	1200.42	1528065
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	? (TO)	1200.04	1200.52	1528827
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	? (TO)	1200.04	1200.52	1528854
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.04	1200.42	1527699
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.04	1200.42	1527909
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.04	1200.42	1527657
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	? (TO)	1200.05	1200.42	1528125
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.05	1200.42	1528584
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	? (TO)	1200.05	1200.42	1528668
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	? (TO)	1200.05	1200.42	1528806
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.05	1200.42	1527579
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	? (TO)	1200.05	1200.42	1527597
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.05	1200.42	1527720
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	? (TO)	1200.05	1200.42	1528776
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	? (TO)	1200.05	1200.42	1528317
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	1200.05	1200.42	1527624
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.05	1200.42	1527678
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	? (TO)	1200.05	1200.42	1528707
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	? (TO)	1200.06	1200.52	1528683
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	1200.06	1200.42	1527552
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.06	1200.32	1527972
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	? (TO)	1200.06	1200.52	1528674
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	? (TO)	1200.06	1200.52	1528689
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.06	1200.52	1528632
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.06	1200.42	1528560
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	? (TO)	1200.06	1200.42	1528860
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.06	1200.42	1527705
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	? (TO)	1200.06	1200.42	1528116
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.06	1200.62	1527528
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.06	1200.42	1528545
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	? (TO)	1200.06	1200.42	1528608
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.06	1200.42	1528734
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.06	1200.42	1527642
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.06	1200.32	1528590
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.06	1200.52	1527741
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.06	1200.72	1527645
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	? (TO)	1200.07	1200.52	1528866
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.07	1200.52	1527984
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.07	1200.52	1528053
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.07	1200.52	1528359
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	? (TO)	1200.07	1200.42	1528797
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.07	1199.92	1527504
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.07	1200.52	1527516
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	1200.07	1200.42	1527489
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	1200.07	1200.42	1527609
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.07	1200.42	1527684
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.07	1199.92	1527915
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.07	1199.92	1527927
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.07	1200.42	1528026
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.07	1200.42	1528074
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	? (TO)	1200.07	1200.52	1528101
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	? (TO)	1200.07	1200.52	1528113
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (TO)	1200.07	1206.12	1528128
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.07	1200.42	1528149
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.07	1200.42	1528164
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.07	1200.52	1528170
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.07	1200.42	1528173
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (TO)	1200.07	1200.52	1528305
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (TO)	1200.07	1200.42	1528302
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.07	1200.52	1528329
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.07	1200.42	1528335
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (TO)	1200.07	1200.42	1528362
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.07	1200.52	1528413
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.07	1200.42	1528596
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	? (TO)	1200.07	1200.52	1528614
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	? (TO)	1200.07	1200.42	1528626
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	? (TO)	1200.07	1200.52	1528704
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	? (TO)	1200.07	1200.42	1528710
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	? (TO)	1200.07	1200.42	1528758
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.07	1200.42	1528767
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	? (TO)	1200.07	1200.42	1528794
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	? (TO)	1200.07	1200.42	1528812
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	? (TO)	1200.07	1200.52	1528809
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	? (TO)	1200.07	1200.42	1528821
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	? (TO)	1200.07	1200.52	1528839
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	? (TO)	1200.07	1200.42	1528842
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	? (TO)	1200.08	1200.52	1528095
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	? (TO)	1200.08	1200.42	1528791
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.08	1200.52	1528395
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.08	1200.52	1528656
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (TO)	1200.08	1200.42	1528137
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.08	1200.42	1528557
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200.08	1200.52	1528038
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.08	1200.42	1528740
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.08	1200.42	1528047
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.08	1200.42	1528743
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	? (TO)	1200.08	1200.42	1528089
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (TO)	1200.08	1200.42	1528122
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	? (TO)	1200.08	1200.42	1528857
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	? (TO)	1200.08	1200.42	1528824
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.08	1200.42	1528176
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (TO)	1200.08	1200.52	1528134
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.08	1200.52	1528344
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.08	1200.52	1528389
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.08	1200.52	1528068
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	1200.08	1200.42	1527594
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.08	1200.52	1528014
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	? (TO)	1200.08	1200.42	1528830
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	? (TO)	1200.08	1200.42	1528299
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	? (TO)	1200.08	1200.52	1528713
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.09	1200.42	1528416
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.09	1200.42	1527666
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	? (TO)	1200.09	1200.42	1528671
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.09	1200.52	1528746
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (TO)	1200.09	1200.52	1528320
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.09	1200.42	1527987
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	? (TO)	1200.09	1200.52	1528761
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.09	1200.52	1527732
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	? (TO)	1200.09	1200.42	1528752
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.09	1200.42	1528731
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.09	1200.52	1528071
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.09	1200.42	1528077
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.09	1200.52	1527690
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	? (TO)	1200.09	1200.42	1528104
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	? (TO)	1200.09	1200.42	1528788
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.09	1200.52	1527756
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.09	1200.42	1527687
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (TO)	1200.09	1200.42	1528143
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.09	1200.52	1528167
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.09	1200.42	1527501
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	? (TO)	1200.09	1200.42	1528308
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.09	1200.42	1527510
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (TO)	1200.09	1200.42	1528314
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	? (TO)	1200.09	1200.42	1528815
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.09	1200.52	1527696
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.09	1200.52	1528353
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.09	1200.52	1528383
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.09	1200.52	1528371
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.09	1200.42	1528032
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.09	1200.52	1527675
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.09	1200.42	1528062
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	? (TO)	1200.09	1200.42	1528623
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (TO)	1200.09	1200.52	1527576
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.09	1200.52	1527654
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.09	1200.52	1528572
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.09	1200.42	1528578
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.09	1200.52	1528581
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.09	1200.42	1528770
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	? (TO)	1200.09	1200.52	1528599
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.09	1200.42	1527603
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	? (TO)	1200.09	1200.52	1528620
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	1200.09	1200.42	1527558
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.09	1200.62	1527639
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.1	1200.82	1528332
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.1	1200.42	1528554
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (TO)	1200.1	1200.52	1528326
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.1	1200.42	1527534
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	? (TO)	1200.1	1200.42	1528686
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.1	1200.52	1527570
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	? (TO)	1200.1	1200.52	1528092
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	? (TO)	1200.1	1200.42	1528695
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.1	1200.42	1528764
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.1	1200.42	1528641
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.1	1200.42	1527663
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	1200.1	1200.42	1527747
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.1	1200.42	1528368
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.1	1200.42	1528380
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.1	1200.52	1528377
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	1200.1	1200.52	1527612
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.1	1200.42	1528587
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.1	1200.52	1528647
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.1	1200.52	1528086
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	? (TO)	1200.1	1200.52	1528107
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.1	1200.52	1527549
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	? (TO)	1200.1	1200.42	1528611
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	? (TO)	1200.1	1200.42	1528605
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.1	1200.42	1528719
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.1	1200.52	1527708
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.1	1200.42	1528737
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.1	1200.52	1528002
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.1	1200.42	1527870
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.1	1200.42	1528728
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.1	1200.52	1528635
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	1200.1	1200.42	1527513
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (TO)	1200.1	1200.42	1528140
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.1	1200.42	1528152
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (TO)	1200.1	1200.52	1528146
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.1	1200.42	1528155
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.1	1200.42	1527564
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.1	1200.42	1527585
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.1	1200.52	1528161
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.1	1200.42	1527711
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.1	1200.42	1527726
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.1	1200.42	1527495
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	? (TO)	1200.1	1200.62	1528701
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.1	1200.42	1527492
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.1	1200.42	1528548
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (TO)	1200.1	1200.52	1528311
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	? (TO)	1200.1	1200.42	1528110
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.1	1200.42	1528575
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	? (TO)	1200.1	1200.42	1528665
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.11	1200.42	1527738
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.11	1200.42	1527912
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.11	1200.42	1527903
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.11	1200.52	1527924
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.11	1200.82	1527531
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.11	1200.42	1528023
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.11	1200.52	1527999
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	1200.11	1200.42	1528035
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.11	1200.52	1528059
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.11	1200.62	1528083
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.11	1200.42	1528080
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	? (TO)	1200.11	1200.42	1528773
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.11	1200.42	1527561
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	1200.11	1200.42	1527543
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	? (TO)	1200.11	1200.42	1528785
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.11	1200.42	1528158
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.11	1200.52	1527693
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	? (TO)	1200.11	1200.42	1528818
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	? (TO)	1200.11	1200.72	1528836
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.11	1200.42	1528365
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	? (TO)	1200.11	1200.42	1528863
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.11	1200.42	1528386
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	? (TO)	1200.11	1200.52	1528800
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.11	1200.42	1528404
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	? (TO)	1200.11	1200.52	1528542
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.11	1200.42	1528653
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.11	1200.52	1528563
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.11	1200.42	1527651
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.11	1200.42	1528593
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	? (TO)	1200.11	1200.42	1528602
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.11	1200.52	1528539
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	? (TO)	1200.11	1200.52	1528692
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.11	1200.42	1528722
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	? (TO)	1200.11	1200.42	1528716
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	1200.11	1200.42	1527600
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.11	1200.52	1527672
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.11	1200.42	1527648
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.11	1200.42	1527573
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.11	1200.42	1527498
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.11	1200.52	1527735
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.11	1200.42	1527717
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.11	1200.42	1527750
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	? (TO)	1200.11	1200.42	1527729
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	1200.11	1200.52	1527753
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.11	1200.42	1527567
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.11	1200.42	1527606
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.12	1200.52	1528005
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.12	1200.52	1528566
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.12	1200.42	1528569
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.12	1200.52	1528401
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.12	1200.42	1527930
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.12	1200.42	1528008
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.12	1200.52	1528050
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.12	1200.52	1528629
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	? (TO)	1200.12	1200.42	1528617
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (TO)	1200.12	1200.62	1528119
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	? (TO)	1200.12	1200.52	1528098
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.12	1200.52	1528725
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	? (TO)	1200.12	1200.52	1528698
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	? (TO)	1200.12	1200.42	1528680
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.12	1200.82	1528338
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	? (TO)	1200.12	1200.42	1528662
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.12	1200.52	1527669
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.12	1200.52	1527555
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.12	1200.42	1528644
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	? (TO)	1200.12	1200.52	1528845
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.12	1200.42	1527582
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	? (TO)	1200.13	1200.52	1528323
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.13	1200.42	1527702

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

Result page for solver gnovelty+ 2009-03-22 (incomplete)

Category "applications instances" (APPLICATION)

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (16 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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