root
file
detailed [25..49]
prev
next
detailed results (492 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec1_product46_true-unreach-call.cil.c.smt2
(content)
unsat
unsat
0.628s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec1_product45_true-unreach-call.cil.c.smt2
(content)
unsat
unsat
0.599s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.gcd_4_true-unreach-call.i.smt2
(content)
unsat
unsat
0.020s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.gcd_2_true-unreach-call.i.smt2
(content)
unsat
unsat
0.008s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.gcd_1_true-unreach-call.i.smt2
(content)
unsat
unsat
0.013s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem16_50_true-unreach-call.c.smt2
(content)
unsat
unsat
4.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem14_30_true-unreach-call.c.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem14_20_true-unreach-call.c.smt2
(content)
unsat
unsat
0.751s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem14_00_true-unreach-call.c.smt2
(content)
unsat
unsat
0.693s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_20_true-unreach-call.c.smt2
(content)
unsat
unsat
0.881s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_10_true-unreach-call.c.smt2
(content)
unsat
unsat
0.525s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_00_true-unreach-call.c.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_30_true-unreach-call.c.smt2
(content)
unsat
unsat
8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_10_true-unreach-call.c.smt2
(content)
unsat
unsat
8.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_40_true-unreach-call.c.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_30_true-unreach-call.c.smt2
(content)
unsat
unsat
3.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_10_true-unreach-call.c.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_40_true-unreach-call.c.smt2
(content)
unsat
unsat
0.776s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_30_true-unreach-call.c.smt2
(content)
unsat
unsat
0.617s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_10_true-unreach-call.c.smt2
(content)
unsat
unsat
0.437s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_00_true-unreach-call.c.smt2
(content)
unsat
unsat
0.341s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem01_40_true-unreach-call.c.smt2
(content)
unsat
unsat
0.470s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem01_30_true-unreach-call.c.smt2
(content)
unsat
unsat
0.439s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem01_10_true-unreach-call.c.smt2
(content)
unsat
unsat
0.635s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem01_00_true-unreach-call.c.smt2
(content)
unsat
unsat
0.549s