diff --git a/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/command.sh b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/command.sh
new file mode 100755
index 0000000000000000000000000000000000000000..a8cce707b1fff93adedbdccdca27650c202c21fc
--- /dev/null
+++ b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/command.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+julia ../../../../../../packages/_homotopycontinuation.jl ../../../../../../data/linear/resultants-2-5/all/2.json
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/info.json b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/info.json
new file mode 100644
index 0000000000000000000000000000000000000000..d17f26c3ad27107246fd893b3e60694231417bd7
--- /dev/null
+++ b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/info.json
@@ -0,0 +1,10 @@
+{
+ "datetime": "2025-04-02 13:09:52.129793",
+ "return code": 0,
+ "timeout": null,
+ "timeout error": false,
+ "memory": null,
+ "memory error": false,
+ "script error": false,
+ "killed manually": false
+}
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/log.txt b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/log.txt
new file mode 100644
index 0000000000000000000000000000000000000000..72e1fd71a78f3ae317647d8f0a988a5fa8254965
--- /dev/null
+++ b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/log.txt
@@ -0,0 +1,12 @@
+The latest version of Julia in the `release` channel is 1.11.4+0.x64.linux.gnu. You currently have `1.10.0+0.x64.linux.gnu` installed. Run:
+
+ juliaup update
+
+in your terminal shell to install Julia 1.11.4+0.x64.linux.gnu and update the `release` channel to that version.
+Parsing file ...
+Warmup system ...
+Initializing system ...
+Solving 1/2...
+Solving 2/2...
+Certifying ...
+Writting to output ...
diff --git a/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/out.json b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/out.json
new file mode 100644
index 0000000000000000000000000000000000000000..7fc7de2f41cd25551e12e1a641dab95154bac797
--- /dev/null
+++ b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/out.json
@@ -0,0 +1,410 @@
+{
+ "overheadtime": 3.769906911,
+ "time": 1.182915424,
+ "ncertified": 0,
+ "failures": 200,
+ "steplist": [
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null,
+ null
+ ],
+ "extendpreclist": [
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false
+ ]
+}
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/perflog.txt b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/perflog.txt
new file mode 100644
index 0000000000000000000000000000000000000000..489b4deff4659a92de254bc021335225b833fd28
--- /dev/null
+++ b/benchmarks/linear/resultants-2-5/all/2/homotopycontinuation/perflog.txt
@@ -0,0 +1,20 @@
+# started on Wed Apr 2 13:09:52 2025
+
+
+ Performance counter stats for 'taskset 1 ./command.sh':
+
+ 51474.55 msec task-clock # 1.000 CPUs utilized
+ 367 context-switches # 7.130 /sec
+ 1 cpu-migrations # 0.019 /sec
+ 167159 page-faults # 3.247 K/sec
+ 179655776988 cycles # 3.490 GHz
+ 244627531694 instructions # 1.36 insn per cycle
+ 48143317334 branches # 935.284 M/sec
+ 1350461477 branch-misses # 2.81% of all branches
+
+ 51.480882762 seconds time elapsed
+
+ 51.063249000 seconds user
+ 0.409543000 seconds sys
+
+
diff --git a/benchmarks/linear/resultants-3-4/all/3/adaptive/command.sh b/benchmarks/linear/resultants-3-4/all/3/adaptive/command.sh
new file mode 100755
index 0000000000000000000000000000000000000000..bc39fad11f190edcfa00aef352f9c9ae60a67e8a
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/adaptive/command.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+../../../../../../packages/adaptive/target/release/algpath ../../../../../../data/linear/resultants-3-4/all/3.json --diff backward --homogenize --arithmetic arb-reckless --jobs 1
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-3-4/all/3/adaptive/info.json b/benchmarks/linear/resultants-3-4/all/3/adaptive/info.json
new file mode 100644
index 0000000000000000000000000000000000000000..623850ad000683dd3839be2fbcccaa437c776ba4
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/adaptive/info.json
@@ -0,0 +1,10 @@
+{
+ "datetime": "2025-04-02 13:12:15.745455",
+ "return code": 0,
+ "timeout": null,
+ "timeout error": false,
+ "memory": null,
+ "memory error": false,
+ "script error": false,
+ "killed manually": false
+}
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-3-4/all/3/adaptive/log.txt b/benchmarks/linear/resultants-3-4/all/3/adaptive/log.txt
new file mode 100644
index 0000000000000000000000000000000000000000..970468f6cb562005e80a0cd0d666fb823980247e
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/adaptive/log.txt
@@ -0,0 +1,1024 @@
+Starting continuation 1/256...
+Continuation 1/256, segment 1/1
+550
+continuation 1/256 done !
+Starting continuation 2/256...
+Continuation 2/256, segment 1/1
+291
+continuation 2/256 done !
+Starting continuation 3/256...
+Continuation 3/256, segment 1/1
+252
+continuation 3/256 done !
+Starting continuation 4/256...
+Continuation 4/256, segment 1/1
+349
+continuation 4/256 done !
+Starting continuation 5/256...
+Continuation 5/256, segment 1/1
+1149
+continuation 5/256 done !
+Starting continuation 6/256...
+Continuation 6/256, segment 1/1
+557
+continuation 6/256 done !
+Starting continuation 7/256...
+Continuation 7/256, segment 1/1
+322
+continuation 7/256 done !
+Starting continuation 8/256...
+Continuation 8/256, segment 1/1
+518
+continuation 8/256 done !
+Starting continuation 9/256...
+Continuation 9/256, segment 1/1
+471
+continuation 9/256 done !
+Starting continuation 10/256...
+Continuation 10/256, segment 1/1
+842
+continuation 10/256 done !
+Starting continuation 11/256...
+Continuation 11/256, segment 1/1
+244
+continuation 11/256 done !
+Starting continuation 12/256...
+Continuation 12/256, segment 1/1
+304
+continuation 12/256 done !
+Starting continuation 13/256...
+Continuation 13/256, segment 1/1
+234
+continuation 13/256 done !
+Starting continuation 14/256...
+Continuation 14/256, segment 1/1
+1642
+continuation 14/256 done !
+Starting continuation 15/256...
+Continuation 15/256, segment 1/1
+524
+continuation 15/256 done !
+Starting continuation 16/256...
+Continuation 16/256, segment 1/1
+621
+continuation 16/256 done !
+Starting continuation 17/256...
+Continuation 17/256, segment 1/1
+475
+continuation 17/256 done !
+Starting continuation 18/256...
+Continuation 18/256, segment 1/1
+362
+continuation 18/256 done !
+Starting continuation 19/256...
+Continuation 19/256, segment 1/1
+279
+continuation 19/256 done !
+Starting continuation 20/256...
+Continuation 20/256, segment 1/1
+373
+continuation 20/256 done !
+Starting continuation 21/256...
+Continuation 21/256, segment 1/1
+658
+continuation 21/256 done !
+Starting continuation 22/256...
+Continuation 22/256, segment 1/1
+786
+continuation 22/256 done !
+Starting continuation 23/256...
+Continuation 23/256, segment 1/1
+277
+continuation 23/256 done !
+Starting continuation 24/256...
+Continuation 24/256, segment 1/1
+718
+continuation 24/256 done !
+Starting continuation 25/256...
+Continuation 25/256, segment 1/1
+302
+continuation 25/256 done !
+Starting continuation 26/256...
+Continuation 26/256, segment 1/1
+543
+continuation 26/256 done !
+Starting continuation 27/256...
+Continuation 27/256, segment 1/1
+753
+continuation 27/256 done !
+Starting continuation 28/256...
+Continuation 28/256, segment 1/1
+479
+continuation 28/256 done !
+Starting continuation 29/256...
+Continuation 29/256, segment 1/1
+349
+continuation 29/256 done !
+Starting continuation 30/256...
+Continuation 30/256, segment 1/1
+551
+continuation 30/256 done !
+Starting continuation 31/256...
+Continuation 31/256, segment 1/1
+453
+continuation 31/256 done !
+Starting continuation 32/256...
+Continuation 32/256, segment 1/1
+531
+continuation 32/256 done !
+Starting continuation 33/256...
+Continuation 33/256, segment 1/1
+246
+continuation 33/256 done !
+Starting continuation 34/256...
+Continuation 34/256, segment 1/1
+254
+continuation 34/256 done !
+Starting continuation 35/256...
+Continuation 35/256, segment 1/1
+260
+continuation 35/256 done !
+Starting continuation 36/256...
+Continuation 36/256, segment 1/1
+384
+continuation 36/256 done !
+Starting continuation 37/256...
+Continuation 37/256, segment 1/1
+398
+continuation 37/256 done !
+Starting continuation 38/256...
+Continuation 38/256, segment 1/1
+759
+continuation 38/256 done !
+Starting continuation 39/256...
+Continuation 39/256, segment 1/1
+351
+continuation 39/256 done !
+Starting continuation 40/256...
+Continuation 40/256, segment 1/1
+377
+continuation 40/256 done !
+Starting continuation 41/256...
+Continuation 41/256, segment 1/1
+205
+continuation 41/256 done !
+Starting continuation 42/256...
+Continuation 42/256, segment 1/1
+294
+continuation 42/256 done !
+Starting continuation 43/256...
+Continuation 43/256, segment 1/1
+295
+continuation 43/256 done !
+Starting continuation 44/256...
+Continuation 44/256, segment 1/1
+256
+continuation 44/256 done !
+Starting continuation 45/256...
+Continuation 45/256, segment 1/1
+463
+continuation 45/256 done !
+Starting continuation 46/256...
+Continuation 46/256, segment 1/1
+461
+continuation 46/256 done !
+Starting continuation 47/256...
+Continuation 47/256, segment 1/1
+462
+continuation 47/256 done !
+Starting continuation 48/256...
+Continuation 48/256, segment 1/1
+607
+continuation 48/256 done !
+Starting continuation 49/256...
+Continuation 49/256, segment 1/1
+223
+continuation 49/256 done !
+Starting continuation 50/256...
+Continuation 50/256, segment 1/1
+311
+continuation 50/256 done !
+Starting continuation 51/256...
+Continuation 51/256, segment 1/1
+792
+continuation 51/256 done !
+Starting continuation 52/256...
+Continuation 52/256, segment 1/1
+441
+continuation 52/256 done !
+Starting continuation 53/256...
+Continuation 53/256, segment 1/1
+652
+continuation 53/256 done !
+Starting continuation 54/256...
+Continuation 54/256, segment 1/1
+707
+continuation 54/256 done !
+Starting continuation 55/256...
+Continuation 55/256, segment 1/1
+196
+continuation 55/256 done !
+Starting continuation 56/256...
+Continuation 56/256, segment 1/1
+746
+continuation 56/256 done !
+Starting continuation 57/256...
+Continuation 57/256, segment 1/1
+223
+continuation 57/256 done !
+Starting continuation 58/256...
+Continuation 58/256, segment 1/1
+2025
+continuation 58/256 done !
+Starting continuation 59/256...
+Continuation 59/256, segment 1/1
+358
+continuation 59/256 done !
+Starting continuation 60/256...
+Continuation 60/256, segment 1/1
+491
+continuation 60/256 done !
+Starting continuation 61/256...
+Continuation 61/256, segment 1/1
+570
+continuation 61/256 done !
+Starting continuation 62/256...
+Continuation 62/256, segment 1/1
+351
+continuation 62/256 done !
+Starting continuation 63/256...
+Continuation 63/256, segment 1/1
+544
+continuation 63/256 done !
+Starting continuation 64/256...
+Continuation 64/256, segment 1/1
+495
+continuation 64/256 done !
+Starting continuation 65/256...
+Continuation 65/256, segment 1/1
+422
+continuation 65/256 done !
+Starting continuation 66/256...
+Continuation 66/256, segment 1/1
+389
+continuation 66/256 done !
+Starting continuation 67/256...
+Continuation 67/256, segment 1/1
+304
+continuation 67/256 done !
+Starting continuation 68/256...
+Continuation 68/256, segment 1/1
+305
+continuation 68/256 done !
+Starting continuation 69/256...
+Continuation 69/256, segment 1/1
+492
+continuation 69/256 done !
+Starting continuation 70/256...
+Continuation 70/256, segment 1/1
+487
+continuation 70/256 done !
+Starting continuation 71/256...
+Continuation 71/256, segment 1/1
+319
+continuation 71/256 done !
+Starting continuation 72/256...
+Continuation 72/256, segment 1/1
+296
+continuation 72/256 done !
+Starting continuation 73/256...
+Continuation 73/256, segment 1/1
+329
+continuation 73/256 done !
+Starting continuation 74/256...
+Continuation 74/256, segment 1/1
+578
+continuation 74/256 done !
+Starting continuation 75/256...
+Continuation 75/256, segment 1/1
+524
+continuation 75/256 done !
+Starting continuation 76/256...
+Continuation 76/256, segment 1/1
+564
+continuation 76/256 done !
+Starting continuation 77/256...
+Continuation 77/256, segment 1/1
+237
+continuation 77/256 done !
+Starting continuation 78/256...
+Continuation 78/256, segment 1/1
+432
+continuation 78/256 done !
+Starting continuation 79/256...
+Continuation 79/256, segment 1/1
+916
+continuation 79/256 done !
+Starting continuation 80/256...
+Continuation 80/256, segment 1/1
+950
+continuation 80/256 done !
+Starting continuation 81/256...
+Continuation 81/256, segment 1/1
+275
+continuation 81/256 done !
+Starting continuation 82/256...
+Continuation 82/256, segment 1/1
+223
+continuation 82/256 done !
+Starting continuation 83/256...
+Continuation 83/256, segment 1/1
+407
+continuation 83/256 done !
+Starting continuation 84/256...
+Continuation 84/256, segment 1/1
+444
+continuation 84/256 done !
+Starting continuation 85/256...
+Continuation 85/256, segment 1/1
+610
+continuation 85/256 done !
+Starting continuation 86/256...
+Continuation 86/256, segment 1/1
+645
+continuation 86/256 done !
+Starting continuation 87/256...
+Continuation 87/256, segment 1/1
+404
+continuation 87/256 done !
+Starting continuation 88/256...
+Continuation 88/256, segment 1/1
+192
+continuation 88/256 done !
+Starting continuation 89/256...
+Continuation 89/256, segment 1/1
+321
+continuation 89/256 done !
+Starting continuation 90/256...
+Continuation 90/256, segment 1/1
+945
+continuation 90/256 done !
+Starting continuation 91/256...
+Continuation 91/256, segment 1/1
+652
+continuation 91/256 done !
+Starting continuation 92/256...
+Continuation 92/256, segment 1/1
+214
+continuation 92/256 done !
+Starting continuation 93/256...
+Continuation 93/256, segment 1/1
+542
+continuation 93/256 done !
+Starting continuation 94/256...
+Continuation 94/256, segment 1/1
+265
+continuation 94/256 done !
+Starting continuation 95/256...
+Continuation 95/256, segment 1/1
+333
+continuation 95/256 done !
+Starting continuation 96/256...
+Continuation 96/256, segment 1/1
+1275
+continuation 96/256 done !
+Starting continuation 97/256...
+Continuation 97/256, segment 1/1
+351
+continuation 97/256 done !
+Starting continuation 98/256...
+Continuation 98/256, segment 1/1
+380
+continuation 98/256 done !
+Starting continuation 99/256...
+Continuation 99/256, segment 1/1
+149
+continuation 99/256 done !
+Starting continuation 100/256...
+Continuation 100/256, segment 1/1
+446
+continuation 100/256 done !
+Starting continuation 101/256...
+Continuation 101/256, segment 1/1
+208
+continuation 101/256 done !
+Starting continuation 102/256...
+Continuation 102/256, segment 1/1
+147
+continuation 102/256 done !
+Starting continuation 103/256...
+Continuation 103/256, segment 1/1
+214
+continuation 103/256 done !
+Starting continuation 104/256...
+Continuation 104/256, segment 1/1
+384
+continuation 104/256 done !
+Starting continuation 105/256...
+Continuation 105/256, segment 1/1
+158
+continuation 105/256 done !
+Starting continuation 106/256...
+Continuation 106/256, segment 1/1
+1479
+continuation 106/256 done !
+Starting continuation 107/256...
+Continuation 107/256, segment 1/1
+616
+continuation 107/256 done !
+Starting continuation 108/256...
+Continuation 108/256, segment 1/1
+188
+continuation 108/256 done !
+Starting continuation 109/256...
+Continuation 109/256, segment 1/1
+923
+continuation 109/256 done !
+Starting continuation 110/256...
+Continuation 110/256, segment 1/1
+376
+continuation 110/256 done !
+Starting continuation 111/256...
+Continuation 111/256, segment 1/1
+591
+continuation 111/256 done !
+Starting continuation 112/256...
+Continuation 112/256, segment 1/1
+289
+continuation 112/256 done !
+Starting continuation 113/256...
+Continuation 113/256, segment 1/1
+278
+continuation 113/256 done !
+Starting continuation 114/256...
+Continuation 114/256, segment 1/1
+252
+continuation 114/256 done !
+Starting continuation 115/256...
+Continuation 115/256, segment 1/1
+635
+continuation 115/256 done !
+Starting continuation 116/256...
+Continuation 116/256, segment 1/1
+158
+continuation 116/256 done !
+Starting continuation 117/256...
+Continuation 117/256, segment 1/1
+367
+continuation 117/256 done !
+Starting continuation 118/256...
+Continuation 118/256, segment 1/1
+189
+continuation 118/256 done !
+Starting continuation 119/256...
+Continuation 119/256, segment 1/1
+281
+continuation 119/256 done !
+Starting continuation 120/256...
+Continuation 120/256, segment 1/1
+116
+continuation 120/256 done !
+Starting continuation 121/256...
+Continuation 121/256, segment 1/1
+281
+continuation 121/256 done !
+Starting continuation 122/256...
+Continuation 122/256, segment 1/1
+277
+continuation 122/256 done !
+Starting continuation 123/256...
+Continuation 123/256, segment 1/1
+363
+continuation 123/256 done !
+Starting continuation 124/256...
+Continuation 124/256, segment 1/1
+443
+continuation 124/256 done !
+Starting continuation 125/256...
+Continuation 125/256, segment 1/1
+189
+continuation 125/256 done !
+Starting continuation 126/256...
+Continuation 126/256, segment 1/1
+220
+continuation 126/256 done !
+Starting continuation 127/256...
+Continuation 127/256, segment 1/1
+299
+continuation 127/256 done !
+Starting continuation 128/256...
+Continuation 128/256, segment 1/1
+497
+continuation 128/256 done !
+Starting continuation 129/256...
+Continuation 129/256, segment 1/1
+282
+continuation 129/256 done !
+Starting continuation 130/256...
+Continuation 130/256, segment 1/1
+224
+continuation 130/256 done !
+Starting continuation 131/256...
+Continuation 131/256, segment 1/1
+184
+continuation 131/256 done !
+Starting continuation 132/256...
+Continuation 132/256, segment 1/1
+364
+continuation 132/256 done !
+Starting continuation 133/256...
+Continuation 133/256, segment 1/1
+1011
+continuation 133/256 done !
+Starting continuation 134/256...
+Continuation 134/256, segment 1/1
+479
+continuation 134/256 done !
+Starting continuation 135/256...
+Continuation 135/256, segment 1/1
+185
+continuation 135/256 done !
+Starting continuation 136/256...
+Continuation 136/256, segment 1/1
+135
+continuation 136/256 done !
+Starting continuation 137/256...
+Continuation 137/256, segment 1/1
+286
+continuation 137/256 done !
+Starting continuation 138/256...
+Continuation 138/256, segment 1/1
+262
+continuation 138/256 done !
+Starting continuation 139/256...
+Continuation 139/256, segment 1/1
+749
+continuation 139/256 done !
+Starting continuation 140/256...
+Continuation 140/256, segment 1/1
+516
+continuation 140/256 done !
+Starting continuation 141/256...
+Continuation 141/256, segment 1/1
+499
+continuation 141/256 done !
+Starting continuation 142/256...
+Continuation 142/256, segment 1/1
+485
+continuation 142/256 done !
+Starting continuation 143/256...
+Continuation 143/256, segment 1/1
+290
+continuation 143/256 done !
+Starting continuation 144/256...
+Continuation 144/256, segment 1/1
+373
+continuation 144/256 done !
+Starting continuation 145/256...
+Continuation 145/256, segment 1/1
+976
+continuation 145/256 done !
+Starting continuation 146/256...
+Continuation 146/256, segment 1/1
+560
+continuation 146/256 done !
+Starting continuation 147/256...
+Continuation 147/256, segment 1/1
+511
+continuation 147/256 done !
+Starting continuation 148/256...
+Continuation 148/256, segment 1/1
+283
+continuation 148/256 done !
+Starting continuation 149/256...
+Continuation 149/256, segment 1/1
+747
+continuation 149/256 done !
+Starting continuation 150/256...
+Continuation 150/256, segment 1/1
+981
+continuation 150/256 done !
+Starting continuation 151/256...
+Continuation 151/256, segment 1/1
+236
+continuation 151/256 done !
+Starting continuation 152/256...
+Continuation 152/256, segment 1/1
+482
+continuation 152/256 done !
+Starting continuation 153/256...
+Continuation 153/256, segment 1/1
+579
+continuation 153/256 done !
+Starting continuation 154/256...
+Continuation 154/256, segment 1/1
+492
+continuation 154/256 done !
+Starting continuation 155/256...
+Continuation 155/256, segment 1/1
+319
+continuation 155/256 done !
+Starting continuation 156/256...
+Continuation 156/256, segment 1/1
+423
+continuation 156/256 done !
+Starting continuation 157/256...
+Continuation 157/256, segment 1/1
+280
+continuation 157/256 done !
+Starting continuation 158/256...
+Continuation 158/256, segment 1/1
+491
+continuation 158/256 done !
+Starting continuation 159/256...
+Continuation 159/256, segment 1/1
+450
+continuation 159/256 done !
+Starting continuation 160/256...
+Continuation 160/256, segment 1/1
+487
+continuation 160/256 done !
+Starting continuation 161/256...
+Continuation 161/256, segment 1/1
+681
+continuation 161/256 done !
+Starting continuation 162/256...
+Continuation 162/256, segment 1/1
+548
+continuation 162/256 done !
+Starting continuation 163/256...
+Continuation 163/256, segment 1/1
+667
+continuation 163/256 done !
+Starting continuation 164/256...
+Continuation 164/256, segment 1/1
+525
+continuation 164/256 done !
+Starting continuation 165/256...
+Continuation 165/256, segment 1/1
+1012
+continuation 165/256 done !
+Starting continuation 166/256...
+Continuation 166/256, segment 1/1
+746
+continuation 166/256 done !
+Starting continuation 167/256...
+Continuation 167/256, segment 1/1
+158
+continuation 167/256 done !
+Starting continuation 168/256...
+Continuation 168/256, segment 1/1
+454
+continuation 168/256 done !
+Starting continuation 169/256...
+Continuation 169/256, segment 1/1
+375
+continuation 169/256 done !
+Starting continuation 170/256...
+Continuation 170/256, segment 1/1
+581
+continuation 170/256 done !
+Starting continuation 171/256...
+Continuation 171/256, segment 1/1
+288
+continuation 171/256 done !
+Starting continuation 172/256...
+Continuation 172/256, segment 1/1
+343
+continuation 172/256 done !
+Starting continuation 173/256...
+Continuation 173/256, segment 1/1
+617
+continuation 173/256 done !
+Starting continuation 174/256...
+Continuation 174/256, segment 1/1
+388
+continuation 174/256 done !
+Starting continuation 175/256...
+Continuation 175/256, segment 1/1
+304
+continuation 175/256 done !
+Starting continuation 176/256...
+Continuation 176/256, segment 1/1
+443
+continuation 176/256 done !
+Starting continuation 177/256...
+Continuation 177/256, segment 1/1
+406
+continuation 177/256 done !
+Starting continuation 178/256...
+Continuation 178/256, segment 1/1
+447
+continuation 178/256 done !
+Starting continuation 179/256...
+Continuation 179/256, segment 1/1
+479
+continuation 179/256 done !
+Starting continuation 180/256...
+Continuation 180/256, segment 1/1
+265
+continuation 180/256 done !
+Starting continuation 181/256...
+Continuation 181/256, segment 1/1
+584
+continuation 181/256 done !
+Starting continuation 182/256...
+Continuation 182/256, segment 1/1
+525
+continuation 182/256 done !
+Starting continuation 183/256...
+Continuation 183/256, segment 1/1
+363
+continuation 183/256 done !
+Starting continuation 184/256...
+Continuation 184/256, segment 1/1
+390
+continuation 184/256 done !
+Starting continuation 185/256...
+Continuation 185/256, segment 1/1
+325
+continuation 185/256 done !
+Starting continuation 186/256...
+Continuation 186/256, segment 1/1
+489
+continuation 186/256 done !
+Starting continuation 187/256...
+Continuation 187/256, segment 1/1
+567
+continuation 187/256 done !
+Starting continuation 188/256...
+Continuation 188/256, segment 1/1
+143
+continuation 188/256 done !
+Starting continuation 189/256...
+Continuation 189/256, segment 1/1
+618
+continuation 189/256 done !
+Starting continuation 190/256...
+Continuation 190/256, segment 1/1
+680
+continuation 190/256 done !
+Starting continuation 191/256...
+Continuation 191/256, segment 1/1
+372
+continuation 191/256 done !
+Starting continuation 192/256...
+Continuation 192/256, segment 1/1
+457
+continuation 192/256 done !
+Starting continuation 193/256...
+Continuation 193/256, segment 1/1
+638
+continuation 193/256 done !
+Starting continuation 194/256...
+Continuation 194/256, segment 1/1
+446
+continuation 194/256 done !
+Starting continuation 195/256...
+Continuation 195/256, segment 1/1
+369
+continuation 195/256 done !
+Starting continuation 196/256...
+Continuation 196/256, segment 1/1
+273
+continuation 196/256 done !
+Starting continuation 197/256...
+Continuation 197/256, segment 1/1
+166
+continuation 197/256 done !
+Starting continuation 198/256...
+Continuation 198/256, segment 1/1
+630
+continuation 198/256 done !
+Starting continuation 199/256...
+Continuation 199/256, segment 1/1
+571
+continuation 199/256 done !
+Starting continuation 200/256...
+Continuation 200/256, segment 1/1
+731
+continuation 200/256 done !
+Starting continuation 201/256...
+Continuation 201/256, segment 1/1
+143
+continuation 201/256 done !
+Starting continuation 202/256...
+Continuation 202/256, segment 1/1
+540
+continuation 202/256 done !
+Starting continuation 203/256...
+Continuation 203/256, segment 1/1
+442
+continuation 203/256 done !
+Starting continuation 204/256...
+Continuation 204/256, segment 1/1
+190
+continuation 204/256 done !
+Starting continuation 205/256...
+Continuation 205/256, segment 1/1
+1274
+continuation 205/256 done !
+Starting continuation 206/256...
+Continuation 206/256, segment 1/1
+308
+continuation 206/256 done !
+Starting continuation 207/256...
+Continuation 207/256, segment 1/1
+492
+continuation 207/256 done !
+Starting continuation 208/256...
+Continuation 208/256, segment 1/1
+383
+continuation 208/256 done !
+Starting continuation 209/256...
+Continuation 209/256, segment 1/1
+440
+continuation 209/256 done !
+Starting continuation 210/256...
+Continuation 210/256, segment 1/1
+382
+continuation 210/256 done !
+Starting continuation 211/256...
+Continuation 211/256, segment 1/1
+404
+continuation 211/256 done !
+Starting continuation 212/256...
+Continuation 212/256, segment 1/1
+462
+continuation 212/256 done !
+Starting continuation 213/256...
+Continuation 213/256, segment 1/1
+623
+continuation 213/256 done !
+Starting continuation 214/256...
+Continuation 214/256, segment 1/1
+1122
+continuation 214/256 done !
+Starting continuation 215/256...
+Continuation 215/256, segment 1/1
+457
+continuation 215/256 done !
+Starting continuation 216/256...
+Continuation 216/256, segment 1/1
+208
+continuation 216/256 done !
+Starting continuation 217/256...
+Continuation 217/256, segment 1/1
+479
+continuation 217/256 done !
+Starting continuation 218/256...
+Continuation 218/256, segment 1/1
+532
+continuation 218/256 done !
+Starting continuation 219/256...
+Continuation 219/256, segment 1/1
+217
+continuation 219/256 done !
+Starting continuation 220/256...
+Continuation 220/256, segment 1/1
+416
+continuation 220/256 done !
+Starting continuation 221/256...
+Continuation 221/256, segment 1/1
+800
+continuation 221/256 done !
+Starting continuation 222/256...
+Continuation 222/256, segment 1/1
+555
+continuation 222/256 done !
+Starting continuation 223/256...
+Continuation 223/256, segment 1/1
+595
+continuation 223/256 done !
+Starting continuation 224/256...
+Continuation 224/256, segment 1/1
+494
+continuation 224/256 done !
+Starting continuation 225/256...
+Continuation 225/256, segment 1/1
+536
+continuation 225/256 done !
+Starting continuation 226/256...
+Continuation 226/256, segment 1/1
+372
+continuation 226/256 done !
+Starting continuation 227/256...
+Continuation 227/256, segment 1/1
+163
+continuation 227/256 done !
+Starting continuation 228/256...
+Continuation 228/256, segment 1/1
+216
+continuation 228/256 done !
+Starting continuation 229/256...
+Continuation 229/256, segment 1/1
+384
+continuation 229/256 done !
+Starting continuation 230/256...
+Continuation 230/256, segment 1/1
+795
+continuation 230/256 done !
+Starting continuation 231/256...
+Continuation 231/256, segment 1/1
+435
+continuation 231/256 done !
+Starting continuation 232/256...
+Continuation 232/256, segment 1/1
+395
+continuation 232/256 done !
+Starting continuation 233/256...
+Continuation 233/256, segment 1/1
+258
+continuation 233/256 done !
+Starting continuation 234/256...
+Continuation 234/256, segment 1/1
+342
+continuation 234/256 done !
+Starting continuation 235/256...
+Continuation 235/256, segment 1/1
+377
+continuation 235/256 done !
+Starting continuation 236/256...
+Continuation 236/256, segment 1/1
+150
+continuation 236/256 done !
+Starting continuation 237/256...
+Continuation 237/256, segment 1/1
+225
+continuation 237/256 done !
+Starting continuation 238/256...
+Continuation 238/256, segment 1/1
+594
+continuation 238/256 done !
+Starting continuation 239/256...
+Continuation 239/256, segment 1/1
+377
+continuation 239/256 done !
+Starting continuation 240/256...
+Continuation 240/256, segment 1/1
+234
+continuation 240/256 done !
+Starting continuation 241/256...
+Continuation 241/256, segment 1/1
+440
+continuation 241/256 done !
+Starting continuation 242/256...
+Continuation 242/256, segment 1/1
+333
+continuation 242/256 done !
+Starting continuation 243/256...
+Continuation 243/256, segment 1/1
+513
+continuation 243/256 done !
+Starting continuation 244/256...
+Continuation 244/256, segment 1/1
+355
+continuation 244/256 done !
+Starting continuation 245/256...
+Continuation 245/256, segment 1/1
+262
+continuation 245/256 done !
+Starting continuation 246/256...
+Continuation 246/256, segment 1/1
+292
+continuation 246/256 done !
+Starting continuation 247/256...
+Continuation 247/256, segment 1/1
+371
+continuation 247/256 done !
+Starting continuation 248/256...
+Continuation 248/256, segment 1/1
+724
+continuation 248/256 done !
+Starting continuation 249/256...
+Continuation 249/256, segment 1/1
+368
+continuation 249/256 done !
+Starting continuation 250/256...
+Continuation 250/256, segment 1/1
+375
+continuation 250/256 done !
+Starting continuation 251/256...
+Continuation 251/256, segment 1/1
+231
+continuation 251/256 done !
+Starting continuation 252/256...
+Continuation 252/256, segment 1/1
+531
+continuation 252/256 done !
+Starting continuation 253/256...
+Continuation 253/256, segment 1/1
+221
+continuation 253/256 done !
+Starting continuation 254/256...
+Continuation 254/256, segment 1/1
+311
+continuation 254/256 done !
+Starting continuation 255/256...
+Continuation 255/256, segment 1/1
+903
+continuation 255/256 done !
+Starting continuation 256/256...
+Continuation 256/256, segment 1/1
+247
+continuation 256/256 done !
diff --git a/benchmarks/linear/resultants-3-4/all/3/adaptive/out.json b/benchmarks/linear/resultants-3-4/all/3/adaptive/out.json
new file mode 100644
index 0000000000000000000000000000000000000000..5171108dd9f7a46753002ca39ccbfcf46f815400
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/adaptive/out.json
@@ -0,0 +1,1041 @@
+{
+ "failures": 0,
+ "instructions": {
+ "df": 14018,
+ "f": 7342
+ },
+ "maxpreclist": [
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 57.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 55.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 56.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 57.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 54.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 56.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 54.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 57.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0
+ ],
+ "meanpreclist": [
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.20094191522763,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.00676132521974,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.100392156862746,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.1037037037037,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.00631578947368,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.11555555555555,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.00398406374502,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.07856272838002,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0,
+ 53.0
+ ],
+ "overheadtime": 145.9978790283203,
+ "steplist": [
+ 247.0,
+ 903.0,
+ 311.0,
+ 221.0,
+ 531.0,
+ 231.0,
+ 375.0,
+ 368.0,
+ 724.0,
+ 371.0,
+ 292.0,
+ 262.0,
+ 355.0,
+ 513.0,
+ 333.0,
+ 440.0,
+ 234.0,
+ 377.0,
+ 594.0,
+ 225.0,
+ 150.0,
+ 377.0,
+ 342.0,
+ 258.0,
+ 395.0,
+ 435.0,
+ 795.0,
+ 384.0,
+ 216.0,
+ 163.0,
+ 372.0,
+ 536.0,
+ 494.0,
+ 595.0,
+ 555.0,
+ 800.0,
+ 416.0,
+ 217.0,
+ 532.0,
+ 479.0,
+ 208.0,
+ 457.0,
+ 1122.0,
+ 623.0,
+ 462.0,
+ 404.0,
+ 382.0,
+ 440.0,
+ 383.0,
+ 492.0,
+ 308.0,
+ 1274.0,
+ 190.0,
+ 442.0,
+ 540.0,
+ 143.0,
+ 731.0,
+ 571.0,
+ 630.0,
+ 166.0,
+ 273.0,
+ 369.0,
+ 446.0,
+ 638.0,
+ 457.0,
+ 372.0,
+ 680.0,
+ 618.0,
+ 143.0,
+ 567.0,
+ 489.0,
+ 325.0,
+ 390.0,
+ 363.0,
+ 525.0,
+ 584.0,
+ 265.0,
+ 479.0,
+ 447.0,
+ 406.0,
+ 443.0,
+ 304.0,
+ 388.0,
+ 617.0,
+ 343.0,
+ 288.0,
+ 581.0,
+ 375.0,
+ 454.0,
+ 158.0,
+ 746.0,
+ 1012.0,
+ 525.0,
+ 667.0,
+ 548.0,
+ 681.0,
+ 487.0,
+ 450.0,
+ 491.0,
+ 280.0,
+ 423.0,
+ 319.0,
+ 492.0,
+ 579.0,
+ 482.0,
+ 236.0,
+ 981.0,
+ 747.0,
+ 283.0,
+ 511.0,
+ 560.0,
+ 976.0,
+ 373.0,
+ 290.0,
+ 485.0,
+ 499.0,
+ 516.0,
+ 749.0,
+ 262.0,
+ 286.0,
+ 135.0,
+ 185.0,
+ 479.0,
+ 1011.0,
+ 364.0,
+ 184.0,
+ 224.0,
+ 282.0,
+ 497.0,
+ 299.0,
+ 220.0,
+ 189.0,
+ 443.0,
+ 363.0,
+ 277.0,
+ 281.0,
+ 116.0,
+ 281.0,
+ 189.0,
+ 367.0,
+ 158.0,
+ 635.0,
+ 252.0,
+ 278.0,
+ 289.0,
+ 591.0,
+ 376.0,
+ 923.0,
+ 188.0,
+ 616.0,
+ 1479.0,
+ 158.0,
+ 384.0,
+ 214.0,
+ 147.0,
+ 208.0,
+ 446.0,
+ 149.0,
+ 380.0,
+ 351.0,
+ 1275.0,
+ 333.0,
+ 265.0,
+ 542.0,
+ 214.0,
+ 652.0,
+ 945.0,
+ 321.0,
+ 192.0,
+ 404.0,
+ 645.0,
+ 610.0,
+ 444.0,
+ 407.0,
+ 223.0,
+ 275.0,
+ 950.0,
+ 916.0,
+ 432.0,
+ 237.0,
+ 564.0,
+ 524.0,
+ 578.0,
+ 329.0,
+ 296.0,
+ 319.0,
+ 487.0,
+ 492.0,
+ 305.0,
+ 304.0,
+ 389.0,
+ 422.0,
+ 495.0,
+ 544.0,
+ 351.0,
+ 570.0,
+ 491.0,
+ 358.0,
+ 2025.0,
+ 223.0,
+ 746.0,
+ 196.0,
+ 707.0,
+ 652.0,
+ 441.0,
+ 792.0,
+ 311.0,
+ 223.0,
+ 607.0,
+ 462.0,
+ 461.0,
+ 463.0,
+ 256.0,
+ 295.0,
+ 294.0,
+ 205.0,
+ 377.0,
+ 351.0,
+ 759.0,
+ 398.0,
+ 384.0,
+ 260.0,
+ 254.0,
+ 246.0,
+ 531.0,
+ 453.0,
+ 551.0,
+ 349.0,
+ 479.0,
+ 753.0,
+ 543.0,
+ 302.0,
+ 718.0,
+ 277.0,
+ 786.0,
+ 658.0,
+ 373.0,
+ 279.0,
+ 362.0,
+ 475.0,
+ 621.0,
+ 524.0,
+ 1642.0,
+ 234.0,
+ 304.0,
+ 244.0,
+ 842.0,
+ 471.0,
+ 518.0,
+ 322.0,
+ 557.0,
+ 1149.0,
+ 349.0,
+ 252.0,
+ 291.0,
+ 550.0
+ ],
+ "time": 145.84661865234375,
+ "weightedmeanpreclist": [
+ 53.00000000000001,
+ 52.99999999999999,
+ 52.99999999999999,
+ 52.99999999999997,
+ 53.0,
+ 53.00000000000002,
+ 52.99999999999998,
+ 53.0,
+ 53.00000000000001,
+ 53.00000000000001,
+ 53.00000000000001,
+ 53.0,
+ 53.0,
+ 53.00000000000001,
+ 53.000000000000014,
+ 53.00000000000002,
+ 52.999999999999986,
+ 52.99999999999999,
+ 53.00000000000004,
+ 52.999999999999986,
+ 53.00000000000001,
+ 52.99999999999999,
+ 52.99999999999999,
+ 53.0,
+ 52.99999999999998,
+ 53.00000000000003,
+ 52.99999999999997,
+ 53.000000000000014,
+ 53.000000000000014,
+ 53.00000000000003,
+ 52.999999999999986,
+ 53.00000000000003,
+ 53.00000000000004,
+ 52.999999999999936,
+ 53.00000000000003,
+ 52.99999999999996,
+ 52.99999999999997,
+ 53.0,
+ 53.00000000000001,
+ 53.000000000000014,
+ 52.99999999999999,
+ 52.99999999999999,
+ 52.99999999999997,
+ 53.0,
+ 52.99999999999999,
+ 52.99999999999998,
+ 53.00000000000001,
+ 52.99999999999998,
+ 52.99999999999999,
+ 53.000000000000014,
+ 52.99999999999997,
+ 53.014963983773356,
+ 53.00000000000002,
+ 52.999999999999986,
+ 52.99999999999998,
+ 53.0,
+ 53.00000000000003,
+ 53.00000000000003,
+ 53.00000000000001,
+ 52.99999999999999,
+ 52.99999999999999,
+ 53.00000000000008,
+ 53.000000000000036,
+ 52.99999999999995,
+ 53.000000000000014,
+ 52.999999999999964,
+ 53.00000000000003,
+ 52.99999999999998,
+ 52.99999999999999,
+ 52.99999999999998,
+ 53.00000000000003,
+ 52.999999999999964,
+ 53.000000000000014,
+ 52.99999999999999,
+ 53.0,
+ 53.000000000000036,
+ 53.0,
+ 52.999999999999986,
+ 53.000000000000014,
+ 52.99999999999999,
+ 52.99999999999999,
+ 53.00000000000002,
+ 52.99999999999999,
+ 52.999999999999964,
+ 53.00000000000002,
+ 53.00000000000001,
+ 53.0,
+ 52.99999999999994,
+ 52.999999999999986,
+ 53.0,
+ 53.00000000000001,
+ 53.00000000000002,
+ 53.000000000000036,
+ 53.00000000000004,
+ 53.00000000000002,
+ 52.999999999999986,
+ 52.99999999999998,
+ 53.000000000000014,
+ 52.99999999999999,
+ 53.0,
+ 52.99999999999999,
+ 52.999999999999986,
+ 52.999999999999964,
+ 53.0,
+ 52.99999999999998,
+ 53.00000000000002,
+ 52.99999999999994,
+ 52.99999999999998,
+ 53.00000000000001,
+ 52.99999999999997,
+ 53.000000000000036,
+ 52.99999999999995,
+ 53.0,
+ 52.99999999999999,
+ 53.00000000000001,
+ 53.00000000000002,
+ 53.00000000000001,
+ 53.00000000000006,
+ 53.000000000000014,
+ 52.99999999999999,
+ 52.99999999999999,
+ 53.000000000000014,
+ 53.0,
+ 53.0,
+ 52.999999999999986,
+ 53.00000000000002,
+ 52.99999999999999,
+ 53.0,
+ 52.99999999999999,
+ 53.00000000000001,
+ 52.999999999999986,
+ 52.999999999999986,
+ 52.99999999999997,
+ 53.00000000000003,
+ 52.99999999999997,
+ 53.00000000000001,
+ 53.00000000000001,
+ 53.0,
+ 53.0,
+ 53.0,
+ 52.999999999999986,
+ 53.00000000000003,
+ 53.0,
+ 53.0,
+ 52.99999999999995,
+ 53.00000000000004,
+ 53.000000000000014,
+ 53.00000000000002,
+ 52.99999999999999,
+ 52.99999999999998,
+ 53.0001022669807,
+ 52.99999999999999,
+ 52.99999999999998,
+ 53.0,
+ 53.0,
+ 52.999999999999986,
+ 52.99999999999997,
+ 53.00000000000001,
+ 52.99999999999998,
+ 52.99999999999998,
+ 53.007854185011546,
+ 52.99999999999998,
+ 53.000000000000014,
+ 53.00000000000003,
+ 53.0,
+ 53.000000000000014,
+ 53.0004378881798,
+ 53.0,
+ 53.00000000000001,
+ 53.000000000000014,
+ 53.00000000000001,
+ 53.000000000000036,
+ 52.99999999999999,
+ 53.00000000000001,
+ 52.99999999999999,
+ 53.00000000000003,
+ 53.00055257658786,
+ 53.00000000000001,
+ 52.999999999999986,
+ 53.00000000000003,
+ 52.99999999999995,
+ 52.99999999999993,
+ 53.000000000000064,
+ 52.999999999999986,
+ 53.00000000000002,
+ 52.99999999999999,
+ 52.99999999999997,
+ 52.99999999999996,
+ 53.0,
+ 53.000000000000014,
+ 52.99999999999998,
+ 53.00000000000001,
+ 52.999999999999986,
+ 52.99999999999999,
+ 53.00000000000002,
+ 53.0,
+ 53.00000000000004,
+ 52.99999999999999,
+ 53.001858555215975,
+ 52.99999999999998,
+ 53.00000000000001,
+ 53.00000000000001,
+ 53.00000000000002,
+ 52.99999999999994,
+ 53.00000000000002,
+ 53.000000000000114,
+ 53.00000000000002,
+ 52.99999999999999,
+ 52.99999999999999,
+ 52.999999999999986,
+ 53.000000000000014,
+ 52.99999999999998,
+ 52.99999999999998,
+ 53.00000000000003,
+ 52.999999999999986,
+ 52.99999999999998,
+ 53.00000000000003,
+ 53.00000000000007,
+ 53.00000000000009,
+ 52.99999999999999,
+ 52.99999999999996,
+ 53.00000000000001,
+ 52.999999999999986,
+ 53.00000000000003,
+ 52.99999999999998,
+ 52.99999999999998,
+ 53.00000000000001,
+ 53.00000000000002,
+ 53.00000000000002,
+ 53.000391015463165,
+ 52.999999999999986,
+ 52.99999999999997,
+ 53.0,
+ 52.99999999999999,
+ 52.99999999999998,
+ 53.000000000000014,
+ 53.0,
+ 52.99999999999998,
+ 53.00000000000001,
+ 53.0,
+ 53.00000000000001,
+ 53.000000000000036,
+ 53.00660743934205,
+ 53.00000000000001,
+ 53.0,
+ 53.000000000000036,
+ 52.99999999999998,
+ 53.0,
+ 53.00000000000001,
+ 52.99999999999999,
+ 53.00000000000003,
+ 53.0,
+ 52.999999999999986,
+ 53.00000000000001,
+ 53.00000000000003,
+ 53.00000000000005
+ ]
+}
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-3-4/all/3/adaptive/perflog.txt b/benchmarks/linear/resultants-3-4/all/3/adaptive/perflog.txt
new file mode 100644
index 0000000000000000000000000000000000000000..01634592fb3f31452e67a14da3b9bc752c52c28e
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/adaptive/perflog.txt
@@ -0,0 +1,20 @@
+# started on Wed Apr 2 13:12:15 2025
+
+
+ Performance counter stats for 'taskset 1 ./command.sh':
+
+ 145976.45 msec task-clock # 1.000 CPUs utilized
+ 962 context-switches # 6.590 /sec
+ 1 cpu-migrations # 0.007 /sec
+ 4149 page-faults # 28.422 /sec
+ 469688221311 cycles # 3.218 GHz
+ 1091407251941 instructions # 2.32 insn per cycle
+ 102669468072 branches # 703.329 M/sec
+ 1177079127 branch-misses # 1.15% of all branches
+
+ 146.002721249 seconds time elapsed
+
+ 145.971886000 seconds user
+ 0.003999000 seconds sys
+
+
diff --git a/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/command.sh b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/command.sh
new file mode 100755
index 0000000000000000000000000000000000000000..7defa44a3bf42ca103d5924c88a61111cb669f21
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/command.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+julia ../../../../../../packages/_homotopycontinuation.jl ../../../../../../data/linear/resultants-3-4/all/3.json
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/info.json b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/info.json
new file mode 100644
index 0000000000000000000000000000000000000000..8b4fd775383516b9c5e85e4ae13f2a368197db76
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/info.json
@@ -0,0 +1,10 @@
+{
+ "datetime": "2025-04-02 13:10:53.771477",
+ "return code": 0,
+ "timeout": null,
+ "timeout error": false,
+ "memory": null,
+ "memory error": false,
+ "script error": false,
+ "killed manually": false
+}
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/log.txt b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/log.txt
new file mode 100644
index 0000000000000000000000000000000000000000..72e1fd71a78f3ae317647d8f0a988a5fa8254965
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/log.txt
@@ -0,0 +1,12 @@
+The latest version of Julia in the `release` channel is 1.11.4+0.x64.linux.gnu. You currently have `1.10.0+0.x64.linux.gnu` installed. Run:
+
+ juliaup update
+
+in your terminal shell to install Julia 1.11.4+0.x64.linux.gnu and update the `release` channel to that version.
+Parsing file ...
+Warmup system ...
+Initializing system ...
+Solving 1/2...
+Solving 2/2...
+Certifying ...
+Writting to output ...
diff --git a/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/out.json b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/out.json
new file mode 100644
index 0000000000000000000000000000000000000000..e76db7e05a9d4f49afb051317223775e31ace8a4
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/out.json
@@ -0,0 +1,522 @@
+{
+ "overheadtime": 7.271888524,
+ "time": 4.10521105,
+ "ncertified": 256,
+ "failures": 0,
+ "steplist": [
+ 61,
+ 66,
+ 34,
+ 49,
+ 72,
+ 42,
+ 49,
+ 49,
+ 84,
+ 50,
+ 56,
+ 52,
+ 60,
+ 44,
+ 35,
+ 41,
+ 50,
+ 41,
+ 46,
+ 42,
+ 56,
+ 37,
+ 70,
+ 48,
+ 61,
+ 52,
+ 67,
+ 37,
+ 60,
+ 37,
+ 52,
+ 32,
+ 65,
+ 49,
+ 40,
+ 51,
+ 105,
+ 21,
+ 61,
+ 91,
+ 58,
+ 58,
+ 68,
+ 67,
+ 75,
+ 70,
+ 60,
+ 48,
+ 56,
+ 46,
+ 42,
+ 37,
+ 56,
+ 38,
+ 46,
+ 41,
+ 84,
+ 78,
+ 53,
+ 49,
+ 60,
+ 47,
+ 58,
+ 49,
+ 55,
+ 49,
+ 59,
+ 37,
+ 49,
+ 62,
+ 69,
+ 58,
+ 65,
+ 86,
+ 39,
+ 52,
+ 43,
+ 65,
+ 70,
+ 69,
+ 43,
+ 54,
+ 37,
+ 54,
+ 49,
+ 41,
+ 57,
+ 57,
+ 75,
+ 42,
+ 47,
+ 57,
+ 71,
+ 80,
+ 37,
+ 69,
+ 55,
+ 61,
+ 47,
+ 44,
+ 44,
+ 52,
+ 49,
+ 52,
+ 51,
+ 71,
+ 80,
+ 55,
+ 50,
+ 90,
+ 44,
+ 55,
+ 49,
+ 44,
+ 52,
+ 74,
+ 42,
+ 59,
+ 56,
+ 45,
+ 30,
+ 43,
+ 45,
+ 79,
+ 57,
+ 52,
+ 81,
+ 59,
+ 78,
+ 69,
+ 59,
+ 47,
+ 49,
+ 54,
+ 43,
+ 42,
+ 42,
+ 58,
+ 35,
+ 46,
+ 44,
+ 56,
+ 57,
+ 52,
+ 38,
+ 60,
+ 48,
+ 57,
+ 27,
+ 51,
+ 58,
+ 57,
+ 65,
+ 56,
+ 25,
+ 33,
+ 60,
+ 44,
+ 62,
+ 37,
+ 47,
+ 41,
+ 38,
+ 46,
+ 40,
+ 58,
+ 50,
+ 56,
+ 49,
+ 68,
+ 54,
+ 52,
+ 56,
+ 71,
+ 62,
+ 25,
+ 44,
+ 50,
+ 57,
+ 62,
+ 55,
+ 51,
+ 55,
+ 60,
+ 53,
+ 75,
+ 39,
+ 52,
+ 39,
+ 60,
+ 42,
+ 31,
+ 47,
+ 63,
+ 39,
+ 65,
+ 46,
+ 55,
+ 88,
+ 54,
+ 64,
+ 61,
+ 48,
+ 68,
+ 47,
+ 97,
+ 41,
+ 40,
+ 44,
+ 61,
+ 55,
+ 72,
+ 33,
+ 43,
+ 54,
+ 48,
+ 38,
+ 63,
+ 58,
+ 74,
+ 40,
+ 54,
+ 39,
+ 28,
+ 62,
+ 63,
+ 59,
+ 65,
+ 49,
+ 60,
+ 52,
+ 39,
+ 67,
+ 74,
+ 73,
+ 60,
+ 43,
+ 44,
+ 28,
+ 44,
+ 47,
+ 60,
+ 58,
+ 51,
+ 49,
+ 41,
+ 64,
+ 68,
+ 78,
+ 67,
+ 61,
+ 92,
+ 69,
+ 60,
+ 33,
+ 38
+ ],
+ "extendpreclist": [
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false,
+ false
+ ]
+}
\ No newline at end of file
diff --git a/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/perflog.txt b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/perflog.txt
new file mode 100644
index 0000000000000000000000000000000000000000..2c6fc215ef58600aa4e2da36c796c125f579aa99
--- /dev/null
+++ b/benchmarks/linear/resultants-3-4/all/3/homotopycontinuation/perflog.txt
@@ -0,0 +1,20 @@
+# started on Wed Apr 2 13:10:53 2025
+
+
+ Performance counter stats for 'taskset 1 ./command.sh':
+
+ 60671.80 msec task-clock # 1.000 CPUs utilized
+ 433 context-switches # 7.137 /sec
+ 1 cpu-migrations # 0.016 /sec
+ 170487 page-faults # 2.810 K/sec
+ 210190426838 cycles # 3.464 GHz
+ 298438619949 instructions # 1.42 insn per cycle
+ 54373875754 branches # 896.197 M/sec
+ 1696194881 branch-misses # 3.12% of all branches
+
+ 60.678877727 seconds time elapsed
+
+ 60.221715000 seconds user
+ 0.447931000 seconds sys
+
+