detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A10.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_9.txt.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_8.txt.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_7.txt.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_6.txt.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_5.txt.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_4.txt.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_3.txt.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_20.txt.smt2 (content) ok ok 0.490s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_2.txt.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_19.txt.smt2 (content) ok ok 0.383s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_18.txt.smt2 (content) ok ok 0.166s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_17.txt.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_16.txt.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_15.txt.smt2 (content) ok ok 0.191s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_14.txt.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_13.txt.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_12.txt.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_11.txt.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_10.txt.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_1.txt.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Mann/fifo_data_integrity_w8d8b30.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Mann/fifo_data_integrity_w8d8b10.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Mann/arbiter_data_integrity_n4q8w8d8b30.smt2 (content) ok ok 18.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Mann/arbiter_data_integrity_n4q8w8d8b10.smt2 (content) ok ok 6.7s