root
file
detailed [4075..4099]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4846515435509057025.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4842420488457315072.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4827225259784242858.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4820080303689730900.smt2
(content)
ok
ok
0.158s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4814266487365657695.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4812716698279247676.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt481251370334843030.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4810465551639907873.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4810038509754152919.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4809543988069777244.smt2
(content)
ok
ok
0.202s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4806190877503280884.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4805037150650244878.smt2
(content)
ok
ok
0.167s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4800834229384480206.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4799749845956328260.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4798313681872471819.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt47951124133018338.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4783617631124672748.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4774561638585527973.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4773935331339704456.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4770015341582866828.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4767614291706209016.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4762333614958780116.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4761246044797670483.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4760609181560386022.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4760396952449758656.smt2
(content)
ok
ok
0.127s