dewert99
plat-smt
BlogDocsChangelog

Interpolants

#99
Comparing
interpolants
(
251b051
) with
main
(
d6452bd
)
CodSpeed Performance Gauge
0%
Untouched
87

Benchmarks

Passed

benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00268.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+7%
20.4 ms19.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0017/00005.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+4%
6.6 ms6.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0001/00103.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
10.7 ms10.6 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
46.2 ms45.8 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
31.8 ms31.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
41.8 ms41.4 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
51.3 ms50.9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
31.2 ms31 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00024.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
21.6 ms21.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
39.1 ms38.9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
156 ms155.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
58.4 ms58.1 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
66.8 ms66.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
39.4 ms39.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.4.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
36.6 ms36.4 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
122.2 ms121.8 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
16.2 ms16.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
37.7 ms37.6 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
30.9 ms30.9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rether.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
36.8 ms36.7 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
8.5 ms8.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.5.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
40.8 ms40.7 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
19.6 ms19.6 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00248.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.4 ms2.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00117.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
183.8 ms183.7 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
20 ms20 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00405.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.4 ms1.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00533.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
532.3 µs532.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00290.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
3.3 ms3.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
436.2 µs437 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
35.5 ms35.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00669.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.3 ms2.3 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_msmie.4.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
78.3 ms78.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
21.6 ms21.6 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
453.7 ms455 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lamport.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
15.8 ms15.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00318.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
18.9 ms18.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
963.4 µs966.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00326.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.4 ms2.4 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
33.8 ms34 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00092.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00241.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
544 µs546.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00009.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
45.2 ms45.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00119.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
820.2 µs823.9 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00064.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.8 ms1.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00371.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00162.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.9 ms1.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00025.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1 ms1 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
117 ms117.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00111.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00006.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
5.9 ms5.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00115.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00058.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
496.6 µs499.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
914.7 µs919.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00126.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
310.8 ms312.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00130.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
629.4 µs632.9 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
522.5 µs525.5 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00182.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
19.2 ms19.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00007.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1 ms1.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00046.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
659.7 µs663.5 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1 ms1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00205.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
11.8 ms11.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00302.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
6.5 ms6.6 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00088.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
380.7 µs383 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.7 ms2.7 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
904.3 ms910 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00116.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
4.6 ms4.7 ms
benches/starexec/non-incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
501.8 ms505 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
385 ms387.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00002.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
798.9 µs804.4 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00120.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.1 ms1.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00060.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.4 ms2.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00127.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.1 ms2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
658.1 µs663 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
343.2 ms345.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00344.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.3 ms1.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0019/00013.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
3.2 ms3.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00853.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.8 ms2.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00429.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
939.4 µs947 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00912.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
708.4 µs714.4 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
682.4 µs688.5 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00424.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
802.1 µs809.5 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00945.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
743.5 µs751.1 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00749.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.3 ms1.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00154.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
946.7 µs958.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00129.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
11.1 ms11.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00310.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-6%
11.1 ms11.9 ms

Commits

Click on a commit to change the comparison range
Base
main
d6452bd
+0.13%
Started interpolant recorder
d192f4e
5 months ago
by dewert99
-0.31%
Track definitions to help display expressions.
aef46ae
5 months ago
by dewert99
+0.18%
Add non-euf interpolants
da2aecb
4 months ago
by dewert99
+0.08%
Update platsat
d43e632
4 months ago
by dewert99
-0.01%
Added check to prevent `get-unsat-core` from being called after `get-interpolant`
8246baa
4 months ago
by dewert99
-0.36%
Add interpolants for EUF
2005ea7
3 months ago
by dewert99
+0.05%
Support mid-search literals + fixes
201f5b8
1 month ago
by dewert99
0%
Add feature to use interpolants in binary
251b051
20 days ago
by dewert99
© 2026 CodSpeed Technology
Home Terms Privacy Docs