Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf | ? (TO) | 948.419 | 1000.03 | 1776237 |
vange-col-abb313GPIA-9-c.cnf | ? (TO) | 1013.75 | 1000.1 | 1776867 |
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf | ? (TO) | 1018.23 | 1000.03 | 1779102 |
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf | ? (TO) | 1034.96 | 1000.04 | 1776282 |
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf | ? (TO) | 1051.55 | 1000.04 | 1776207 |
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf | ? (TO) | 1071.27 | 1000.04 | 1776252 |
goldb-heqc-term1mul.cnf | ? (TO) | 1085.84 | 1000.04 | 1781337 |
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf | ? (TO) | 1127.23 | 1000.03 | 1776222 |
goldb-heqc-frg1mul.cnf | ? (TO) | 1170.9 | 1000.03 | 1776672 |
industrial/fuhs/hard/ AProVE07-08.cnf | ? (TO) | 1193.08 | 1000.04 | 1775892 |
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf | ? (TO) | 1205.88 | 1000.05 | 1779117 |
industrial/fuhs/hard/ AProVE07-01.cnf | ? (TO) | 1341.22 | 1000.05 | 1775877 |
goldb-heqc-dalumul.cnf | ? (TO) | 1456 | 1000.04 | 1776897 |
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf | ? (TO) | 1464.46 | 1000.09 | 1779132 |
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf | ? (TO) | 1494.99 | 1000.07 | 1780047 |
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf | ? (TO) | 1550.07 | 1000.06 | 1780017 |
aloul-chnl11-13.cnf | ? (TO) | 1570.44 | 1000.03 | 1776882 |
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf | ? (TO) | 1617.13 | 1000.06 | 1779927 |
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf | ? (TO) | 1617.49 | 1000.06 | 1779912 |
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf | ? (TO) | 1663.68 | 1000.07 | 1780002 |
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf | ? (TO) | 1684.48 | 1000.04 | 1778952 |
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf | ? (TO) | 1781.23 | 1000.06 | 1780992 |
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf | ? (TO) | 1784.04 | 1000.21 | 1780152 |
goldb-heqc-i10mul.cnf | ? (TO) | 1826.99 | 1000.06 | 1781277 |
mizh-sha0-36-2.cnf | ? (TO) | 2105.48 | 1000.11 | 1781442 |
industrial/fuhs/hard/ AProVE07-27.cnf | ? (TO) | 2110.81 | 1000.04 | 1775937 |
industrial/fuhs/hard/ AProVE07-25.cnf | ? (TO) | 2210.06 | 1000.07 | 1775907 |
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf | ? (TO) | 2293.76 | 1000.05 | 1781052 |
manol-pipe-c7nidw.cnf | ? (TO) | 2324.96 | 1000.16 | 1781292 |
mizh-sha0-36-3.cnf | ? (TO) | 2403.02 | 1000.1 | 1776717 |
manol-pipe-c7bidw_i.cnf | ? (TO) | 2419.38 | 1000.14 | 1781517 |
goldb-heqc-x1mul.cnf | ? (TO) | 2420.64 | 1000.05 | 1776612 |
manol-pipe-c10nid_i.cnf | ? (TO) | 2434.3 | 1000.19 | 1776957 |
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf | ? (TO) | 2577.69 | 1000.09 | 1780137 |
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf | ? (TO) | 2650.3 | 1000.12 | 1775712 |
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf | ? (TO) | 2668.53 | 1000.07 | 1779057 |
manol-pipe-c10nidw.cnf | ? (TO) | 2822.6 | 1000.29 | 1776792 |
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf | ? (TO) | 2967.36 | 1000.15 | 1775757 |
APPLICATIONS/bitverif/ smulo/smulo128.cnf | ? (TO) | 3042.22 | 1000.18 | 1778997 |
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf | ? (TO) | 3152.46 | 1000.12 | 1775742 |
simon-s02b-k2f-gr-rcs-w8.cnf | ? (TO) | 3221.82 | 1000.1 | 1781502 |
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf | ? (TO) | 3263.27 | 1000.18 | 1780242 |
industrial/palacios/hard/ safe-30-h29-unsat.cnf | ? (TO) | 3321.32 | 1000.14 | 1775997 |
industrial/fuhs/hard/ AProVE07-26.cnf | ? (TO) | 3448.06 | 1000.07 | 1775922 |
manol-pipe-f10ni.cnf | ? (TO) | 3450.93 | 1000.28 | 1781457 |
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf | ? (TO) | 3466.42 | 1000.24 | 1780302 |
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf | ? (TO) | 3581.42 | 1000.07 | 1778967 |
manol-pipe-f9b.cnf | ? (TO) | 3700.06 | 1000.17 | 1776762 |
manol-pipe-f9n.cnf | ? (TO) | 3728.25 | 1000.17 | 1781427 |
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf | ? (TO) | 3856.47 | 1000.13 | 1775817 |
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf | ? (TO) | 3886.7 | 1000.06 | 1779507 |
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf | ? (TO) | 3938.49 | 1000.07 | 1780917 |
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf | ? (TO) | 3966.6 | 1000.05 | 1779432 |
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf | ? (TO) | 4097.42 | 1000.06 | 1779597 |
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf | ? (TO) | 4110.69 | 1000.06 | 1779387 |
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf | ? (TO) | 4163.43 | 1000.06 | 1779552 |
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf | ? (TO) | 4181.73 | 1000.05 | 1779537 |
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf | ? (TO) | 4219.95 | 1000.06 | 1780767 |
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf | ? (TO) | 4392.61 | 1000.06 | 1778907 |
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf | ? (TO) | 4422.19 | 1000.24 | 1778922 |
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf | ? (TO) | 4463.06 | 1000.06 | 1779582 |
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf | ? (TO) | 4643.62 | 1000.06 | 1779417 |
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf | ? (TO) | 5006.28 | 1000.2 | 1775622 |
industrial/fuhs/medium/ AProVE07-09.cnf | ? (TO) | 5643.41 | 1000.1 | 1775847 |
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf | ? (TO) | 5666.04 | 1000.11 | 1775967 |
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf | ? (TO) | 5902.21 | 1000.15 | 1775502 |
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf | ? (TO) | 6132.23 | 1000.08 | 1781022 |
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf | ? (TO) | 6158.71 | 1000.06 | 1779402 |
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf | ? (TO) | 6272.39 | 1000.08 | 1779207 |
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf | ? (TO) | 6340.22 | 1000.1 | 1779192 |
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf | ? (TO) | 6474.88 | 1000.07 | 1781127 |
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf | ? (TO) | 6522.33 | 1000.15 | 1780092 |
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf | ? (TO) | 6689.05 | 1000.1 | 1779237 |
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf | ? (TO) | 6711.55 | 1000.23 | 1775727 |
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf | ? (TO) | 6775.51 | 1000.19 | 1775682 |
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf | ? (TO) | 6851.65 | 1000.11 | 1779177 |
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf | ? (TO) | 6877.56 | 1000.09 | 1779297 |
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf | ? (TO) | 7759.56 | 1000.06 | 1779567 |
APPLICATIONS/aprove09/ AProVE09-20.cnf | ? (TO) | 8129.08 | 1000.08 | 1779642 |
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf | ? (TO) | 8710.76 | 1000.1 | 1781082 |
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf | ? (TO) | 8712.6 | 1000.23 | 1778832 |
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf | ? (TO) | 9376.07 | 1000.23 | 1775952 |
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf | ? (TO) | 9585.75 | 1000.25 | 1776012 |
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf | ? (TO) | 9599.44 | 1000.2 | 1775772 |
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf | ? (TO) | 10000.5 | 726.095 | 1781157 |
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf | ? (TO) | 10000.6 | 929.073 | 1775652 |
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf | ? (TO) | 10000.6 | 728.417 | 1780977 |
APPLICATIONS/diagnosis/ UR-15-10p0.cnf | ? (TO) | 10000.8 | 919.616 | 1780692 |
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf | ? (TO) | 10000.8 | 713.103 | 1781187 |
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf | ? (TO) | 10000.9 | 684.66 | 1779477 |
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf | ? (TO) | 10000.9 | 715.231 | 1780812 |
industrial/grieu/ vmpc_30.cnf | ? (TO) | 10001 | 848.222 | 1776312 |
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf | ? (TO) | 10001.1 | 686.761 | 1779492 |
industrial/grieu/ vmpc_29.cnf | ? (TO) | 10001.1 | 838.505 | 1776357 |
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf | ? (TO) | 10001.1 | 752.697 | 1780752 |
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf | ? (TO) | 10001.1 | 804.333 | 1779042 |
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf | ? (TO) | 10001.1 | 688.848 | 1781112 |
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf | ? (TO) | 10001.2 | 716.939 | 1781142 |
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf | ? (TO) | 10001.3 | 689.234 | 1780887 |
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf | ? (TO) | 10001.3 | 700.157 | 1780842 |
industrial/palacios/medium/ cube-11-h14-sat.cnf | ? (TO) | 10001.3 | 856.214 | 1776117 |
industrial/grieu/ vmpc_33.cnf | ? (TO) | 10001.3 | 746.448 | 1776327 |
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf | ? (TO) | 10001.4 | 689.359 | 1779327 |
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf | ? (TO) | 10001.4 | 712.24 | 1781007 |
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf | ? (TO) | 10001.5 | 728.702 | 1780932 |
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf | ? (TO) | 10001.5 | 684.559 | 1779357 |
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf | ? (TO) | 10001.6 | 715.513 | 1781067 |
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf | ? (TO) | 10001.6 | 707.217 | 1780857 |
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf | ? (TO) | 10001.7 | 743.742 | 1778877 |
industrial/grieu/ vmpc_34.cnf | ? (TO) | 10001.7 | 729.956 | 1776387 |
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf | ? (TO) | 10001.8 | 693.282 | 1780902 |
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf | ? (TO) | 10001.8 | 786.501 | 1780782 |
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf | ? (TO) | 10002 | 699.712 | 1778847 |