detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1925.smt2 (content) ok ok 0.196s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1924.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1923.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1922.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1921.smt2 (content) ok ok 0.251s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1920.smt2 (content) ok ok 0.192s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_192.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1919.smt2 (content) ok ok 0.205s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1918.smt2 (content) ok ok 0.208s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1917.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1916.smt2 (content) ok ok 0.271s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1915.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1914.smt2 (content) ok ok 0.218s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1913.smt2 (content) ok ok 0.197s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1912.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1911.smt2 (content) ok ok 0.190s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1910.smt2 (content) ok ok 0.213s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_191.smt2 (content) ok ok 0.211s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1909.smt2 (content) ok ok 0.236s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1908.smt2 (content) ok ok 0.281s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1907.smt2 (content) ok ok 0.190s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1906.smt2 (content) ok ok 0.202s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1905.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1904.smt2 (content) ok ok 0.412s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1903.smt2 (content) ok ok 0.219s