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	1.75273	1.76902	1722121
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	3.70044	3.73026	1721321
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	38.6431	38.669	1721721
industrial/grieu/ vmpc_24.cnf	SAT	194.013	194.069	1718519
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	493.511	493.695	1722021

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.01	1200.31	1721671
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.01	1200.31	1553801
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.01	1200.41	1721221
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.01	1200.31	1554581
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.02	1200.31	1721521
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.02	1200.31	1556609
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.02	1200.31	1719611
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.02	1200.31	1722421
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.02	1200.31	1559729
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.02	1200.31	1560561
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.02	1200.41	1718207
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.02	1200.31	1563109
goldb-heqc-term1mul.cnf	? (TO)	1200.02	1200.41	1723639
manol-pipe-g7nidw.cnf	? (TO)	1200.03	1200.41	1724315
manol-pipe-c10nid_i.cnf	? (TO)	1200.03	1200.52	1720755
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.03	1200.42	1715867
mizh-md5-47-4.cnf	? (TO)	1200.03	1200.41	1720547
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.03	1200.51	1722871
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.03	1200.52	1581593
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.03	1200.42	1716127
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.03	1199.92	1717947
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1721771
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.03	1200.42	1577641
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.03	1200.41	1722471
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.03	1200.31	1718675
mizh-md5-47-3.cnf	? (TO)	1200.03	1200.31	1719507
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.03	1199.91	1718415
manol-pipe-f10ni.cnf	? (TO)	1200.03	1200.42	1724055
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.03	1200.31	1722521
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1723021
simon-s02b-dp11u10.cnf	? (TO)	1200.04	1200.41	1723847
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.04	1200.51	1559261
manol-pipe-g6bi.cnf	? (TO)	1200.04	1200.51	1723743
cmu-bmc-longmult15.cnf	? (TO)	1200.04	1200.31	1720651
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.05	1200.42	1720339
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.05	1200.53	1563265
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.05	1200.64	1563733
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.05	1200.41	1722271
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.05	1205.91	1558481
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.05	1200.42	1577901
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.05	1200.33	1577849
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.05	1200.41	1579461
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.05	1200.52	1553177
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.05	1200.42	1716699
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.05	1200.42	1580553
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.05	1200.42	1715659
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.05	1200.72	1581489
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.05	1200.32	1716023
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.05	1200.52	1554529
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.05	1200.42	1716491
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.05	1200.51	1718259
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.05	1200.41	1718467
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.05	1200.42	1577485
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.05	1200.51	1722371
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.05	1200.31	1557805
aloul-chnl11-13.cnf	? (TO)	1200.05	1200.61	1720391
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1723121
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.06	1200.41	1556765
goldb-heqc-alu4mul.cnf	? (TO)	1200.06	1200.51	1721015
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1721171
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.06	1200.41	1558845
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.06	1200.52	1581073
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.06	1200.51	1554009
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.06	1200.42	1577589
simon-s03-fifo8-300.cnf	? (TO)	1200.06	1200.52	1724159
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.06	1200.62	1579825
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.06	1200.41	1563213
mizh-md5-48-5.cnf	? (TO)	1200.06	1200.41	1721119
manol-pipe-c6bidw_i.cnf	? (TO)	1200.06	1200.41	1720287
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1721821
manol-pipe-c6nidw_i.cnf	? (TO)	1200.06	1200.51	1724471
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.06	1200.41	1562693
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.06	1200.41	1556349
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.06	1200.61	1718311
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.06	1200.51	1717843
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.06	1200.92	1716543
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.06	1200.32	1582009
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.07	1200.41	1557961
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.07	1200.51	1559209
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.07	1200.52	1579981
manol-pipe-f9n.cnf	? (TO)	1200.07	1200.82	1723951
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.07	1200.41	1562641
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.07	1200.41	1562745
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.07	1200.52	1716179
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.07	1200.52	1577693
manol-pipe-f9b.cnf	? (TO)	1200.07	1200.42	1719975
goldb-heqc-dalumul.cnf	? (TO)	1200.07	1200.41	1720443
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1721271
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.07	1200.51	1721371
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1721421
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.07	1200.61	1721971
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.07	1200.51	1722571
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.07	1200.41	1723071
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.07	1200.41	1558221
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.07	1200.73	1582425
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.07	1200.72	1580345
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.07	1200.41	1553281
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.07	1200.42	1580241
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.07	1200.51	1722821
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.07	1200.62	1578785
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.07	1206.11	1560041
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.07	1200.51	1559521
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.08	1200.51	1718623
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.08	1200.51	1556557
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.08	1200.51	1559001
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.08	1200.41	1563057
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.08	1200.41	1556505
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.08	1200.41	1563681
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.08	1200.42	1582737
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.08	1200.52	1556245
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.08	1200.41	1718155
mizh-sha0-36-4.cnf	? (TO)	1200.08	1200.41	1720235
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.08	1200.41	1555049
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.08	1200.51	1717219
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.08	1200.41	1720911
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.08	1200.52	1555153
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.08	1200.42	1715971
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.08	1200.51	1718831
goldb-heqc-frg1mul.cnf	? (TO)	1200.08	1200.41	1719663
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.08	1200.41	1557077
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.08	1200.41	1718103
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.08	1200.42	1581957
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1722171
manol-pipe-c10nidw_s.cnf	? (TO)	1200.09	1200.62	1723223
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.09	1200.41	1557701
manol-pipe-g10bidw.cnf	? (TO)	1200.09	1200.62	1723275
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.09	1200.41	1557597
hoons-vbmc-lucky7.cnf	? (TO)	1200.09	1200.51	1719871
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.09	1200.51	1558065
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.09	1200.62	1580865
mizh-sha0-36-3.cnf	? (TO)	1200.09	1200.41	1719819
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.09	1200.43	1580033
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.09	1200.41	1562849
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.09	1200.41	1556817
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.09	1200.52	1579409
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.09	1200.51	1718727
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.09	1200.42	1578941
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.09	1200.62	1581749
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.09	1200.61	1578213
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.09	1200.41	1563005
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.09	1200.42	1716647
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.09	1200.42	1716075
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.09	1200.41	1553385
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.09	1200.51	1556453
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.09	1200.62	1582165
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.09	1200.41	1560717
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.09	1200.51	1558793
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1722771
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.09	1200.41	1718363
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.09	1200.41	1556089
manol-pipe-g10nid.cnf	? (TO)	1200.1	1200.42	1720183
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.1	1207.01	1560613
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.1	1200.41	1558429
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.1	1200.41	1718571
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.1	1200.41	1556869
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.1	1200.42	1717999
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.1	1200.41	1559625
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.1	1200.42	1554893
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.1	1200.72	1716751
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.1	1200.42	1715919
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.1	1200.52	1715711
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.1	1200.42	1715763
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.1	1200.52	1715607
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.1	1200.63	1580761
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.1	1200.41	1559365
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.1	1200.51	1559313
manol-pipe-c7bidw_i.cnf	? (TO)	1200.1	1200.41	1724263
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.1	1200.42	1580137
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.1	1200.42	1580085
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.1	1200.41	1563161
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.1	1200.41	1723379
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.1	1200.52	1563369
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.1	1200.41	1722621
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.1	1200.41	1579877
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1722971
manol-pipe-c10nidw.cnf	? (TO)	1200.1	1200.42	1720079
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.11	1200.43	1579357
simon-s03-w08-15.cnf	? (TO)	1200.11	1200.51	1719767
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.11	1200.41	1724211
manol-pipe-c9.cnf	? (TO)	1200.11	1200.51	1724367
mizh-sha0-36-2.cnf	? (TO)	1200.11	1200.41	1724003
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.11	1200.72	1716231
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.11	1200.42	1716283
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.11	1200.41	1718051
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.11	1200.42	1717791
mizh-sha0-35-3.cnf	? (TO)	1200.11	1200.41	1720703
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.11	1200.51	1721871
manol-pipe-c7nidw.cnf	? (TO)	1200.11	1200.52	1723483
manol-pipe-g10id.cnf	? (TO)	1200.11	1200.61	1723535
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.11	1200.51	1558013
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.11	1200.41	1557493
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.11	1200.42	1555881
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.11	1200.42	1581905
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.11	1200.42	1716335
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.11	1200.52	1563473
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.11	1200.41	1562901
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.11	1200.51	1562797
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.11	1200.51	1562953
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.11	1200.44	1577537
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.12	1200.41	1557025
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.12	1200.41	1556713
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.12	1200.42	1716595
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.12	1200.63	1716387
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.12	1200.52	1716439
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.12	1200.42	1715815
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.13	1200.82	1581333

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (exit code)	0	0.00515894	1719403
schup-l2s-bc56s-1-k391.cnf	? (exit code)	0	0.00501109	1719923
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (exit code)	0	0.00533499	1717739
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (exit code)	0	0.00516802	1577745
industrial/narain/ clauses-8.cnf	? (exit code)	0.000999	0.00502593	1718779
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (exit code)	0.000999	0.00523789	1577797
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (exit code)	0.000999	0.00576102	1563421
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (exit code)	0.000999	0.0053149	1717271
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (exit code)	0.000999	0.00536206	1719351
schup-l2s-motst-2-k315.cnf	? (exit code)	0.001999	0.00496891	1720027
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	0.005998	0.0068361	1716907
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (exit code)	0.005998	0.00691903	1560145
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (exit code)	0.005998	0.00673302	1560301
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (exit code)	0.005998	0.00692512	1560457
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (exit code)	0.005998	0.00699607	1559677
industrial/fuhs/medium/ AProVE07-16.cnf	? (exit code)	0.005999	0.00650396	1716855
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (exit code)	0.005999	0.0068999	1560821
industrial/fuhs/medium/ AProVE07-09.cnf	? (exit code)	0.006998	0.00688602	1716803
velev-pipe-uns-1.0-8.cnf	? (exit code)	0.006998	0.00766897	1724419
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (exit code)	0.006998	0.00702891	1560405
velev-pipe-o-uns-1.1-6.cnf	? (exit code)	0.006998	0.00795111	1723587
industrial/fuhs/hard/ AProVE07-08.cnf	? (exit code)	0.006998	0.00691392	1716959
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (exit code)	0.006998	0.007435	1559937
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (exit code)	0.007997	0.00690997	1560925
velev-pipe-o-uns-1.0-7.cnf	? (exit code)	0.007997	0.00810891	1723899
industrial/fuhs/hard/ AProVE07-26.cnf	? (exit code)	0.007997	0.00691588	1717063
velev-pipe-sat-1.0-b7.cnf	? (exit code)	0.007998	0.00739607	1723171
industrial/fuhs/hard/ AProVE07-27.cnf	? (exit code)	0.007998	0.00693597	1717115
industrial/fuhs/hard/ AProVE07-25.cnf	? (exit code)	0.007998	0.00690098	1717011
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (exit code)	0.007998	0.00695697	1560353
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (exit code)	0.007998	0.00670608	1560665
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (exit code)	0.007998	0.00703496	1560873
velev-pipe-sat-1.0-b10.cnf	? (exit code)	0.007998	0.00799501	1723327
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (exit code)	0.012997	0.0128679	1717687
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (exit code)	0.012997	0.0139559	1717479
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (exit code)	0.015996	0.01499	1717635
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (exit code)	0.015996	0.016926	1717583
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (exit code)	0.017996	0.019056	1717531
cmu-bmc-barrel6.cnf	? (exit code)	0.017997	0.0183389	1719559
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (exit code)	0.020996	0.020696	1717427
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (exit code)	0.020996	0.0213921	1717895
velev-live-uns-2.0-ebuf.cnf	? (exit code)	0.024996	0.0254679	1723691
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (exit code)	0.026994	0.0279429	1717323
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (exit code)	0.028995	0.029435	1719195
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (exit code)	0.028995	0.029633	1718935
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (exit code)	0.028995	0.029671	1719299
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (exit code)	0.029995	0.029978	1718987
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (exit code)	0.029995	0.0309579	1718883
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (exit code)	0.029995	0.029915	1719091
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (exit code)	0.030994	0.03171	1719039
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (exit code)	0.030994	0.0313281	1719143
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (exit code)	0.031995	0.031776	1719247
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (exit code)	0.066988	0.067306	1717167
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (exit code)	0.066989	0.0661381	1717375
velev-vliw-uns-4.0-9-i1.cnf	? (exit code)	0.069988	0.0706329	1719715
velev-vliw-uns-4.0-9C1.cnf	? (exit code)	0.081987	0.0825391	1723795
velev-engi-uns-1.0-4nd.cnf	? (exit code)	0.105983	0.105915	1720131
goldb-heqc-x1mul.cnf	? (exit code)	0.107983	0.108164	1719455
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (exit code)	0.128979	0.129686	1560093
goldb-heqc-i10mul.cnf	? (exit code)	0.149976	0.150582	1723431
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (exit code)	0.174972	0.175696	1559781
schup-l2s-guid-1-k56.cnf	? (exit code)	0.426934	0.427677	1724107
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (exit code)	2.36064	2.36117	1563317
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (exit code)	2.36464	2.36519	1563629
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (exit code)	89.8483	89.8973	1553853

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ minor/minor032.cnf	Signal 11	0.160975	0.16214	1553229
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	Signal 11	0.171973	0.172318	1556037
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	Signal 11	0.267958	0.268663	1554165
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	Signal 11	0.299953	0.300232	1553333
APPLICATIONS/ bitverif/maxand/maxand064.cnf	Signal 11	0.394939	0.394727	1555621
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	Signal 11	0.557915	0.558326	1554425
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	Signal 11	0.602907	0.603651	1554737
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	Signal 11	0.754885	0.755396	1555257
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	Signal 11	1.72374	1.72421	1554685
APPLICATIONS/bitverif/ smulo/smulo016.cnf	Signal 11	1.79273	1.79211	1554841
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	Signal 11	1.92571	1.92687	1554113
APPLICATIONS/ bitverif/minxor/minxor128.cnf	Signal 11	2.97155	2.97247	1553489
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	Signal 11	5.76912	5.78322	1556141
APPLICATIONS/ bitverif/minand/minand128.cnf	Signal 11	8.14976	8.1575	1554217
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	Signal 6	106.487	106.515	1555465
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	Signal 11	1149.55	1149.87	1563577

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.037994	0.038257	1734221
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.040992	0.0415951	1734371
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.040993	0.0412659	1734121
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.044992	0.043552	1733021
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.046991	0.0479551	1734171
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.046992	0.046689	1734471
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.049992	0.0501741	1734421
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.051991	0.052838	1734571
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.051991	0.0525499	1736171
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.051991	0.052755	1734271
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.052991	0.0518899	1734321
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.05799	0.0585109	1736421
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.057991	0.0581029	1734621
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.05899	0.059904	1737071
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.064989	0.0662841	1734521
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.072988	0.0729619	1736221
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.101983	0.101744	1738172
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.133979	0.134157	1732671
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.343946	0.344492	1738119
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	0.368943	0.370991	1734771
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.577911	0.578316	1732871
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	1.53177	1.53465	1735271
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	2.09568	2.09646	1733121
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	2.26365	2.26637	1735121
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	3.2805	3.28335	1732471
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	3.52646	3.5258	1732371
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	6.13407	6.13601	1732921
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	8.12177	8.12608	1735071
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	9.00663	9.01042	1738278
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	10.2124	10.2151	1732421
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	10.2154	10.2169	1738331
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	10.8523	10.8567	1735321
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	12.0432	12.0492	1736021
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	13.046	13.0527	1735871
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	21.8627	21.8713	1734921
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	23.4034	23.41	1738066
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	36.5344	36.5564	1735221
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	37.5903	37.6021	1732321
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	54.1758	54.1988	1735771
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	57.1783	57.2068	1561809
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	68.4846	68.5025	1738384
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	88.4436	88.4768	1735421
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	117.277	117.322	1735921
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	242.171	242.261	1738225
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	359.814	359.964	1562017
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	380.005	380.152	1734971
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	381.447	381.55	1735171
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	400.341	400.457	1562381
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	823.938	824.261	1725742
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	1001.31	1001.62	1725689
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	1109.64	1109.95	1725636

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1726802
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1728657
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.01	1200.31	1560977
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1730141
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1727650
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1729028
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.02	1200.41	1731921
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1729717
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1729611
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.02	1200.31	1734871
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1729346
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1731466
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1730406
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1729982
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.02	1200.31	1737324
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1725371
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.02	1200.31	1561029
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1729081
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728551
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1728127
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1726855
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.02	1200.31	1737536
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.03	1200.41	1733821
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.03	1200.61	1562277
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.03	1200.81	1726431
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1728180
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.03	1200.41	1736921
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.03	1200.31	1735571
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1728604
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.03	1200.41	1732621
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1727173
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727862
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1729452
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.05	1200.41	1562433
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726696
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.05	1200.41	1731821
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731519
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.05	1200.42	1728286
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.05	1200.41	1736371
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.05	1200.51	1732271
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731678
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725583
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736771
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1727226
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.06	1200.41	1732171
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.06	1200.41	1735471
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.06	1200.41	1731971
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.06	1200.51	1736471
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1737121
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.06	1200.41	1736321
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.06	1200.41	1561341
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725477
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731413
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.06	1200.41	1734071
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1728021
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1727067
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.06	1200.41	1735971
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.06	1200.41	1733371
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.06	1200.41	1731871
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.06	1200.41	1737483
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730989
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.06	1200.51	1736971
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.06	1200.41	1733521
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.06	1200.41	1734671
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1730088
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727120
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728816
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.06	1200.41	1732571
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.06	1200.41	1735371
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.06	1200.41	1732021
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725318
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.07	1200.52	1727438
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726537
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.07	1200.43	1726961
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1725795
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.07	1200.41	1562173
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.07	1200.41	1737695
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1727703
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.07	1200.41	1561133
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.07	1200.51	1735671
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.07	1200.51	1735621
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.07	1200.42	1733171
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.07	1200.41	1561653
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.07	1200.41	1732521
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1728975
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.07	1200.52	1733721
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729293
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.07	1200.61	1734821
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730353
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1730300
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.07	1200.51	1737271
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726643
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1726060
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1729929
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.08	1200.41	1732971
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.08	1200.51	1733621
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.08	1200.41	1737377
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728710
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.08	1200.51	1737589
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.08	1200.41	1735821
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731254
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733571
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.08	1200.41	1737430
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1726113
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727809
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.08	1200.51	1734021
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	? (TO)	1200.08	1200.41	1736571
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.08	1200.44	1727544
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.08	1200.51	1733971
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.08	1200.51	1733871
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.08	1200.41	1733271
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729240
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1731201
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1729770
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.08	1200.41	1562121
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729187
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.09	1200.42	1733771
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (TO)	1200.09	1200.51	1561757
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725530
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726007
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1726166
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.09	1200.91	1726378
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726484
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726749
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726908
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727014
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1727756
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727915
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728233
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728922
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1729664
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729876
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730035
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1730194
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730724
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730936
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731042
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731307
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731148
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731360
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731572
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731625
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.09	1200.41	1732121
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.09	1200.41	1732821
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.09	1200.41	1733421
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.09	1200.41	1733671
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.09	1200.61	1735721
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.09	1200.41	1736071
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1736271
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.09	1200.41	1736821
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.1	1200.51	1734721
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729399
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.1	1200.51	1562225
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1728445
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727968
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.1	1200.41	1737642
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.1	1200.41	1736121
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.1	1200.41	1562485
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.1	1200.62	1727385
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.1	1200.41	1561445
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.1	1200.41	1736621
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1726590
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1725954
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1725848
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.1	1200.41	1737021
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1725265
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.1	1200.41	1561289
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.1	1200.41	1733471
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.1	1200.41	1733221
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.1	1200.42	1733321
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.1	1200.51	1733071
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.1	1200.41	1732071
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730883
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1731095
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730777
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730459
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.1	1200.51	1733921
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730512
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729505
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729558
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.1	1200.51	1735021
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.11	1200.41	1736671
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.11	1200.41	1737221
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1727279
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728869
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728498
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728763
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.11	1200.41	1732221
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.11	1200.41	1561549
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.11	1200.51	1561705
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.11	1200.43	1727597
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729823
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.11	1200.41	1736721
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.11	1200.61	1736521
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1726325
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1725424
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729134
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.12	1200.53	1727332
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.12	1200.41	1735521
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.13	1200.64	1727491
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.14	1200.45	1732771

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (exit code)	0.006998	0.00693808	1728392
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	? (exit code)	0.006998	0.00761303	1562069
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (exit code)	0.006998	0.00821104	1561965
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	? (exit code)	0.006998	0.00740788	1561913
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (exit code)	0.006998	0.00757511	1561393
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (exit code)	0.006998	0.00790002	1561237
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (exit code)	0.006998	0.0140601	1562589
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (exit code)	0.006998	0.00783009	1562329
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (exit code)	0.007998	0.00779803	1562537
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (exit code)	0.007998	0.00759109	1561185
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (exit code)	0.007998	0.00761899	1561081
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (exit code)	0.007998	0.00746593	1561497
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (exit code)	0.008998	0.00969889	1730671
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (exit code)	0.010998	0.011216	1730247
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (exit code)	0.012997	0.0130301	1728074
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (exit code)	0.013997	0.01464	1728339
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (exit code)	0.461929	0.46214	1737801
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (exit code)	0.506922	0.505621	1737748
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (exit code)	0.564914	0.566121	1737854
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (exit code)	0.578911	0.57775	1737960
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (exit code)	0.84787	0.848604	1738013
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (exit code)	0.907861	0.908798	1737907

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	Signal 11	0.113982	0.116183	1736871
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	Signal 11	0.119981	0.121398	1726219
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	Signal 11	0.12598	0.126145	1730618
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	Signal 11	0.12698	0.149996	1726272
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	Signal 11	0.129979	0.129877	1725901
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	Signal 11	0.175972	0.176572	1730565
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	Signal 11	1.12783	1.12734	1730830

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.037993	0.0392129	1543235
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.037993	0.039115	1542803
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.039992	0.0408759	1543283
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.039992	0.0410801	1543109
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.039993	0.040632	1542827
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.040993	0.042394	1543199
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.041992	0.042406	1542809
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.041993	0.042183	1541477
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.042992	0.044054	1543067
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.042992	0.043377	1543025
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.043993	0.044578	1541393
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.044992	0.0450889	1541435
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.045992	0.046975	1543307
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.046992	0.047424	1542779
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.047992	0.0487339	1543241
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.047992	0.0502101	1542977
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.047992	0.0469021	1542851
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.047992	0.048655	1542761
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.047992	0.0477919	1541447
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.048991	0.048102	1543331
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.049992	0.0506589	1543295
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.051991	0.052704	1543271
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.052991	0.053245	1541387
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.052991	0.0535059	1543169
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.05499	0.0555821	1543175
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.054991	0.0541251	1543205
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.05599	0.0571779	1541327
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.055991	0.056195	1542947
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.05699	0.057371	1542845
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.05699	0.057425	1543031
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.05699	0.057462	1542791
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.05799	0.0582019	1542905
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.05899	0.059759	1543259
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.060989	0.0618219	1543163
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.06099	0.0597319	1541363
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.062989	0.0636531	1542893
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.062989	0.063559	1541381
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.06299	0.063527	1541333
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.063989	0.0649289	1543265
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.063989	0.062825	1542875
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.064989	0.065411	1543139
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.064989	0.065305	1542899
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.065989	0.0692241	1542713
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.066989	0.067481	1542689
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.066989	0.067348	1543289
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.067988	0.068166	1541471
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.068988	0.0697579	1542881
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.069989	0.0706951	1543037
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.070988	0.0717191	1542995
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.071988	0.0725431	1543223
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.073987	0.073098	1541441
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.075987	0.0769579	1543013
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.075988	0.0762481	1543103
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.076987	0.0772609	1543253
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	0.076988	0.076797	1541849
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.079987	0.0805359	1542833
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.081986	0.08172	1541405
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.083986	0.084775	1542725
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.086986	0.087018	1543007
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.091985	0.092781	1541495
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.092985	0.0940831	1541465
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.092985	0.09307	1542773
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.093985	0.0947601	1541411
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.093985	0.0944341	1543193
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.095984	0.096837	1543145
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.097984	0.098067	1541345
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.097984	0.0987029	1542701
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.099984	0.0999971	1543319
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.099984	0.100521	1541339
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.100984	0.101728	1542737
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.103983	0.104149	1541537
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.104983	0.105529	1542953
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.105983	0.106877	1543313
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.105983	0.106163	1543121
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.110982	0.111428	1542707
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.112982	0.111658	1542839
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.114982	0.115241	1541303
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.115982	0.116477	1542989
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.117981	0.118582	1541369
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.118981	0.120113	1542767
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.12298	0.124321	1543151
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.12398	0.126667	1542929
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.128979	0.129496	1541819
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.129979	0.130619	1541375
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.129979	0.13058	1541309
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.130979	0.132255	1543229
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.133978	0.13497	1542821
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.134978	0.135006	1542743
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.138977	0.140153	1543211
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.143977	0.144765	1542935
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.145976	0.146466	1542683
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	0.148976	0.149507	1541783
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.164974	0.165665	1541399
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.170973	0.170724	1543049
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.170973	0.171767	1542965
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.173973	0.173478	1541429
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.18697	0.185733	1542719
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.19097	0.190077	1541459
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.199968	0.200792	1542971
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.199968	0.200607	1542983
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.214966	0.215828	1543217
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.223965	0.22435	1541501
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.25496	0.255536	1542815
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.265959	0.265858	1543133
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.267958	0.268018	1543181
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.271957	0.272111	1543085
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.275957	0.276775	1541531
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	0.275957	0.276924	1541801
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.280956	0.28006	1542869
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.292954	0.293491	1543097
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.292955	0.294127	1543001
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.331949	0.332804	1541945
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.338948	0.339588	1543055
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.353946	0.354635	1543337
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.369943	0.377061	1540547
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.389939	0.389004	1541357
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.393939	0.394441	1543301
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.414936	0.416589	1542785
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.420935	0.430186	1540565
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.434933	0.435634	1541321
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	0.437933	0.438401	1541825
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	0.447931	0.447367	1541831
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.490924	0.491014	1542749
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.507921	0.507566	1541513
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.539917	0.540147	1541315
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.552914	0.554946	1542857
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.582911	0.585937	1543247
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.625904	0.6266	1542959
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.635902	0.636084	1541423
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	0.640902	0.641945	1543115
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.679896	0.681138	1543091
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	0.732887	0.733653	1542017
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.733887	0.734756	1543079
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.748885	0.748125	1543187
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	0.778881	0.779558	1541807
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	0.875866	0.876214	1541519
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.893863	0.894348	1542731
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.899862	0.899995	1542797
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	0.907861	0.908611	1541951
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	0.908861	0.909089	1543325
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	0.972851	0.972913	1541525
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	0.988849	0.989412	1543043
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	0.991848	0.992497	1541957
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	1.02984	1.0538	1540847
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	1.11583	1.14192	1540865
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	1.19382	1.19432	1541417
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	1.23381	1.23458	1541489
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	1.25481	1.26578	1540553
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	1.35479	1.35908	1543061
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	1.36279	1.36367	1541993
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	1.41578	1.43921	1540853
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	1.75773	1.76951	1540541
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	1.9357	1.93585	1541999
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	1.9377	1.93909	1541837
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	2.16667	2.16747	1543277
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	2.17567	2.17702	1543157
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	2.18267	2.18388	1541795
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	2.23866	2.24127	1542917
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	2.34464	2.34432	1541933
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	2.35564	2.35665	1541867
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	2.35664	2.36783	1540535
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	2.6196	2.62008	1541927
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	2.92055	2.92138	1543127
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	2.97255	2.97428	1541861
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	3.06653	3.06803	1543073
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	3.15352	3.1554	1543019
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	3.52046	3.52218	1541789
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	3.56246	3.56286	1542755
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	3.56446	3.5667	1541639
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	3.58845	3.58817	1541813
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	3.59745	3.60934	1540523
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	3.74143	3.74311	1541921
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	3.86141	3.90043	1540733
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	3.86941	3.87048	1542887
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	3.88241	3.88251	1541855
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	3.9744	3.98498	1540577
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	4.09138	4.1271	1540709
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	4.38533	4.38779	1541351
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	4.41433	4.4143	1541741
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	4.46332	4.51831	1540649
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	4.63429	4.63626	1541507
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	4.79027	4.79206	1541483
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	4.79227	4.81944	1540877
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	5.06023	5.06164	1541873
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	5.14422	5.17131	1540859
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	5.18021	5.18087	1541963
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	5.9331	5.97434	1540715
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	6.08807	6.08827	1542911
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	6.23205	6.23304	1542005
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	6.25305	6.28003	1540835
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	6.75097	6.75331	1541975
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	6.78597	6.78947	1541657
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	6.80496	6.81801	1540559
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	7.73082	7.78695	1540679
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	8.66268	8.66591	1541891
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	8.72267	8.79419	1540631
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	9.66453	9.66841	1541453
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	10.0075	10.0503	1540757
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	10.2554	10.2567	1541879
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	10.3554	10.3595	1542941
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	11.4123	11.4153	1541969
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	11.9962	11.9996	1541843
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	12.0902	12.0949	1540211
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	12.6561	12.6596	1541903
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	12.89	12.9553	1540667
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	13.099	13.1028	1541981
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	13.5129	13.5713	1540643
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	13.7359	13.7762	1540745
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	14.2498	14.2486	1541939
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	14.6338	14.6384	1541885
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	15.1287	15.133	1541909
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	15.5456	15.5757	1540871
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	18.1452	18.2146	1540589
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	18.2962	18.37	1540637
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	18.9381	18.9513	1542863
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	21.5037	21.5091	1541729
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	21.5817	21.6427	1540655
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	23.7024	23.8089	1540811
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	24.5203	24.5398	1540529
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	24.9522	25.0707	1540895
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	27.0329	27.1548	1540937
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	27.4368	27.5284	1541057
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	31.5842	31.6506	1540583
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	32.912	32.9205	1542695
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	39.358	39.4415	1540619
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	40.1189	40.1339	1541693
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	43.4734	43.5719	1540595
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	47.8747	47.8885	1540187
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	49.2825	49.299	1541897
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	50.4663	50.539	1540691
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	52.0291	52.0746	1540841
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	55.1596	55.178	1542011
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	57.7172	57.8136	1541003
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	64.1213	64.2223	1541027
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	68.6996	68.7236	1541915
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	69.4954	69.5859	1540607
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	69.5844	69.5888	1540571
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	71.6841	71.7445	1540739
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	77.5752	77.6039	1540181
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	80.1228	80.2187	1540601
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	81.9345	82.0836	1540985
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	82.0645	82.1136	1540829
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	87.9136	87.9409	1541987
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	92.124	92.26	1540883
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	95.6745	95.8233	1540979
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	97.8101	97.8829	1540721
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	SAT	101.385	101.541	1540967
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	106.304	106.429	1540817
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	SAT	124.86	125.013	1540901
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	SAT	126.077	126.236	1540973
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	129.434	129.48	1540505
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	129.607	129.759	1540907
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	130.352	130.441	1540661
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	SAT	139.195	139.348	1540931
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	148.443	148.599	1540925
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	152.975	153.075	1540673
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	154.807	154.86	1540493
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	158.493	158.543	1540199
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	SAT	195.926	196.118	1540949
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	199.314	199.446	1541033
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	201.833	201.905	1539983
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	SAT	220.267	220.439	1540805
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT	232.275	232.536	1540775
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	239.282	239.349	1540025
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	SAT	241.527	241.671	1541009
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	SAT	250.319	250.508	1540961
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	SAT	259.684	259.881	1540919
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	SAT	326.286	326.536	1540955
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	332.276	332.452	1540697
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	SAT	373.666	373.899	1540913
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	SAT	384.592	384.554	1540445
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	416.857	416.98	1540205
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	430.019	430.124	1540175
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	SAT	433.173	433.42	1540781
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	450.244	450.407	1540475
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	464.409	464.571	1540463
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	484.865	484.982	1540469
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	SAT	538.598	538.865	1540991
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	545.174	545.328	1540481
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	SAT	546.804	547.078	1540997
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	SAT	574.867	575.147	1541039
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	SAT	597.804	598.114	1540943
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	669.051	669.366	1540625
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	SAT	729.938	730.121	1540421
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	732.542	732.728	1540499
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	SAT	738.755	739.048	1540787
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	SAT	767.917	768.244	1540799
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	796.704	797.142	1540511
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	SAT	936.853	937.185	1541051
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	1012.11	1012.37	1540163
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	SAT	1101.1	1101.62	1540889
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	SAT	1154.85	1155.13	1540313
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	1171.55	1171.93	1540751
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	1181.45	1181.91	1540703

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	Signal 11	0.474927	0.474378	1542923
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	Signal 11	5.36218	5.36379	1542407
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	Signal 11	6.89495	6.89824	1542239
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	Signal 11	170.054	170.102	1542473
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	Signal 11	297.759	297.84	1542677
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	Signal 11	853.209	853.448	1542215

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

Result page for solver hybridGM 1 (incomplete)

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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

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

Category "random instances" (RANDOM)

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

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

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