detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex13.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex10.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/bitcount32.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/bitcount16.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/adpcm.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/Prim_4.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/sum02_true.c.21.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/sum02_true.c.17.smt2 (content) ok ok 0.197s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_5_true.c.cil.c.21.smt2 (content) ok ok 2m7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_5_true.c.cil.c.17.smt2 (content) ok ok 1m36.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_4_true.c.cil.c.21.smt2 (content) ok ok 4m5.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_4_true.c.cil.c.17.smt2 (content) ok ok 1m48.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_3_true.c.cil.c.21.smt2 (content) ok ok 2m34.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_3_true.c.cil.c.17.smt2 (content) ok ok 1m21.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_2_true.c.cil.c.21.smt2 (content) ok ok 2m19.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_2_true.c.cil.c.17.smt2 (content) ok ok 1m17.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_1_true.c.cil.c.21.smt2 (content) ok ok 4m32s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/soft_float_1_true.c.cil.c.17.smt2 (content) ok ok 2m54.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/parity_true.c.21.smt2 (content) ok ok 0.358s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/parity_true.c.17.smt2 (content) ok ok 0.263s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/num_conversion_2_true.c.21.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/num_conversion_2_true.c.17.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/modulus_true.c.21.smt2 (content) ok ok 10.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/modulus_true.c.17.smt2 (content) ok ok 5.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv-svcomp14/jain_7_true.c.21.smt2 (content) ok ok 1.8s