Skip to content

crash and unstable number of solutions #72

@weibingrong

Description

@weibingrong

input.txt
18
2m11+0m12+0m13+0m21+0m22+0m23+0m31+0m32+0m33+0x+0y+0z-2+2a1m11+a4m21+a5m31;
0m11+2m12+1m13+0m21+0m22+0m23+0m31+0m32+0m33+0x+0y+0z-0+2a1m12+a4m22+a5m32;
0m11+1m12+8m13+0m21+0m22+0m23+0m31+0m32+0m33-6x+0y+0z-0+2a1m13+a4m23+a5m33;
0m11+0m12+0m13+2m21+0m22+0m23+0m31+0m32+0m33+0x+0y+0z-0+2a2m21+a4m11+a6m31;
0m11+0m12+0m13+0m21+2m22+1m23+0m31+0m32+0m33+0x+0y+0z-2+2a2m22+a4m12+a6m32;
0m11+0m12+0m13+0m21+1m22+8m23+0m31+0m32+0m33+0x-6y+0z-1+2a2m23+a4m13+a6m33;
0m11+0m12+0m13+0m21+0m22+0m23+2m31+0m32+0m33+0x+0y+0z-0+2a3m31+a5m11+a6m21;
0m11+0m12+0m13+0m21+0m22+0m23+0m31+2m32+1m33+0x+0y+0z-1+2a3m32+a5m12+a6m22;
0m11+0m12+0m13+0m21+0m22+0m23+0m31+1m32+8m33+0x+0y-6z-2+2a3m33+a5m13+a6m23;
0m11+0m12-6m13+0m21+0m22+0m23+0m31+0m32+0m33+5x+0y+0z-0;
0m11+0m12+0m13+0m21+0m22-6m23+0m31+0m32+0m33+0x+5y+0z-0;
0m11+0m12+0m13+0m21+0m22+0m23+0m31+0m32-6m33+0x+0y+5z+1;
m11^2+m12^2+m13^2-1;
m21^2+m22^2+m23^2-1;
m31^2+m32^2+m33^2-1;
m11m21+m12m22+m13m23;
m11
m31+m12m32+m13m33;
m21m31+m22m32+m23*m33;

1 save the above content as input.txt and use phc latest version
2 .\phc.exe -b -068717 input.txt output.txt
3.phc crashed

.\phc.exe -b -t8 -01 input.txt output.txt
it will give 1880 solutions

.\phc.exe -b -t8 -0100 input.txt output.txt
it will give 1876 solutions

Is there any way to provide stable and complete solutions? or provide warnings for unstable or random solutions.

Thanks!

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions