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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	1.06484	1.06621	1718838

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	2.94055	2.94276	1721728
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	3.70744	3.70925	1722128
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	16.2285	16.2349	1721328
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	16.2985	16.3066	1722028
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	22.3046	22.3117	1722478
industrial/grieu/ vmpc_24.cnf	SAT	28.0677	28.0762	1718526
industrial/grieu/ vmpc_26.cnf	SAT	491.212	491.33	1718734
industrial/grieu/ vmpc_25.cnf	SAT	694.631	694.79	1718370
industrial/grieu/ vmpc_30.cnf	SAT	816.835	817.077	1718422

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.01	1200.31	1554848
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.01	1200.31	1554432
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (TO)	1200.02	1200.41	1560152
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.02	1200.41	1562700
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.02	1200.41	1721428
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.02	1200.41	1723078
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.02	1200.31	1556148
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.02	1200.31	1721278
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.02	1200.41	1556824
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.02	1200.41	1563116
goldb-heqc-term1mul.cnf	? (TO)	1200.02	1200.31	1723646
hoons-vbmc-lucky7.cnf	? (TO)	1200.02	1200.31	1719878
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.02	1200.31	1718578
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.02	1206.01	1559320
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.02	1200.41	1717642
manol-pipe-c9.cnf	? (TO)	1200.02	1200.31	1724374
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.02	1200.31	1560620
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.02	1200.31	1560360
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1722578
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.03	1200.51	1553236
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.03	1207.12	1579416
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1721778
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.03	1200.31	1563220
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.03	1200.41	1717018
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.03	1200.52	1717694
manol-pipe-g6bi.cnf	? (TO)	1200.03	1200.41	1723750
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.03	1200.41	1557084
manol-pipe-c7bidw_i.cnf	? (TO)	1200.03	1200.32	1724270
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.03	1199.93	1715874
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.03	1200.51	1558852
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.03	1200.32	1717330
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.03	1200.31	1559684
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.03	1200.33	1716602
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.04	1200.52	1581964
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.04	1200.51	1557500
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.04	1200.51	1554120
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.04	1200.51	1558072
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.04	1200.51	1559528
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.04	1200.51	1716810
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.04	1200.51	1716966
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.04	1200.51	1717070
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.04	1200.72	1582744
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.04	1200.41	1718682
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.04	1200.31	1553184
mizh-md5-47-3.cnf	? (TO)	1200.04	1200.31	1719514
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.04	1200.51	1554172
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.04	1200.41	1554692
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.04	1200.41	1721978
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.05	1200.41	1559216
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.05	1200.41	1717850
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.05	1200.41	1562804
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.05	1200.42	1580560
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.05	1200.41	1720138
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.05	1200.41	1724218
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.05	1200.51	1557812
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.05	1200.61	1556512
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.05	1200.53	1715614
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.05	1200.41	1722278
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.05	1200.41	1559788
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.05	1200.41	1562908
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.05	1200.43	1554536
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.05	1200.44	1563272
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.05	1200.41	1716914
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.05	1200.41	1562960
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.05	1200.41	1560464
simon-s02b-dp11u10.cnf	? (TO)	1200.05	1200.51	1723854
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.05	1206.11	1558800
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.06	1200.51	1556564
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.06	1200.42	1716706
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1721828
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.06	1200.62	1556252
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1722978
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.06	1200.41	1563584
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.06	1200.42	1563688
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.41	1722428
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.06	1200.41	1556460
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.06	1200.64	1579364
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.06	1200.41	1722528
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (TO)	1200.06	1200.51	1560412
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.06	1200.52	1579468
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.06	1200.51	1718266
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.06	1200.42	1553392
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.06	1200.41	1553496
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.06	1200.41	1553808
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.06	1200.53	1553860
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.06	1200.51	1555056
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.06	1200.64	1723802
manol-pipe-f9b.cnf	? (TO)	1200.06	1200.42	1719982
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.06	1200.41	1723594
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.06	1200.62	1555888
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.06	1200.41	1721378
goldb-heqc-alu4mul.cnf	? (TO)	1200.06	1200.51	1721022
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.51	1721178
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.06	1200.41	1721228
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.06	1200.41	1559736
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.06	1200.41	1558228
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.06	1200.41	1559372
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.06	1200.51	1559944
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.07	1200.41	1718110
mizh-sha0-36-4.cnf	? (TO)	1200.07	1200.51	1720242
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.07	1200.52	1715926
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.07	1200.53	1578948
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.07	1200.53	1577700
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.07	1200.41	1555628
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.07	1200.52	1717590
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.07	1200.66	1563740
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.07	1200.63	1580092
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.07	1200.43	1580144
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1722828
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.07	1206.11	1556096
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.07	1200.64	1580040
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (TO)	1200.07	1200.41	1560672
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.07	1200.43	1716238
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.07	1200.51	1723028
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.07	1200.41	1560724
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.07	1200.43	1716290
goldb-heqc-frg1mul.cnf	? (TO)	1200.07	1200.41	1719670
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1722178
schup-l2s-guid-1-k56.cnf	? (TO)	1200.07	1200.51	1724114
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.07	1200.51	1560048
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.07	1200.62	1581600
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.07	1200.41	1554588
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.07	1200.41	1718058
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.07	1200.51	1557968
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.08	1200.44	1716394
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.08	1200.41	1719618
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.08	1200.41	1720918
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.08	1200.51	1722378
manol-pipe-f10ni.cnf	? (TO)	1200.08	1200.53	1724062
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.08	1200.43	1715822
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.08	1200.43	1715978
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.08	1200.41	1717122
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.08	1200.41	1718214
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.08	1200.51	1718318
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.08	1200.38	1719046
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.08	1200.44	1719150
mizh-md5-47-4.cnf	? (TO)	1200.08	1200.41	1720554
manol-pipe-c6bidw_i.cnf	? (TO)	1200.08	1200.51	1720294
cmu-bmc-longmult15.cnf	? (TO)	1200.08	1200.41	1720658
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1722778
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.08	1200.41	1723386
goldb-heqc-i10mul.cnf	? (TO)	1200.08	1200.51	1723438
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.08	1200.41	1723698
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.08	1200.51	1556772
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.08	1200.51	1556720
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.08	1200.51	1556044
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.08	1200.51	1554744
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.08	1200.43	1581080
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.08	1200.41	1553340
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.08	1200.53	1580248
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.08	1200.94	1563636
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.08	1200.63	1563480
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.08	1200.52	1563376
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.08	1200.41	1562648
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.08	1200.63	1577492
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.08	1200.41	1563168
manol-pipe-c6nidw_i.cnf	? (TO)	1200.09	1200.51	1724478
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.09	1200.41	1560308
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.09	1200.62	1716342
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.09	1200.43	1724426
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.09	1200.53	1716082
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.09	1200.41	1559632
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.09	1200.41	1558436
simon-s03-fifo8-300.cnf	? (TO)	1200.09	1200.62	1724166
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.09	1200.51	1559268
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.09	1200.41	1559008
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.09	1200.42	1715718
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.51	1555264
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.09	1200.41	1557708
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1722878
simon-s03-w08-15.cnf	? (TO)	1200.09	1200.42	1719774
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.09	1200.43	1555160
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.09	1200.67	1719722
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.09	1200.41	1563064
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.09	1200.42	1719098
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.09	1200.41	1562856
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.09	1200.51	1556616
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.09	1200.43	1717954
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.09	1200.63	1579832
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.09	1200.41	1718162
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.09	1200.41	1718630
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.09	1200.41	1718474
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.09	1200.43	1581340
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.09	1200.62	1578220
cmu-bmc-barrel6.cnf	? (TO)	1200.09	1200.51	1719566
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.09	1200.51	1562752
manol-pipe-c10nid_i.cnf	? (TO)	1200.09	1200.62	1720762
mizh-md5-48-5.cnf	? (TO)	1200.09	1200.41	1721126
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.09	1200.41	1557604
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.09	1200.41	1560932
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (TO)	1200.09	1200.41	1560828
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.09	1200.42	1717434
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.09	1200.42	1717226
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.09	1200.43	1717174
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.09	1200.41	1560568
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.1	1200.41	1555472
manol-pipe-g7nidw.cnf	? (TO)	1200.1	1200.41	1724322
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.1	1200.43	1716030
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.1	1200.41	1553288
aloul-chnl11-13.cnf	? (TO)	1200.1	1200.41	1720398
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.1	1200.41	1721678
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.1	1200.53	1719306
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.1	1200.41	1721528
goldb-heqc-x1mul.cnf	? (TO)	1200.1	1200.71	1719462
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.1	1200.61	1557032
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.1	1200.66	1718994
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.1	1200.43	1582172
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.1	1200.51	1716862
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.1	1200.52	1554900
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.1	1200.41	1563012
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.1	1200.43	1720346
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.1	1200.45	1577544
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.1	1200.41	1722628
manol-pipe-c10nidw.cnf	? (TO)	1200.1	1200.43	1720086
manol-pipe-g10nid.cnf	? (TO)	1200.1	1200.42	1720190
manol-pipe-g10id.cnf	? (TO)	1200.1	1200.42	1723542
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.1	1200.63	1581496
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.1	1200.41	1558020
manol-pipe-g10bidw.cnf	? (TO)	1200.1	1200.52	1723282
mizh-sha0-36-3.cnf	? (TO)	1200.1	1200.41	1719826
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.51	1721878
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.1	1200.41	1556876
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.1	1200.51	1717486
goldb-heqc-dalumul.cnf	? (TO)	1200.1	1200.41	1720450
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.1	1200.42	1716654
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.1	1200.72	1717902
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.1	1200.51	1560880
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.1	1200.44	1577856
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.1	1200.63	1580352
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.11	1200.63	1716550
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.11	1200.51	1556356
mizh-sha0-35-3.cnf	? (TO)	1200.11	1200.41	1720710
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.11	1200.53	1581912
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.11	1200.62	1581756
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.11	1200.64	1717746
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.11	1200.42	1554016
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.11	1200.43	1577648
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.11	1200.41	1718890
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.11	1200.52	1579988
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.11	1200.43	1577908
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.11	1200.42	1717538
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.11	1200.43	1716498
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.11	1200.72	1716134
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.11	1200.51	1558488
mizh-sha0-36-2.cnf	? (TO)	1200.11	1200.41	1724010
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.11	1200.43	1580768
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.11	1200.42	1723906
manol-pipe-c7nidw.cnf	? (TO)	1200.11	1200.62	1723490
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1723128
manol-pipe-c10nidw_s.cnf	? (TO)	1200.11	1200.43	1723230
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.12	1200.63	1582432
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.12	1200.45	1717278
manol-pipe-f9n.cnf	? (TO)	1200.12	1200.52	1723958
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.12	1200.42	1718006
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.12	1200.42	1579884
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.12	1200.53	1582016
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.12	1200.44	1716758
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.12	1200.41	1554224
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.12	1200.52	1715666
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.12	1200.44	1719930
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.12	1200.63	1715770
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.12	1200.42	1716186
schup-l2s-motst-2-k315.cnf	? (TO)	1200.12	1200.44	1720034
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.12	1200.41	1560100
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.12	1200.62	1716446
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.12	1200.44	1717382
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.12	1200.63	1578792
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.13	1200.44	1563324
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.13	1200.58	1577752
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.13	1200.43	1580872
industrial/narain/ clauses-8.cnf	? (TO)	1200.13	1200.61	1718786
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.13	1200.74	1717798
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.14	1200.44	1577596
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.15	1200.66	1577804
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.19	1200.79	1718942
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200.2	1200.67	1723178
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.21	1200.63	1719254
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.21	1200.74	1719202
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.24	1200.67	1723334

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	41.6607	42.1031	1563428
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	61.8056	61.8795	1719358
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	64.9411	64.9818	1719410

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.016996	0.017821	1737078
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.022995	0.0233521	1734228
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.027994	0.0285921	1734378
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.030994	0.0312209	1734128
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.043992	0.0451099	1734178
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.044992	0.0443131	1733028
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.050991	0.0508621	1734478
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.051991	0.052052	1736428
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.054991	0.053847	1734428
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.05699	0.0573131	1734328
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.059989	0.0606199	1734578
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.063989	0.064342	1736178
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.064989	0.065166	1734278
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.073988	0.0744389	1734628
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.100984	0.100449	1734528
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.136979	0.135966	1736228
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.251961	0.252383	1738179
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	1.3308	1.33062	1733278
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	2.04569	2.04603	1732678
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	3.13752	3.13993	1736778
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	13.5379	13.542	1738126
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	46.095	46.1063	1738338
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	98.3241	98.3459	1732478
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	144.191	144.24	1732878
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	168.054	168.114	1732378
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	181.354	181.403	1738073
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	202.071	202.126	1738285
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	293.667	293.775	1736528
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	443.066	443.391	1730201
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	550.631	550.779	1735328
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	576.261	576.416	1725378
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	595.226	595.495	1735278
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	908.524	908.781	1735128

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.01	1200.31	1732228
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1725431
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1729565
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1729035
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1728134
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1730837
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.01	1200.31	1737490
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.02	1200.31	1562388
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.02	1200.41	1735928
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1730519
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.02	1200.41	1737437
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1731261
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.02	1200.41	1737543
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.02	1200.91	1726438
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.02	1200.61	1737755
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.02	1200.41	1731828
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1728929
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.02	1200.41	1732178
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1731155
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.02	1200.41	1736828
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.02	1200.41	1736078
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1731049
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.03	1199.91	1736678
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1730307
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.03	1200.61	1737808
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1725855
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.03	1200.51	1561088
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.03	1200.91	1726385
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1731473
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.03	1200.52	1732928
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (TO)	1200.03	1200.61	1561400
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1728346
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.03	1200.42	1728717
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1730784
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.04	1200.62	1727445
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1726544
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.04	1200.41	1737861
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.04	1200.41	1734828
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.04	1213.01	1726491
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	? (TO)	1200.04	1200.51	1734778
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1729353
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1728611
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.04	1200.41	1562336
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1730466
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1728452
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731208
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727180
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1728505
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.05	1200.41	1735628
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.05	1200.41	1562180
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.05	1200.41	1737596
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.05	1200.41	1733128
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.05	1200.41	1732978
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725272
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730943
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.05	1200.41	1732528
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.05	1200.41	1561348
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730625
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1727763
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.05	1200.51	1562544
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	? (TO)	1200.05	1200.41	1736878
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.05	1200.41	1737331
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.05	1200.41	1561192
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728028
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.05	1200.41	1736378
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730731
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1731102
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729671
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1728770
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.06	1200.41	1735428
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.06	1200.51	1736328
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.06	1200.41	1734928
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725484
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	? (TO)	1200.06	1200.41	1735228
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.06	1200.61	1737702
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725590
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725961
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726120
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728823
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726014
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726067
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1730254
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729724
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.06	1200.41	1736928
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726650
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.06	1200.41	1561296
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.06	1200.41	1562492
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.06	1200.41	1735378
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726915
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730148
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731314
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1727233
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	? (TO)	1200.06	1207.02	1561920
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1730996
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.06	1199.91	1727710
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.06	1200.41	1560984
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727869
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.06	1200.41	1561816
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729777
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1737128
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729512
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.06	1200.41	1732578
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.06	1200.41	1733678
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.06	1200.51	1733578
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.06	1200.41	1737028
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.06	1200.41	1734728
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731367
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.07	1200.41	1735728
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.07	1200.43	1733178
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.07	1200.51	1735478
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.07	1200.41	1735028
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.07	1200.81	1726173
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1726332
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726279
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	? (TO)	1200.07	1200.41	1562076
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1727074
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1727657
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1727816
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1727922
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.07	1200.41	1561712
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728187
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728664
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1728876
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729194
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1729141
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729300
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (TO)	1200.07	1200.42	1561504
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729618
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.07	1200.51	1736478
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.07	1200.41	1732628
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.07	1200.41	1738020
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.07	1200.41	1731928
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.07	1200.51	1732128
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.07	1200.51	1736278
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.07	1200.63	1732778
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733828
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728558
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.08	1200.51	1737384
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.08	1200.41	1738391
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.08	1200.63	1727339
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.08	1200.41	1738232
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	? (TO)	1200.08	1200.41	1562024
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1731526
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727127
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733528
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.08	1200.65	1726968
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726756
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726862
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725325
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.08	1200.51	1561140
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.08	1200.41	1733928
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.08	1200.51	1733078
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.08	1200.41	1731878
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.08	1200.43	1733778
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.08	1200.42	1733428
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733628
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.08	1200.41	1735778
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.08	1200.41	1735678
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	? (TO)	1200.08	1200.41	1736578
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1730572
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.41	1736628
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1729883
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1730042
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729830
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.08	1200.51	1737228
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (TO)	1200.09	1200.51	1561764
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.09	1200.41	1562596
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.09	1200.41	1562284
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.09	1200.41	1562232
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.09	1200.51	1562128
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.09	1200.51	1561556
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.09	1200.41	1561452
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.09	1200.41	1561036
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725908
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725802
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725643
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726703
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726809
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1727392
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.09	1200.62	1727286
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.09	1200.53	1727604
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728081
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727975
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.09	1200.62	1728293
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729088
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730095
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731420
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731632
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.09	1200.51	1731978
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	1200.09	1200.41	1732428
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	? (TO)	1200.09	1200.51	1732328
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.09	1200.51	1733228
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.09	1200.51	1733378
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.09	1200.51	1733478
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.09	1200.41	1734678
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.09	1200.51	1734878
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.09	1200.41	1734978
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	? (TO)	1200.09	1200.41	1735078
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.09	1200.41	1735178
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.09	1200.41	1735578
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.09	1200.41	1735878
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.09	1200.41	1736128
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.09	1200.51	1736978
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.09	1200.41	1737278
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.09	1200.51	1737914
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.09	1200.61	1737967
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.09	1200.41	1561660
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1726226
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.1	1200.53	1733328
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.1	1200.41	1732278
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1725537
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.1	1200.51	1735828
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.1	1200.51	1732078
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.1	1200.41	1735978
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.1	1200.41	1736028
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1729936
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729406
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.1	1200.51	1562440
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1729459
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728982
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728240
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727021
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1726597
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725696
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.1	1200.41	1737649
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725749
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.1	1200.41	1734078
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.1	1200.51	1733878
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.1	1200.41	1733978
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.1	1200.51	1735528
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.1	1200.41	1736728
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1731685
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730890
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (TO)	1200.11	1200.43	1561972
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1731579
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.11	1200.51	1732828
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1730413
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1729989
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.11	1200.51	1734028
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729247
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.11	1200.41	1732028
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.12	1200.51	1730360
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.12	1200.43	1733728
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.12	1200.41	1561244
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.12	1200.64	1730678
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.13	1200.65	1727498
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.14	1200.45	1727551
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.15	1200.76	1728399

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.109982	0.110597	1515438
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	0.132978	0.137246	1516254
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.152975	0.153829	1515426
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.19097	0.191901	1515258
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.194969	0.195054	1515414
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.291955	0.293254	1515606
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.333948	0.337116	1515306
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.376942	0.377712	1515474
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.408936	0.409743	1515402
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.433933	0.438527	1515510
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.491924	0.492772	1515522
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.491924	0.492092	1515366
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.566913	0.567911	1515450
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	1.10583	1.10706	1515462
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	1.11283	1.11665	1515546
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	1.15582	1.15576	1519266
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	1.59576	1.59622	1515330
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	1.69474	1.69529	1515342
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	2.00769	2.00927	1515390
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	2.11968	2.12052	1515282
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	2.46163	2.46264	1515714
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	2.46262	2.46341	1515702
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	2.52062	2.52015	1515486
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	2.6336	2.63445	1518354
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	2.79857	2.79801	1516218
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	2.98754	2.9881	1515534
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	3.00254	3.00305	1516314
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	3.02454	3.02475	1518606
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	3.18951	3.19075	1515570
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	3.24551	3.247	1519134
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	3.43448	3.43543	1515498
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	4.40733	4.40776	1515318
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	4.89225	4.89494	1515378
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	5.31619	5.31864	1516290
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	5.48916	5.49205	1515582
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	5.82511	5.82748	1515594
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	6.69198	6.69435	1515966
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	6.84096	6.84343	1516518
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	7.55085	7.55246	1515654
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	8.61169	8.61401	1516398
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	10.0265	10.0293	1515690
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	11.8182	11.8211	1515294
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	12.828	12.8321	1519182
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	12.979	12.9851	1518306
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	13.278	13.2827	1519158
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	13.8169	13.8219	1516470
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	15.0597	15.0634	1515678
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	17.4703	17.4764	1516686
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	18.9391	18.9378	1516326
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	20.6019	20.6097	1515930
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	21.3947	21.4023	1516650
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	21.4457	21.4533	1515666
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	21.9147	21.9217	1519242
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	23.3225	23.3316	1515726
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	25.1722	25.1797	1516362
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	27.8098	27.8188	1515642
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	37.1304	37.1418	1516506
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	39.1121	39.1337	1516494
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	40.1049	40.1216	1516554
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	40.8098	40.823	1519218
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	41.2177	41.2324	1518678
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	42.9075	42.9224	1516434
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	43.7194	43.7329	1518714
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	53.9808	53.999	1519278
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	56.4644	56.4843	1518990
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	57.2653	57.2825	1516350
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	58.0492	58.0738	1515630
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	60.2138	60.2314	1516242
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	61.1717	61.1889	1516602
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	62.4945	62.5131	1516566
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	62.7935	62.8156	1519122
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	64.5542	64.5793	1519326
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	64.5762	64.6161	1516446
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	65.645	65.6646	1519002
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	65.718	65.7434	1518546
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	68.8105	68.8341	1519098
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	70.1723	70.1985	1516230
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	70.4633	70.8189	1516266
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	75.8065	75.8345	1516530
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	77.6722	77.6977	1519110
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	80.5398	80.5629	1516458
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	83.1754	83.2056	1516338
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	83.5463	83.5865	1516410
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	85.327	85.3501	1516614
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	85.507	85.531	1519146
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	91.1471	91.1795	1516674
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	109.794	109.833	1518726
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	110.524	110.558	1518258
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	111.374	111.405	1515354
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	111.944	111.973	1519314
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	123.414	123.459	1516386
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	136.971	137.012	1516374
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	137.599	137.583	1515618
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	145.739	145.777	1516278
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	151.051	151.867	1516662
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	164.788	164.841	1515270
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	170.142	170.192	1516590
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	172.85	172.902	1516638
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	188.608	188.663	1516542
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	215.091	215.171	1519290
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	228.49	228.567	1519302
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	241.536	241.514	1516482
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	243.979	244.05	1518294
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	293.5	293.576	1518270
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	297.687	297.763	1516422
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	337.092	337.21	1518666
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	403.483	403.631	1516038
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	408.87	409.005	1519062
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	427.824	427.954	1516302
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	491.813	491.932	1518318
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	594.577	594.752	1516110
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	597.919	598.119	1516578
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	602.324	602.254	1515558
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	641.543	641.721	1518210
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	649.937	650.102	1518870
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	722.25	722.483	1518642
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	753.008	753.24	1518558
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	984.721	984.96	1516626

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	? (TO)	1200.01	1200.41	1518906
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	? (TO)	1200.01	1200.91	1517898
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.01	1200.31	1513422
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.01	1200.31	1512882
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	? (TO)	1200.01	1200.31	1517586
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.01	1200.31	1513278
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	? (TO)	1200.01	1200.41	1517658
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.01	1200.41	1516026
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.01	1200.41	1516890
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.01	1200.41	1516098
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	? (TO)	1200.01	1200.31	1518474
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	? (TO)	1200.01	1200.31	1514274
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	? (TO)	1200.01	1200.31	1518366
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	? (TO)	1200.01	1200.81	1517850
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.01	1200.31	1515978
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.01	1207.11	1517478
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	? (TO)	1200.01	1200.31	1514994
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	? (TO)	1200.01	1200.31	1518174
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	? (TO)	1200.01	1200.31	1518846
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	? (TO)	1200.01	1200.31	1518018
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	? (TO)	1200.01	1200.61	1517874
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	? (TO)	1200.01	1200.31	1513830
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	? (TO)	1200.01	1200.71	1518462
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.01	1200.41	1515882
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.02	1200.41	1512906
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (TO)	1200.02	1200.41	1515114
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	? (TO)	1200.02	1200.41	1513782
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.02	1200.31	1517442
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	? (TO)	1200.02	1211.91	1517946
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	? (TO)	1200.02	1200.41	1518510
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.02	1200.51	1512834
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	? (TO)	1200.02	1200.31	1518570
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.02	1200.51	1513998
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.02	1200.31	1516842
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	1200.02	1200.31	1514526
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.02	1200.31	1513266
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.02	1200.41	1514454
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.02	1200.31	1516854
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.02	1200.31	1517070
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	1200.02	1200.41	1514226
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	? (TO)	1200.02	1200.41	1514334
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.02	1200.41	1516170
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	? (TO)	1200.02	1200.31	1514286
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	? (TO)	1200.02	1200.31	1513710
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.02	1200.31	1514430
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	? (TO)	1200.02	1200.31	1519194
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.02	1200.31	1513230
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	1200.02	1200.41	1513530
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	1200.02	1200.31	1513974
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	? (TO)	1200.02	1200.31	1519014
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.02	1200.41	1513098
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.02	1200.31	1514730
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.02	1200.41	1512654
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	? (TO)	1200.02	1200.41	1516950
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	? (TO)	1200.02	1200.41	1514166
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	? (TO)	1200.02	1200.41	1518006
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.02	1200.31	1512522
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	? (TO)	1200.02	1200.31	1517994
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	? (TO)	1200.02	1200.41	1517826
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.02	1200.41	1515954
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.02	1200.41	1516806
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	? (TO)	1200.02	1200.51	1517838
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	? (TO)	1200.03	1200.41	1518090
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.03	1200.41	1512630
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	? (TO)	1200.03	1200.41	1518534
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.03	1200.41	1515174
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	? (TO)	1200.03	1200.41	1513698
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	? (TO)	1200.03	1200.41	1515006
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.03	1200.41	1515246
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	1200.03	1200.41	1513854
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (TO)	1200.03	1200.41	1515102
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	? (TO)	1200.03	1200.41	1518402
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.03	1200.41	1514550
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.03	1200.41	1514826
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	? (TO)	1200.03	1200.41	1518582
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	? (TO)	1200.03	1200.41	1513002
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	? (TO)	1200.04	1200.41	1517010
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	? (TO)	1200.04	1200.51	1513074
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	? (TO)	1200.04	1200.41	1513590
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.04	1200.61	1516926
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (TO)	1200.04	1200.41	1515030
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	? (TO)	1200.04	1200.31	1513842
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	? (TO)	1200.04	1200.51	1517790
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.04	1200.31	1513314
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (TO)	1200.04	1200.51	1515090
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.04	1200.41	1517490
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.04	1200.41	1513446
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.04	1200.41	1517418
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	? (TO)	1200.04	1200.41	1518222
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	1200.04	1200.51	1512774
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	? (TO)	1200.04	1200.41	1513086
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	1200.04	1200.61	1513038
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	? (TO)	1200.04	1200.41	1518246
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	? (TO)	1200.04	1200.41	1518738
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	? (TO)	1200.04	1200.41	1512702
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	? (TO)	1200.04	1200.51	1517322
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	? (TO)	1200.04	1200.41	1517262
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	1200.04	1200.31	1514586
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	1200.04	1200.41	1514658
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	? (TO)	1200.04	1200.41	1518438
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (TO)	1200.05	1200.41	1515786
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.05	1200.41	1514886
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	? (TO)	1200.05	1200.51	1514766
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	? (TO)	1200.05	1200.41	1517550
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.05	1200.51	1514862
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.05	1200.41	1514742
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.05	1200.41	1514814
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	? (TO)	1200.05	1200.41	1513578
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.05	1205.91	1514850
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	? (TO)	1200.05	1200.41	1515042
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (TO)	1200.05	1200.41	1515990
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.05	1200.41	1516002
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.05	1200.41	1516074
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.05	1200.41	1516146
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	? (TO)	1200.05	1200.41	1516974
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.05	1200.41	1513338
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	? (TO)	1200.05	1200.51	1518966
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	? (TO)	1200.05	1200.51	1518798
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.05	1200.41	1516770
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	? (TO)	1200.05	1200.41	1518030
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	? (TO)	1200.05	1200.51	1519230
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	? (TO)	1200.05	1200.41	1519254
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	? (TO)	1200.05	1200.51	1512690
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.05	1200.51	1514262
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.05	1200.41	1512534
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	1200.05	1200.41	1512714
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.05	1200.41	1512558
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	? (TO)	1200.05	1200.41	1512642
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	? (TO)	1200.05	1201.01	1517958
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.05	1208.81	1512822
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	? (TO)	1200.05	1200.51	1518138
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	? (TO)	1200.05	1200.41	1513026
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	? (TO)	1200.05	1200.51	1517358
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.05	1200.41	1513134
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.05	1200.41	1513158
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	? (TO)	1200.05	1200.41	1517982
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	? (TO)	1200.05	1200.51	1518378
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.05	1200.41	1513182
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.05	1200.41	1513290
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	1200.05	1200.61	1513662
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	? (TO)	1200.05	1200.41	1513626
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.05	1200.41	1517118
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	1200.05	1200.41	1513866
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.05	1200.41	1515858
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	? (TO)	1200.05	1200.41	1513962
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.05	1200.41	1513878
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	? (TO)	1200.05	1200.41	1514070
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	? (TO)	1200.05	1200.41	1515774
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	1200.05	1200.51	1513818
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (TO)	1200.05	1200.41	1514298
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.05	1200.41	1514154
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (TO)	1200.05	1200.41	1515750
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	? (TO)	1200.06	1200.41	1518954
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	? (TO)	1200.06	1200.51	1518234
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	? (TO)	1200.06	1200.51	1518150
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.06	1200.51	1513350
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.06	1200.51	1514490
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	? (TO)	1200.06	1200.51	1513518
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.06	1200.51	1516722
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	? (TO)	1200.06	1206.11	1514970
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	? (TO)	1200.06	1200.41	1518486
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	? (TO)	1200.06	1200.51	1517202
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	? (TO)	1200.06	1200.51	1517238
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.06	1200.51	1513122
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	? (TO)	1200.06	1200.51	1514946
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	? (TO)	1200.06	1200.51	1518894
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	? (TO)	1200.06	1200.41	1518342
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.06	1200.51	1514574
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.06	1200.41	1513374
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (TO)	1200.06	1200.51	1515822
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	? (TO)	1200.06	1205.91	1518414
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	? (TO)	1200.06	1200.51	1517766
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	? (TO)	1200.06	1200.41	1513770
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.06	1200.41	1516878
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	? (TO)	1200.06	1200.51	1513602
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	? (TO)	1200.06	1200.51	1518834
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.06	1200.41	1516062
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.06	1200.51	1516758
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	? (TO)	1200.06	1200.51	1513746
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (TO)	1200.06	1200.51	1515066
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.06	1200.41	1515198
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	? (TO)	1200.06	1200.81	1517886
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	1200.06	1200.41	1514130
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	? (TO)	1200.06	1199.91	1517538
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	? (TO)	1200.06	1200.51	1518186
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	? (TO)	1200.06	1200.41	1513938
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	? (TO)	1200.06	1200.51	1514358
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	? (TO)	1200.06	1199.91	1517394
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	? (TO)	1200.06	1200.41	1517802
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	? (TO)	1200.06	1200.41	1518042
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	? (TO)	1200.06	1200.51	1518858
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.06	1200.51	1514214
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.06	1200.41	1517622
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	? (TO)	1200.06	1200.41	1517574
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	1200.06	1200.41	1514682
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.06	1200.51	1514874
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	? (TO)	1200.06	1200.41	1514466
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	1200.06	1200.51	1514058
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.06	1200.51	1514562
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.06	1200.41	1514754
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.06	1200.51	1514598
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (TO)	1200.06	1200.41	1515846
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	? (TO)	1200.06	1200.41	1519206
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	? (TO)	1200.06	1200.51	1516998
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.06	1200.51	1512858
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	? (TO)	1200.06	1200.51	1518882
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.06	1200.51	1512678
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	? (TO)	1200.06	1199.91	1512894
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	? (TO)	1200.06	1200.51	1513458
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	? (TO)	1200.06	1200.41	1518822
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.06	1200.41	1514790
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	? (TO)	1200.06	1200.51	1514718
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.06	1200.51	1514538
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.06	1199.91	1514670
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	? (TO)	1200.06	1200.51	1518618
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.06	1200.51	1515894
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.06	1200.51	1515918
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.06	1200.51	1514202
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	? (TO)	1200.06	1200.51	1513050
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	? (TO)	1200.06	1200.51	1516134
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.06	1200.41	1512966
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.06	1200.41	1513542
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.06	1200.51	1512582
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	? (TO)	1200.06	1200.41	1517406
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.06	1200.41	1512666
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	? (TO)	1200.06	1200.51	1517190
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (TO)	1200.06	1206.11	1515126
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	? (TO)	1200.07	1200.41	1514394
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	? (TO)	1200.07	1200.51	1517814
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.07	1200.51	1517106
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	? (TO)	1200.07	1200.41	1517778
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	? (TO)	1200.07	1200.41	1517298
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	? (TO)	1200.07	1200.51	1517382
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	? (TO)	1200.07	1200.41	1517346
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	? (TO)	1200.07	1205.91	1517646
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.07	1200.51	1515222
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (TO)	1200.07	1200.41	1515054
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.07	1200.41	1513506
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.07	1200.71	1517094
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	? (TO)	1200.07	1200.51	1518918
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	? (TO)	1200.07	1200.51	1517250
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	? (TO)	1200.07	1200.41	1518942
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.07	1200.41	1512570
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.07	1200.41	1512798
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	? (TO)	1200.07	1200.41	1512618
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	? (TO)	1200.07	1200.41	1513638
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	1200.07	1200.41	1512978
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	1200.07	1207.01	1513554
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	? (TO)	1200.07	1200.41	1513734
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	? (TO)	1200.07	1200.41	1514010
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.07	1200.41	1514178
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	? (TO)	1200.07	1200.41	1513686
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	? (TO)	1200.07	1200.41	1513950
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	? (TO)	1200.07	1200.41	1513890
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	1200.07	1200.51	1513902
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	? (TO)	1200.07	1200.41	1518102
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	? (TO)	1200.07	1200.41	1514382
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	? (TO)	1200.07	1200.41	1518162
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	? (TO)	1200.07	1200.51	1514934
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.07	1200.51	1514838
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	? (TO)	1200.07	1200.51	1519026
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	? (TO)	1200.08	1200.51	1517022
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	? (TO)	1200.08	1200.41	1514910
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	? (TO)	1200.08	1200.41	1514142
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	? (TO)	1200.08	1202.61	1517922
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.08	1200.51	1514502
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.08	1200.41	1516914
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	1200.08	1200.51	1514418
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	? (TO)	1200.08	1200.41	1514610
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	? (TO)	1200.08	1200.41	1514322
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	? (TO)	1200.08	1200.41	1514310
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.08	1200.41	1514514
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (TO)	1200.08	1200.51	1515798
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	? (TO)	1200.08	1200.51	1514118
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	? (TO)	1200.08	1200.51	1513722
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.08	1200.41	1514094
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	? (TO)	1200.08	1200.41	1515810
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	? (TO)	1200.08	1200.51	1518126
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	1200.08	1200.41	1514046
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.08	1200.41	1513434
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.08	1200.51	1513194
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	? (TO)	1200.08	1200.51	1512930
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	? (TO)	1200.08	1200.41	1518522
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.08	1200.41	1513398
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.08	1200.41	1516014
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	? (TO)	1200.08	1200.41	1513062
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.08	1200.41	1513110
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	1200.08	1200.51	1512918
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.08	1200.51	1512738
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	1200.08	1200.71	1512750
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.08	1200.41	1512870
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.08	1200.41	1512606
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.08	1200.81	1512762
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	? (TO)	1200.08	1200.41	1517970
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	? (TO)	1200.08	1200.51	1519038
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.08	1200.51	1517154
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.08	1200.41	1517142
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.08	1200.41	1516206
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.08	1200.51	1515150
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	? (TO)	1200.08	1200.41	1519170
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.08	1200.41	1513386
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	? (TO)	1200.08	1200.51	1517670
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	? (TO)	1200.08	1200.41	1517718
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.08	1205.91	1517502
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.08	1200.51	1516734
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.08	1200.51	1517562
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (TO)	1200.08	1200.51	1515078
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.08	1200.51	1517526
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.08	1200.41	1516794
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.08	1200.41	1517598
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.08	1200.41	1517454
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.08	1200.51	1514802
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.08	1200.41	1514778
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	? (TO)	1200.09	1200.41	1518078
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.09	1200.51	1513566
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.09	1200.41	1513494
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.09	1200.41	1514190
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.09	1200.51	1514250
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.09	1200.41	1515162
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.09	1200.41	1515186
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (TO)	1200.09	1200.41	1515018
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.09	1200.41	1515234
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.09	1200.41	1515138
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.09	1200.41	1516086
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.09	1200.41	1516158
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.09	1200.41	1516194
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	? (TO)	1200.09	1200.51	1518054
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	? (TO)	1200.09	1200.51	1518282
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	? (TO)	1200.09	1200.51	1519086
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.09	1200.51	1512510
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.09	1200.41	1512786
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	1200.09	1200.41	1512498
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	1200.09	1200.41	1512990
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.09	1200.41	1513206
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.09	1200.51	1512954
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	? (TO)	1200.09	1200.41	1513914
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	? (TO)	1200.09	1200.51	1513674
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	? (TO)	1200.09	1200.51	1514034
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	? (TO)	1200.09	1200.41	1513806
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	1200.09	1200.51	1513986
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	1200.09	1200.41	1514106
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	? (TO)	1200.09	1200.41	1514370
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	1200.09	1200.41	1514442
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.09	1200.51	1514634
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	1200.09	1200.41	1514622
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	? (TO)	1200.09	1200.41	1514982
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	? (TO)	1200.09	1200.41	1514922
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (TO)	1200.09	1200.41	1515762
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.09	1200.41	1515942
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.09	1200.41	1515906
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.09	1200.41	1516122
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	? (TO)	1200.09	1200.51	1516746
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.09	1200.41	1516698
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.09	1200.41	1516866
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	? (TO)	1200.09	1200.51	1516938
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	? (TO)	1200.09	1200.51	1516710
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.09	1200.51	1516782
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	? (TO)	1200.09	1200.51	1516962
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	? (TO)	1200.09	1200.41	1517226
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.09	1200.51	1517082
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	? (TO)	1200.09	1200.41	1517286
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.09	1200.51	1517466
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.09	1200.51	1517610
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	? (TO)	1200.09	1200.51	1517370
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	? (TO)	1200.09	1200.41	1517754
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	? (TO)	1200.09	1200.51	1517682
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	? (TO)	1200.09	1200.51	1517742
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	? (TO)	1200.09	1200.61	1518066
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	? (TO)	1200.09	1200.41	1518690
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	? (TO)	1200.09	1200.41	1518426
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	? (TO)	1200.09	1200.41	1518594
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	? (TO)	1200.09	1200.51	1518810
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	? (TO)	1200.09	1200.41	1518930
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	? (TO)	1200.09	1200.41	1518762
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	? (TO)	1200.09	1200.41	1519074
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	? (TO)	1200.1	1200.51	1516986
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.1	1200.51	1517130
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.1	1200.41	1513410
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.1	1200.51	1516902
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	? (TO)	1200.1	1200.41	1517046
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	? (TO)	1200.1	1200.41	1517694
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	? (TO)	1200.1	1200.51	1518498
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	? (TO)	1200.1	1200.51	1513014
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.1	1200.41	1513254
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	? (TO)	1200.1	1200.41	1518786
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	1200.1	1200.51	1512942
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.1	1200.41	1512726
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	? (TO)	1200.1	1200.41	1513614
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	? (TO)	1200.1	1200.51	1518750
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (TO)	1200.1	1200.41	1512846
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.1	1200.41	1512546
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	? (TO)	1200.1	1200.51	1518198
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.1	1200.51	1513362
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	? (TO)	1200.1	1200.51	1517310
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	? (TO)	1200.1	1200.41	1517178
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	? (TO)	1200.1	1200.41	1518978
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.1	1200.41	1517430
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.1	1200.41	1517166
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	? (TO)	1200.1	1200.41	1519050
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	? (TO)	1200.1	1200.41	1517634
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	? (TO)	1200.1	1200.51	1517334
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	? (TO)	1200.1	1200.41	1517274
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	? (TO)	1200.1	1200.41	1517034
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	? (TO)	1200.1	1200.51	1517730
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.1	1200.51	1515210
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.1	1200.41	1516050
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	? (TO)	1200.1	1200.41	1515834
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	? (TO)	1200.1	1200.41	1515738
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.1	1200.41	1515870
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	? (TO)	1200.1	1200.41	1514898
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200.1	1200.51	1514694
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	? (TO)	1200.1	1200.91	1517934
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	? (TO)	1200.1	1200.41	1514406
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.1	1200.61	1514646
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	? (TO)	1200.1	1200.51	1514346
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	? (TO)	1200.1	1200.41	1514082
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	? (TO)	1200.1	1200.51	1518114
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	? (TO)	1200.1	1200.41	1513794
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.1	1200.51	1514022
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	? (TO)	1200.1	1200.51	1513758
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	? (TO)	1200.1	1200.41	1518330
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	? (TO)	1200.1	1200.41	1513926
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	1200.1	1200.41	1513650
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	? (TO)	1200.1	1200.41	1514958
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.1	1200.41	1513470
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.1	1200.51	1513482
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	? (TO)	1200.1	1200.41	1518450
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.1	1200.41	1513218
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.1	1200.41	1514238
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.11	1200.41	1517058
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.11	1200.41	1516830
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.11	1200.41	1516818
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.11	1200.51	1516182
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	? (TO)	1200.11	1204.12	1517862
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	? (TO)	1200.11	1200.41	1518654
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	? (TO)	1200.11	1213.21	1517910
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	? (TO)	1200.11	1200.51	1518630
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	? (TO)	1200.11	1200.51	1518774
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	? (TO)	1200.11	1200.51	1514706
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.11	1200.41	1513170
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.11	1200.51	1517514
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.11	1200.41	1513326
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.11	1200.51	1514478
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.11	1200.41	1513242
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	? (TO)	1200.11	1207.21	1518390
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.11	1200.51	1513146
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	? (TO)	1200.11	1200.51	1517214
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	? (TO)	1200.11	1200.61	1517706
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.11	1200.51	1512810
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	? (TO)	1200.11	1200.51	1518702
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.11	1200.41	1513302
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	1200.11	1200.51	1512594

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

Result page for solver slstc 1.0 (incomplete)

Category "applications instances" (APPLICATION)

Solver proved unsatisfiability (UNSATISFIABLE) (1 run) [Show/Hide]

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

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

Solver exceeded the memory limit (no solution given) (3 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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