detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/fs_no_op_accs.induction.smt2 (content) fatal ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/fs_no_op_accs.base.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/fs_init_no_op_accs.induction.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/fs_init_no_op_accs.base.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/fs_frame_gap.induction.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/fs_frame_gap.base.smt2 (content) fatal ok 0.263s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/frame_prop.induction.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/frame_prop.base.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/current_frame.induction.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/current_frame.base.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/bad_echos_ascend.induction.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/spider_benchmarks/bad_echos_ascend.base.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-9.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-8.smt2 (content) fatal ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-7.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-6.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-5.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-4.smt2 (content) fatal ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-3.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-20.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-2.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-19.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-18.smt2 (content) fatal ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-17.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/pursuit/pursuit-safety-16.smt2 (content) fatal ok 0.318s