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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.25466	1.41813	1722137
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	3.9164	2.67491	1721337
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	53.3049	27.0008	1721737
industrial/grieu/ vmpc_26.cnf	SAT	122.868	61.7211	1718743
industrial/grieu/ vmpc_24.cnf	SAT	230.7	115.732	1718535
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	378.011	190.107	1722037
industrial/grieu/ vmpc_25.cnf	SAT	1035.41	518.986	1718379

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.04	604.026	1717131
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.04	601.733	1724227
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.04	601.529	1718483
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.04	602.536	1720355
manol-pipe-c6bidw_i.cnf	? (TO)	1200.04	605.63	1720303
manol-pipe-c9.cnf	? (TO)	1200.04	602.027	1724383
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.05	617.741	1580881
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.05	601.527	1721187
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.05	601.633	1721387
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.05	602.831	1557821
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.05	602.028	1717079
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.05	604.541	1719315
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.06	601.632	1560889
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.06	618.441	1582025
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.06	628.15	1581089
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.06	1200.43	1555897
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.06	611.132	1553401
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.06	631.846	1715779
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.06	601.527	1721287
manol-pipe-g7nidw.cnf	? (TO)	1200.06	604.129	1724331
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.06	603.128	1558445
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.06	628.241	1578957
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.06	602.832	1559329
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.06	605.228	1557041
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.06	647.841	1717183
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.06	602.329	1560109
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.07	609.23	1563385
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.07	606.434	1578229
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.07	602.731	1721687
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.07	1200.55	1580777
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.07	655.246	1716767
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.07	612.936	1580569
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.07	625.745	1577501
schup-l2s-motst-2-k315.cnf	? (TO)	1200.07	720.651	1720043
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.07	1200.64	1580153
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.07	622.339	1716507
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.07	1200.64	1580257
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.07	601.927	1554701
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.07	603.029	1557613
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.08	622.944	1578801
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.08	602.025	1718119
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.08	601.527	1723137
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.08	601.728	1718327
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.08	611.643	1717911
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.08	1206.03	1560577
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.08	609.132	1554025
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.08	633.936	1718015
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.08	618.24	1715935
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.08	605.43	1556885
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.08	602.127	1560733
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.08	601.528	1718431
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.08	602.227	1563073
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.09	601.83	1722787
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.09	602.027	1562969
schup-l2s-guid-1-k56.cnf	? (TO)	1200.09	606.032	1724123
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.09	1207.05	1581505
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.09	640.445	1716039
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.09	602.425	1560057
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.09	605.932	1717651
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.09	605.233	1717495
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.09	602.126	1560629
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.09	602.228	1560941
mizh-sha0-36-3.cnf	? (TO)	1200.09	602.733	1719835
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.09	601.526	1721237
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.09	601.526	1722437
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.09	601.526	1723087
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.09	601.527	1723037
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.09	628.247	1582181
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.09	605.129	1556781
mizh-md5-47-3.cnf	? (TO)	1200.09	603.431	1719523
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.1	602.128	1562709
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.1	601.825	1717027
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.1	602.528	1559745
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.1	604.429	1559693
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.1	601.734	1721537
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.1	637.137	1554545
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.1	655.951	1579373
manol-pipe-c10nidw_s.cnf	? (TO)	1200.1	666.846	1723239
cmu-bmc-barrel6.cnf	? (TO)	1200.1	602.025	1719575
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.1	602.029	1563021
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.1	603.027	1716871
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.1	604.933	1556833
hoons-vbmc-lucky7.cnf	? (TO)	1200.1	602.125	1719887
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.11	608.932	1717339
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.11	656.125	1555273
goldb-heqc-i10mul.cnf	? (TO)	1200.11	601.828	1723447
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.11	1207.04	1577917
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.11	602.841	1719107
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.11	601.529	1718639
mizh-md5-47-4.cnf	? (TO)	1200.11	603.329	1720563
aloul-chnl11-13.cnf	? (TO)	1200.11	602.024	1720407
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.11	602.125	1560473
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.11	601.526	1718587
manol-pipe-f9b.cnf	? (TO)	1200.11	615.335	1719991
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.11	603.03	1559277
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.11	602.023	1718275
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.11	602.129	1562813
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.11	696.67	1563749
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.12	601.526	1722887
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.12	650.155	1716403
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.12	609.432	1563697
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.12	617.839	1716455
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.12	602.026	1718067
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.12	607.134	1718847
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.12	601.525	1722537
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.12	631.05	1563333
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.12	739.954	1719939
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.12	792.286	1577761
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.13	601.632	1721987
simon-s03-w08-15.cnf	? (TO)	1200.13	613.933	1719783
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.13	602.226	1555637
manol-pipe-g10nid.cnf	? (TO)	1200.13	620.934	1720199
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.13	750.969	1577813
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.13	602.13	1563229
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.13	602.829	1558497
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.13	602.126	1554181
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.13	632.944	1716559
manol-pipe-f10ni.cnf	? (TO)	1200.13	655.843	1724071
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.13	602.026	1562657
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.13	605.529	1556625
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.14	603.028	1557509
manol-pipe-c7nidw.cnf	? (TO)	1200.14	612.737	1723499
manol-pipe-g10bidw.cnf	? (TO)	1200.14	624.438	1723291
simon-s02b-dp11u10.cnf	? (TO)	1200.14	601.924	1723863
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.14	603.127	1557977
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.14	606.331	1717235
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.14	616.137	1715727
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.14	606.432	1579893
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.14	617.639	1579841
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.14	602.926	1558809
goldb-heqc-frg1mul.cnf	? (TO)	1200.14	601.524	1719679
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.14	608.353	1719159
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.15	630.843	1716247
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.15	601.525	1722287
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.15	631.445	1716091
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.15	601.631	1718691
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.15	601.631	1720147
mizh-sha0-35-3.cnf	? (TO)	1200.15	602.627	1720719
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.15	601.932	1722487
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.15	601.732	1723707
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.15	603.028	1558237
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.15	605.228	1556729
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.15	618.541	1580101
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.15	606.533	1579477
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.15	602.832	1559381
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.15	602.028	1563177
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.16	619.942	1577657
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.16	603.027	1558029
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.16	608.239	1579425
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.16	602.929	1557717
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.16	613.235	1582753
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.16	627.942	1715883
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.16	615.736	1554909
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.16	601.631	1722637
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.16	603.428	1559953
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.16	601.528	1721887
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.16	625.285	1719055
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.16	659.65	1580049
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.17	602.833	1559537
manol-pipe-c7bidw_i.cnf	? (TO)	1200.17	608.335	1724279
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.17	655.745	1717391
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.17	601.734	1722387
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.17	602.027	1562865
mizh-sha0-36-2.cnf	? (TO)	1200.17	603.632	1724019
manol-pipe-f9n.cnf	? (TO)	1200.17	615.534	1723967
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.17	605.228	1557093
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.17	602.227	1563125
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.18	709.556	1717755
manol-pipe-c10nidw.cnf	? (TO)	1200.18	672.244	1720095
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.18	601.824	1716975
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.18	601.931	1723603
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.18	633.745	1715831
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.18	601.634	1722837
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.18	630.951	1563281
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.18	602.028	1560317
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.18	601.632	1722187
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.18	609.44	1581765
simon-s03-fifo8-300.cnf	? (TO)	1200.18	623.933	1724175
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.18	603.227	1559641
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.19	601.631	1722987
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.19	603.626	1723395
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.19	601.829	1721837
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.19	602.326	1720927
goldb-heqc-dalumul.cnf	? (TO)	1200.19	601.629	1720459
mizh-sha0-36-4.cnf	? (TO)	1200.19	602.735	1720251
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.19	635.641	1563489
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.19	602.027	1560369
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.19	764.258	1717287
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.19	622.938	1715987
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.19	613.637	1715675
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.19	626.039	1715623
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.19	602.926	1558081
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.2	627.74	1716299
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.2	612.935	1716351
manol-pipe-c6nidw_i.cnf	? (TO)	1200.2	605.63	1724487
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.2	605.231	1556573
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.2	601.629	1722587
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.2	613.039	1579997
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.2	602.325	1556053
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.2	602.023	1718223
manol-pipe-g6bi.cnf	? (TO)	1200.2	602.225	1723759
manol-pipe-c10nid_i.cnf	? (TO)	1200.2	627.336	1720771
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.2	602.327	1562761
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.21	629.248	1580361
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.21	654.644	1555169
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.21	603.129	1559225
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.21	602.325	1553245
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.21	645.742	1717963
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.21	617.234	1556261
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.21	601.632	1721787
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.21	605.329	1556521
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.21	623.141	1581349
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.22	687.845	1717807
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.22	601.931	1721437
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.22	603.528	1563593
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.22	603.931	1717859
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.22	602.529	1559797
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.22	613.933	1716663
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.22	616.139	1577709
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.22	602.928	1559017
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.22	602.927	1558861
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.22	621.741	1581921
manol-pipe-g10id.cnf	? (TO)	1200.22	611.536	1723551
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.22	639.348	1577865
goldb-heqc-alu4mul.cnf	? (TO)	1200.22	601.631	1721031
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.23	612.536	1581973
mizh-md5-48-5.cnf	? (TO)	1200.23	603.63	1721135
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.23	624.14	1716611
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200.23	619.265	1723187
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.23	602.128	1562917
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.23	602.125	1718171
goldb-heqc-term1mul.cnf	? (TO)	1200.23	601.731	1723655
goldb-heqc-x1mul.cnf	? (TO)	1200.23	601.631	1719471
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.23	632.044	1577605
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.23	602.029	1718899
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.23	603.545	1724435
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.24	602.425	1719627
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.24	602.535	1723915
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.24	618.038	1716195
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.24	605.631	1556469
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.24	618.54	1581609
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.24	628.148	1582441
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.24	611.235	1716715
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.24	623.24	1716143
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.25	613.872	1719003
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.25	697.26	1577553
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.26	632.253	1563645
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.31	650.428	1719263
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.34	708.087	1718951
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.35	666.149	1719211
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.35	620.463	1723343

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (exit code)	0	0.00500498	1563437
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	0.051991	0.052321	1716923
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (exit code)	0.052991	0.0521009	1560421
industrial/fuhs/medium/ AProVE07-09.cnf	? (exit code)	0.053991	0.0541161	1716819
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (exit code)	0.054991	0.0560589	1560837
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (exit code)	0.054991	0.0550459	1560161
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (exit code)	0.054991	0.0554439	1560681
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (exit code)	0.06099	0.0617571	1717703
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (exit code)	0.067988	0.0679439	1717547
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (exit code)	0.067988	0.0699531	1717443
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (exit code)	0.069988	0.0691929	1717599
velev-vliw-uns-4.0-9C1.cnf	? (exit code)	0.84787	0.849064	1723811
velev-vliw-uns-4.0-9-i1.cnf	? (exit code)	1.56776	1.56769	1719731
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (exit code)	5.97909	5.97976	1719367
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (exit code)	5.98809	5.9902	1719419
industrial/narain/ clauses-8.cnf	? (exit code)	8.98563	8.98953	1718795

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	Signal 11	0.51892	0.527879	1554597
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	Signal 11	0.527918	0.512003	1554129
APPLICATIONS/bitverif/ smulo/smulo016.cnf	Signal 11	0.538917	0.520404	1554857
cmu-bmc-longmult15.cnf	Signal 11	0.641901	0.610623	1720667
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	Signal 11	0.732887	0.675691	1553349
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	Signal 11	0.797878	0.736542	1555065
APPLICATIONS/bitverif/ minor/minor064.cnf	Signal 11	0.91086	0.830829	1553193
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	Signal 11	1.02884	0.893172	1553817
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	Signal 11	1.11183	0.949652	1556105
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	Signal 11	1.21281	1.03418	1554753
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	Signal 11	1.25381	1.07747	1554441
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	Signal 11	1.63475	1.36166	1555481
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	Signal 11	3.03954	2.52788	1553297
APPLICATIONS/ bitverif/minand/minand128.cnf	Signal 11	4.53831	3.7542	1554233
APPLICATIONS/ bitverif/minxor/minxor128.cnf	Signal 11	4.5893	3.77806	1553505
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	Signal 11	5.39018	4.11537	1556365
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	Signal 11	9.25059	7.58445	1556157
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	Signal 11	128.188	88.0564	1553869

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.141978	0.142509	1734237
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.149977	0.150847	1733037
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.149977	0.149687	1734387
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.153976	0.150818	1734187
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.153976	0.152402	1734137
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.157975	0.155086	1734587
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.160975	0.161788	1736187
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.161975	0.16026	1734437
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.163975	0.160392	1734487
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.163975	0.161625	1734337
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.169974	0.168076	1734637
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.170973	0.165869	1734287
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.183971	0.178367	1734537
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.185971	0.181363	1736237
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.249961	0.246489	1732687
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.250961	0.204653	1738135
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.392939	0.278316	1738188
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	0.52292	0.346684	1738294
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	0.669897	0.432998	1735137
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.71689	0.700027	1732887
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	1.10983	0.656871	1734787
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	1.17582	0.694205	1735187
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	2.01569	1.08233	1736437
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	2.11568	1.51193	1562085
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	2.33364	2.25941	1733137
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	4.73928	3.05207	1561513
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	5.45917	2.81464	1732337
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	6.36203	6.11765	1732937
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	8.88865	4.56031	1735787
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	9.37957	4.77417	1737087
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	15.6336	7.91119	1732387
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	15.8176	9.87178	1561981
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	16.6625	8.46086	1735937
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	18.7262	9.46925	1738347
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	21.9357	11.0919	1736037
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	24.8932	12.5735	1735287
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	26.093	13.1808	1735087
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	27.0089	13.8971	1735237
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	29.5325	14.8979	1738400
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	31.8042	16.0359	1735337
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	53.8528	27.7648	1561929
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	55.4326	27.9099	1735887
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	57.7932	29.0572	1738241
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	107.913	54.2017	1735437
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	119.602	60.0456	1738082
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	144.999	72.8171	1732487
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	300.159	150.576	1562033
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	311.959	156.773	1561409
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	512.711	257.164	1725705
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	563.167	282.427	1736787
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	SAT	573.693	287.662	1735537
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	914.265	458.315	1734987
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	1081.51	542.615	1562449

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.03	601.629	1731535
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.04	602.125	1729680
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.04	601.727	1731005
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.04	601.629	1726606
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.04	601.628	1725758
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.04	602.025	1561045
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.05	601.628	1729097
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.05	601.923	1737605
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.05	601.824	1729415
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.05	602.323	1729521
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.05	601.525	1733537
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.05	602.025	1731111
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.05	601.925	1736387
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.05	601.728	1728938
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.05	601.924	1730740
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.05	601.527	1735737
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.05	601.731	1730263
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.05	601.728	1729839
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.05	601.629	1729892
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.06	602.125	1725546
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.06	602.126	1732587
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.06	601.73	1736987
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.06	601.527	1732987
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.06	602.027	1561669
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.06	601.825	1730952
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.06	601.924	1730528
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.06	601.63	1726394
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.06	601.624	1726659
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.07	602.023	1731641
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.07	603.038	1733337
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.07	602.123	1737446
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.07	601.727	1729574
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.07	601.631	1729362
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.07	602.124	1732087
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.08	601.925	1728991
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.08	601.526	1736137
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.08	601.827	1728143
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.08	604.139	1727401
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.08	601.825	1726765
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.08	601.526	1730316
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.08	601.733	1562137
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.08	601.925	1737340
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.08	601.625	1561357
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.08	601.825	1726182
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.08	601.828	1561721
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.08	601.824	1731376
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.08	601.524	1733287
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.09	602.124	1732237
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.09	602.028	1737817
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.09	601.729	1726553
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.09	604.023	1726341
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.09	601.526	1726871
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.09	601.826	1726924
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.09	604.736	1728302
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.09	601.825	1730422
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.09	601.526	1733687
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.09	602.023	1731837
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.1	601.825	1729150
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.1	602.024	1729309
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.1	601.826	1736837
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.1	604.261	1727613
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.1	601.634	1735987
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.1	601.629	1727878
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.1	601.826	1736487
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.1	601.73	1731588
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.1	602.024	1731270
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.1	601.631	1733987
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.1	601.632	1735687
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.1	601.727	1728885
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.1	601.826	1727083
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.1	602.223	1725917
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.1	601.825	1729203
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.11	601.729	1731429
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.11	602.124	1737711
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.11	601.73	1736337
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.11	602.025	1725281
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	? (TO)	1200.11	602.025	1736587
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.11	602.526	1733587
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.11	601.731	1725387
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.11	601.928	1737237
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.11	601.732	1562241
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.11	601.631	1733387
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.11	601.632	1733237
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.11	601.826	1736637
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.11	601.527	1735387
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.11	602.125	1732537
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.11	608.873	1732787
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.11	602.431	1738029
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.11	601.728	1729945
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.11	601.634	1734737
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.11	601.629	1728037
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.11	602.634	1562345
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.12	601.525	1729733
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.12	602.635	1733187
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.12	601.826	1728779
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.12	601.731	1729786
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.12	602.025	1732137
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.12	602.023	1730475
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.12	602.13	1737870
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.12	601.826	1562189
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	1200.12	602.125	1732437
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.13	603.126	1728461
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.13	602.939	1733737
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.13	601.329	1735837
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.13	601.925	1737037
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.13	601.823	1727136
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.13	603.124	1726447
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.13	601.824	1731482
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.13	601.63	1727984
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.13	601.824	1728090
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.13	601.628	1725970
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.14	602.024	1732037
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.14	602.123	1737287
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.14	601.73	1725652
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.14	602.225	1737499
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.14	601.728	1728514
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.14	601.43	1735587
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.14	601.731	1725440
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.14	602.028	1730793
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.14	602.128	1737976
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.14	601.73	1726712
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.14	602.03	1733437
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.14	601.829	1726023
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.15	601.63	1730157
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.15	601.824	1726129
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.15	601.73	1729998
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.15	601.729	1730104
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.15	601.825	1730899
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.15	602.124	1730634
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.16	602.024	1728249
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.16	601.823	1729044
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.16	601.828	1737137
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.16	601.925	1728832
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.16	601.632	1736087
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.16	601.823	1725334
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.16	602.827	1736287
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.16	601.526	1731694
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.16	601.728	1729468
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.16	608.069	1727560
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.16	601.732	1562605
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	? (TO)	1200.16	602.124	1736887
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.17	601.826	1726818
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.17	601.526	1731323
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.17	601.728	1726500
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.17	601.731	1562501
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.17	602.532	1737923
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.17	602.633	1561253
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.17	602.026	1732637
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.17	601.733	1728567
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.17	614.853	1730687
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.18	601.63	1728673
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.18	601.731	1562397
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.18	601.729	1725493
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.18	601.627	1728620
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.18	601.923	1729256
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.18	608.331	1730210
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.18	602.225	1730846
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.18	601.824	1731217
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.18	602.026	1732287
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.18	601.73	1733637
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.18	601.63	1733937
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.18	601.632	1735487
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.18	601.925	1736737
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.18	601.732	1736937
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.18	602.024	1737552
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.18	602.124	1737658
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.18	601.826	1561305
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.19	602.124	1726288
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.19	601.925	1728355
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.19	601.628	1727825
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.19	601.63	1733487
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.19	601.629	1733837
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.19	601.733	1734887
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.19	601.729	1725811
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.19	602.224	1737393
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.19	601.525	1733887
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.19	601.732	1560993
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.2	601.624	1727719
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.2	602.537	1727454
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.2	601.826	1736687
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.2	607.928	1730369
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.2	601.928	1732837
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.2	601.829	1734037
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.2	601.526	1733087
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.2	602.13	1561097
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.2	602.13	1737764
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.2	601.63	1736537
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.21	629.765	1728408
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.21	602.024	1731164
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.21	601.728	1730051
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.21	602.024	1731987
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.21	602.229	1727030
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.21	601.73	1727772
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (TO)	1200.21	602.125	1561773
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.21	601.325	1735037
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.21	607.473	1727507
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.21	601.63	1734937
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.21	601.825	1725864
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.22	601.825	1728196
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.22	602.124	1730581
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.22	601.73	1561201
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.22	602.841	1733787
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.22	601.829	1729627
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.22	601.733	1561461
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.22	602.127	1561565
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.22	602.024	1727189
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.22	602.026	1726235
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.22	601.923	1726076
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.22	602.027	1562293
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.22	602.125	1731937
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.23	601.73	1734087
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.23	604.347	1727348
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.23	601.729	1725599
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.23	601.731	1727666
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.23	601.73	1727931
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.23	601.628	1734687
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.23	601.926	1731058
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.23	601.632	1735637
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.23	603.731	1728726
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.23	601.733	1561825
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.23	602.734	1562553
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.23	602.024	1731887
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.23	603.24	1727242
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.23	601.732	1561149
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.23	602.024	1732187
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.23	623.658	1726977
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.24	603.727	1734837
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.25	603.136	1727295

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.148976	0.145443	1542812
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.148977	0.145959	1543322
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.150976	0.148629	1542806
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.150976	0.14835	1543070
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.151976	0.147766	1543256
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.151976	0.148339	1543178
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.152976	0.147951	1543238
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.155975	0.148041	1543310
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.155975	0.150467	1543028
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.157975	0.151606	1543040
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.158975	0.14939	1541480
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.158975	0.151501	1542854
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.160974	0.154099	1543226
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.160975	0.154439	1541330
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.162975	0.154749	1543148
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.163974	0.152439	1542878
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.163974	0.152289	1543202
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.164974	0.152528	1542782
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.165974	0.156692	1543010
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.166973	0.155542	1543034
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.166973	0.155032	1543172
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.166974	0.15587	1542956
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.167973	0.156718	1541396
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.167973	0.158588	1541450
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.167973	0.15648	1543142
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.169973	0.17075	1541390
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.169973	0.158489	1542836
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.170973	0.16042	1541402
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.170973	0.155931	1542824
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.170973	0.157045	1542950
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.172973	0.157338	1542932
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.172973	0.156289	1542722
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.172973	0.160753	1542704
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.173972	0.160597	1543244
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.175972	0.16061	1543268
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.177972	0.161433	1542980
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.180971	0.16461	1541414
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.180972	0.163264	1542896
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.181971	0.164562	1542728
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.183971	0.165949	1542776
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.183971	0.16619	1541408
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.185971	0.164678	1543286
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.188971	0.164227	1543154
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.19097	0.166613	1543292
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.19197	0.167388	1542830
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.19297	0.168324	1543262
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.19297	0.171196	1541438
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	0.194969	0.18255	1542020
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.19597	0.17148	1542908
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.198969	0.170336	1541366
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.200968	0.174677	1541306
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.200968	0.174517	1542794
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.203968	0.174027	1543298
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.203968	0.17524	1541426
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.204967	0.176545	1542998
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.204968	0.177544	1541378
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.205968	0.175198	1542818
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.207967	0.173696	1543100
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.209967	0.175153	1543112
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.209968	0.178531	1542974
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.211967	0.17926	1543124
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.215966	0.183087	1541372
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.215966	0.180464	1542968
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.228965	0.186697	1543340
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.234963	0.189415	1543232
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.234964	0.191269	1541474
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.235963	0.1916	1543274
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.246962	0.250165	1541348
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.258959	0.203237	1542770
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.25996	0.202255	1543004
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.260959	0.205595	1541336
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.261959	0.204028	1543196
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.262959	0.203562	1543016
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.288955	0.218814	1542764
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.288955	0.217926	1542986
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.289955	0.219085	1543064
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.291954	0.219936	1542692
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.294954	0.222506	1541444
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.306952	0.225956	1543166
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.308952	0.2277	1543088
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.316951	0.233218	1541534
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.31795	0.231029	1543208
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	0.32195	0.244404	1541924
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.323949	0.234833	1543214
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.327949	0.237625	1541462
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.330949	0.235657	1542902
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.336948	0.241894	1541432
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.341947	0.244657	1541384
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.349946	0.248551	1543136
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.353945	0.248549	1541540
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.354945	0.247008	1543304
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.355944	0.247834	1543334
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	0.359944	0.265184	1541858
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	0.372943	0.271709	1542002
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.377942	0.263096	1542716
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.379941	0.26224	1541516
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.381941	0.266096	1541324
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.38694	0.26423	1541468
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.396939	0.268909	1542938
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.410936	0.278765	1543106
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	0.410937	0.288189	1541834
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	0.413937	0.290456	1541786
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.417936	0.281946	1542872
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.417936	0.283546	1541420
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	0.422934	0.285856	1541486
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	0.430934	0.434484	1541870
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.445932	0.307743	1540550
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.446931	0.294939	1543220
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.45493	0.30019	1542848
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.470927	0.309947	1542884
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.473927	0.310433	1542788
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	0.494924	0.330438	1541840
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.505922	0.325643	1541318
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	0.508922	0.33709	1541828
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.513921	0.331795	1541342
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.529919	0.349176	1541948
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	0.531918	0.336517	1543160
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.620904	0.383472	1542842
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.645901	0.394959	1542686
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	0.655899	0.406346	1541804
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.676896	0.408894	1543316
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	0.676896	0.410638	1543046
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.678896	0.413692	1542890
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.694893	0.424021	1542992
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.721889	0.434973	1542962
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.741886	0.444843	1542752
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.758883	0.452984	1543022
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.769882	0.462032	1541498
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.817874	0.483895	1541504
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.830873	0.488813	1543052
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.839871	0.491504	1542926
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.854869	0.498232	1542746
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.856869	0.502755	1543082
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.882865	0.515349	1542740
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.885864	0.515863	1543058
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.889863	0.51935	1542920
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.899862	0.521473	1543184
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	0.91686	0.537583	1540526
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.91686	0.533203	1541312
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.920859	0.532862	1543250
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.949855	0.560392	1540568
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.973851	0.560677	1541360
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.995847	0.570536	1542800
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	1.01684	0.58012	1543130
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	1.10683	0.628107	1541522
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	1.18782	0.676403	1541810
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	1.20481	0.67525	1541354
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	1.27881	0.717956	1541930
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	1.3088	0.738207	1541942
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	1.39679	0.772296	1543094
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	1.48677	0.818703	1542710
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	1.49077	0.82755	1541822
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	1.52777	0.847032	1541876
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	1.58276	0.863136	1542860
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	1.60176	0.879088	1541912
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.73274	0.940553	1541510
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	1.77273	0.958159	1543076
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	1.9887	1.08074	1541642
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	2.00769	1.08908	1541852
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	2.10768	1.14004	1541846
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	2.17067	1.1609	1543190
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	2.18167	1.17538	1540562
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	2.28065	1.22529	1540544
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	2.33464	1.25434	1541978
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	2.44463	1.30951	1541972
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	2.48762	1.33063	1541732
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	2.51362	1.33339	1542734
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	2.57361	1.39009	1540850
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	2.6496	1.40866	1540556
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	2.69559	1.4344	1540538
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	2.82257	1.49101	1541492
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	2.84657	1.50608	1541960
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	2.94555	1.54911	1541528
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	2.98954	1.58355	1541984
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	3.04554	1.5973	1542944
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	3.05653	1.60541	1543328
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	3.08853	1.62938	1541954
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	3.3005	1.73214	1540532
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	3.47447	1.82106	1540580
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	4.23036	2.19386	1542758
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	4.37233	2.26852	1541816
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	4.6223	2.39994	1541864
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	4.82827	2.49147	1543118
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	5.02124	2.58647	1542914
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	5.17821	2.6781	1541894
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	5.37718	2.76811	1542866
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	5.65414	2.91479	1541888
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	5.70113	2.93818	1541900
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	6.43002	3.30349	1541792
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	6.53101	3.37537	1540868
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	7.01593	3.61956	1540862
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	7.05793	3.62039	1542014
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	7.37588	3.77568	1541660
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	7.72183	3.95054	1541882
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	9.11261	4.64804	1541966
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	9.32358	4.75537	1542008
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	9.45756	4.82274	1541936
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	9.8445	5.01467	1541798
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	11.4553	5.82491	1541918
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	12.913	6.5534	1541996
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	14.5678	7.37575	1543280
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	16.8404	8.51984	1541906
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	19.834	10.0489	1540838
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	21.3608	10.8379	1540760
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	26.429	13.3175	1541456
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	26.9789	13.609	1542698
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	34.3588	17.3235	1540844
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	36.7604	18.5311	1540856
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	39.605	19.9331	1541990
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	41.2147	20.8252	1540670
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	44.7502	22.5231	1540220
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	47.4568	23.8947	1540874
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	49.0755	24.6778	1540574
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	50.4563	25.4344	1540748
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	56.3084	28.3156	1540514
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	57.5622	57.5889	1540592
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	59.5699	29.9926	1540718
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	70.3763	35.3761	1540184
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	76.0444	38.1885	1541696
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	76.2664	38.4377	1540622
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	83.7223	42.0894	1540832
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	88.2106	44.3927	1540646
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	90.0093	45.2295	1540880
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	92.9859	46.7632	1540712
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	97.0212	48.8078	1540652
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	100.691	50.5493	1541744
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	117.803	59.2319	1540694
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	126.712	63.7334	1540640
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	126.923	63.7969	1540658
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	138.976	69.7561	1540202
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	154.095	77.3181	1540478
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	157.925	79.2523	1540214
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	SAT	165.734	83.2062	1540826
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	169.688	85.2472	1540682
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	178.984	89.8693	1540736
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	184.562	92.739	1540598
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	201.445	101.048	1540436
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	219.797	110.243	1540472
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	263.83	132.362	1540406
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	282.703	141.885	1540754
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	319.212	160.249	1540634
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	320.403	160.797	1540742
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	341.786	171.58	1540604
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	375.315	188.219	1540208
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	459.937	230.867	1540820
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	462.762	232.214	1540586
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	470.389	236.11	1540814
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	556.74	279.364	1541030
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	574.045	288.01	1540664
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	SAT	602.167	301.85	1540352
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	605.953	304.225	1540982
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT	616.799	309.41	1540730
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	698.282	350.305	1540610
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	762.3	382.154	1539986
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	765.711	383.808	1540442
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	805.367	403.68	1540484
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	816.028	409.315	1540700
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	832.787	417.401	1540496
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	865.236	434.02	1540706
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	SAT	876.283	439.588	1541018
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	SAT	952.675	477.695	1541012
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	969.737	486.639	1541006
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	1024.94	514.259	1541036
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	1177.08	589.954	1540466
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	1185.39	594.241	1540190
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	1199.62	601.777	1540910

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.03	601.826	1542026
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.03	601.428	1541738
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	? (TO)	1200.03	601.825	1542158
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	? (TO)	1200.03	601.425	1541594
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (TO)	1200.03	601.625	1541186
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.04	601.425	1541774
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.04	601.227	1540298
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.04	601.926	1540892
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	? (TO)	1200.04	601.825	1542626
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.04	601.424	1541624
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.04	601.425	1541612
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.04	601.427	1541630
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.04	601.729	1542206
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	1200.04	601.525	1540172
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.04	601.825	1542488
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.04	601.925	1542428
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	? (TO)	1200.05	601.629	1541132
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.05	601.427	1541726
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.05	601.427	1541648
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.05	601.427	1541606
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.05	601.629	1541078
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	? (TO)	1200.05	601.924	1542524
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.05	601.424	1540460
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	? (TO)	1200.05	601.631	1541150
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.05	601.826	1542422
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.05	601.825	1540328
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.05	601.634	1540316
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	? (TO)	1200.05	601.627	1539998
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.05	601.733	1540304
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.05	601.731	1539968
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.05	601.629	1540118
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	? (TO)	1200.05	601.825	1542596
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.05	601.732	1542074
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.05	601.734	1540262
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.06	1200.63	1541054
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	? (TO)	1200.06	601.826	1542146
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.06	601.824	1542260
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.06	602.027	1540976
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (TO)	1200.06	601.631	1541192
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.06	601.631	1540070
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	? (TO)	1200.06	601.631	1541174
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	? (TO)	1200.06	602.126	1542650
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (TO)	1200.06	601.426	1541576
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	? (TO)	1200.07	601.826	1542572
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	? (TO)	1200.07	601.825	1542620
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	? (TO)	1200.07	601.824	1542542
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	? (TO)	1200.07	603.525	1542512
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.07	601.731	1542122
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.07	601.826	1542440
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.07	601.928	1540778
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.07	601.825	1542434
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.07	601.524	1541270
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (TO)	1200.07	1206.13	1541672
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.07	601.827	1542068
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.07	601.526	1540382
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.07	602.025	1542386
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.07	601.824	1542398
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	? (TO)	1200.07	601.629	1541180
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (TO)	1200.07	601.525	1541234
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	1200.07	601.828	1539974
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.07	602.227	1541000
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.07	601.927	1540772
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	? (TO)	1200.08	601.826	1542464
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	1200.08	601.527	1540502
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	1200.08	601.925	1540628
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.08	602.328	1540958
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.08	602.126	1540808
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	? (TO)	1200.08	601.826	1542560
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.08	601.63	1540010
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.08	601.63	1539980
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	? (TO)	1200.08	1206.13	1542194
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	? (TO)	1200.08	602.025	1542152
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	? (TO)	1200.08	601.825	1542032
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.08	601.227	1540346
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	1200.08	601.629	1540136
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	? (TO)	1200.08	601.826	1542608
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.08	601.63	1541084
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	? (TO)	1200.09	601.824	1542374
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	? (TO)	1200.09	601.83	1542164
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.09	601.827	1542416
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.09	601.631	1540430
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.09	601.629	1541300
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.09	601.927	1540616
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	1200.09	601.631	1539926
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	? (TO)	1200.09	601.925	1542188
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.09	601.825	1542254
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	? (TO)	1200.09	601.827	1542470
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	? (TO)	1200.09	601.825	1542050
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	? (TO)	1200.09	601.825	1542548
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	? (TO)	1200.09	601.824	1542590
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	? (TO)	1200.09	601.628	1541144
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.09	601.527	1541708
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (TO)	1200.1	601.525	1541570
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.1	601.526	1541750
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.1	601.629	1540088
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	1200.1	601.731	1540196
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.1	602.126	1542104
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.1	601.628	1541282
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.1	601.325	1541258
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.1	601.624	1541108
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	? (TO)	1200.1	602.025	1542344
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.1	601.63	1541102
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.1	601.63	1540106
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.1	601.629	1539956
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.1	601.526	1540322
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	1200.1	602.127	1540940
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.1	601.524	1540400
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.1	601.631	1540376
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.11	601.927	1540688
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.11	602.028	1540904
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.11	601.526	1541780
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	? (TO)	1200.11	601.926	1542296
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	? (TO)	1200.11	601.927	1542380
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.11	601.526	1540274
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.11	601.526	1540418
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.11	601.525	1540358
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.11	601.927	1540766
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.11	602.227	1540922
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200.11	601.925	1541024
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.11	601.629	1541072
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (TO)	1200.11	601.628	1541222
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.11	601.73	1541666
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.11	601.826	1542038
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.11	601.924	1542404
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	? (TO)	1200.11	602.025	1542632
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	? (TO)	1200.12	601.524	1540490
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.12	601.528	1541678
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.12	602.027	1540934
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	? (TO)	1200.12	601.824	1542368
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	? (TO)	1200.12	601.825	1542680
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.12	601.824	1542242
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	? (TO)	1200.12	601.825	1542338
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	? (TO)	1200.12	601.825	1542554
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	? (TO)	1200.12	601.826	1542302
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	? (TO)	1200.12	601.827	1542326
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.12	601.526	1540412
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	? (TO)	1200.12	601.925	1542674
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.12	601.926	1540154
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	? (TO)	1200.12	601.926	1542614
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.12	601.524	1540286
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.12	601.525	1541714
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	? (TO)	1200.12	601.825	1542452
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	? (TO)	1200.12	601.526	1540520
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	? (TO)	1200.13	601.825	1542320
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	? (TO)	1200.13	601.826	1542500
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.13	601.824	1542458
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (TO)	1200.13	601.629	1540100
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.13	601.826	1539962
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	? (TO)	1200.13	601.824	1542446
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.13	602.228	1540724
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.13	601.628	1541096
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	? (TO)	1200.13	601.626	1540022
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	1200.13	602.026	1540970
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	? (TO)	1200.13	601.924	1542170
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.13	601.825	1542116
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.13	601.825	1542482
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	1200.13	601.631	1540052
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.13	601.525	1540268
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.14	601.732	1539950
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	? (TO)	1200.14	601.827	1540142
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.14	601.632	1540016
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.14	601.526	1540424
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.14	601.632	1540130
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	? (TO)	1200.14	601.924	1542602
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.14	601.524	1540364
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.14	602.027	1540928
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.14	601.926	1540676
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	? (TO)	1200.14	601.63	1541138
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	? (TO)	1200.14	601.63	1541156
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	? (TO)	1200.14	601.631	1541162
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (TO)	1200.14	601.631	1541210
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.14	601.825	1542110
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	? (TO)	1200.14	601.628	1540178
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.15	601.525	1540370
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (TO)	1200.15	601.628	1541228
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	1200.15	601.526	1540454
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	? (TO)	1200.15	601.63	1541168
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.15	601.629	1541120
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	? (TO)	1200.15	601.827	1540124
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.15	601.526	1541756
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.15	601.63	1540076
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	? (TO)	1200.16	601.924	1542656
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	? (TO)	1200.16	601.827	1542662
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.16	602.027	1541048
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.16	601.524	1540310
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.16	601.63	1540046
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.16	601.63	1540058
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (TO)	1200.16	601.525	1541552
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (TO)	1200.16	601.527	1541600
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.16	601.63	1540112
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.16	601.525	1540256
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.16	601.525	1541768
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.17	601.927	1541042
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	? (TO)	1200.17	601.926	1542182
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	? (TO)	1200.17	601.926	1542638
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.17	601.926	1542236
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	? (TO)	1200.17	601.824	1542284
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.17	601.625	1541294
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.17	601.626	1539938
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.17	601.63	1540160
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.17	601.527	1540292
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	? (TO)	1200.17	601.926	1542668
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	? (TO)	1200.17	602.025	1542494
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.17	601.825	1542098
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.17	601.526	1540238
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.17	601.528	1540232
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	? (TO)	1200.17	601.825	1542584
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.17	601.628	1541090
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.17	601.631	1540094
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.17	601.925	1542218
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	? (TO)	1200.17	601.527	1541582
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	? (TO)	1200.18	601.925	1542356
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.18	601.924	1542092
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.18	601.924	1542080
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.18	602.028	1540004
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	? (TO)	1200.18	602.025	1542566
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	? (TO)	1200.18	601.826	1542530
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	1200.18	602.027	1540790
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	? (TO)	1200.19	601.926	1542332
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.19	602.025	1542140
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.19	601.629	1539992
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	? (TO)	1200.19	601.524	1541564
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.19	601.83	1542230
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.19	601.524	1541720
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.19	601.925	1542392
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.19	601.525	1541684
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.19	602.028	1540964
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.19	601.924	1542248
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.19	601.928	1540082
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	? (TO)	1200.19	602.025	1542272
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	? (TO)	1200.19	601.924	1542350
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (TO)	1200.2	601.629	1541216
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	? (TO)	1200.2	602.026	1541060
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	1200.2	601.631	1540148
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.2	601.925	1542134
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.2	601.525	1540340
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.2	601.628	1541246
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	? (TO)	1200.2	601.924	1542314
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.2	602.328	1540796
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.2	601.526	1540280
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	? (TO)	1200.2	602.226	1542578
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	? (TO)	1200.2	602.025	1542266
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	1200.2	601.63	1540064
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.2	601.526	1540394
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	? (TO)	1200.2	601.824	1542506
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.2	601.527	1540250
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	1200.2	601.63	1540166
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (TO)	1200.2	601.525	1541588
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.21	601.826	1542062
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.21	602.326	1540952
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.21	601.525	1541702
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.21	601.526	1540244
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.21	601.926	1542212
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.21	601.527	1540334
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	? (TO)	1200.21	601.925	1542278
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.21	601.629	1541264
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.21	601.926	1542476
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	? (TO)	1200.21	601.924	1542518
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.21	601.729	1541276
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.21	601.63	1541066
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.21	601.527	1540388
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.21	601.924	1542044
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	? (TO)	1200.21	602.025	1542644
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.21	601.629	1540040
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.22	601.63	1541252
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	? (TO)	1200.22	602.026	1542308
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.22	601.924	1542086
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.22	602.128	1540916
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.22	601.523	1541636
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	? (TO)	1200.22	602.024	1542362
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	1200.22	601.526	1540508
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	? (TO)	1200.22	601.731	1541126
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.22	601.525	1541690
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.22	602.126	1540994
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.22	601.924	1542128
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	1200.22	601.63	1540034
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.22	601.524	1541762
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.22	601.728	1541288
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	1200.22	602.027	1540898
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	? (TO)	1200.22	601.524	1541546
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.22	601.928	1539932
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.22	601.629	1539944
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	? (TO)	1200.22	601.73	1541198
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.22	601.925	1542224
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.22	601.526	1540448
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	1200.22	602.027	1540886
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.22	602.526	1540784
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	? (TO)	1200.22	602.025	1542536
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	? (TO)	1200.22	601.925	1542200
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	? (TO)	1200.23	601.926	1540028
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (TO)	1200.23	601.525	1541558
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (TO)	1200.23	601.729	1541240
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.23	602.228	1541618
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.23	601.526	1541654
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (TO)	1200.23	601.631	1541204
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.23	602.026	1542410
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	? (TO)	1200.23	601.925	1542176
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.23	602.026	1542056
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	1200.23	602.128	1540988
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.23	602.227	1540946
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	? (TO)	1200.23	601.925	1542290
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.24	601.527	1540226
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.24	601.63	1541114
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.24	602.028	1540802

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

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

Category "applications instances" (APPLICATION)

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

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

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

Solver was terminated by a signal (18 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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